transitions.h

Go to the documentation of this file.

#ifndef IRI_RULE_LEARNER_TRANSITIONS_H
#define IRI_RULE_LEARNER_TRANSITIONS_H 1

#include <iri_rule_learner/RuleLearnerConfig.h>
#include <fstream>
#include <symbols.h>
#include <predicates.h>


class Transition
{
public:
        std::string prev_state_, next_state_;
        Symbol action_;
        
        Transition(std::string prev_state, Symbol action, std::string next_state) :
            prev_state_(prev_state),
            next_state_(next_state),
            action_(action)
        { }
        
        bool is_continuation(std::string last_state) const {
                return (last_state == this->prev_state_);
        }
        
        void remove_unused_predicates();
        
        friend std::ostream& operator<<(std::ostream &out, const Transition &s);
};

typedef std::vector<Transition> TransitionList;
std::ostream& operator<<(std::ostream &out, const TransitionList &s);

// other
TransitionList remove_unused_predicates(const TransitionList transitions);

// write/read to file
void write_transitions_to_file(TransitionList transitions, std::string file_path);
TransitionList read_transitions_from_file(std::string file_path);

#endif