#include <iri_rule_learner/RuleLearnerConfig.h>
#include <fstream>
#include <symbols.h>
#include <predicates.h>
Go to the source code of this file.
Classes | |
class | Transition |
Typedefs | |
typedef std::vector< Transition > | TransitionList |
Functions | |
std::ostream & | operator<< (std::ostream &out, const TransitionList &s) |
TransitionList | read_transitions_from_file (std::string file_path) |
TransitionList | remove_unused_predicates (const TransitionList transitions) |
void | write_transitions_to_file (TransitionList transitions, std::string file_path) |
typedef std::vector<Transition> TransitionList |
Definition at line 31 of file transitions.h.
std::ostream& operator<< | ( | std::ostream & | out, |
const TransitionList & | s | ||
) |
Definition at line 4 of file transitions.cpp.
TransitionList read_transitions_from_file | ( | std::string | file_path | ) |
Definition at line 40 of file transitions.cpp.
TransitionList remove_unused_predicates | ( | const TransitionList | transitions | ) |
Definition at line 87 of file transitions.cpp.
void write_transitions_to_file | ( | TransitionList | transitions, |
std::string | file_path | ||
) |
Definition at line 27 of file transitions.cpp.