#include <domain_transition_graph_subterm.h>
Public Member Functions | |
void | addAxRelTransition (int from, int to, const Axiom_relational &ax, int ax_index) |
void | addTransition (int from, int to, const Operator &op, int op_index, trans_type type, vector< Variable * > variables) |
DomainTransitionGraphSubterm (const Variable &var) | |
DomainTransitionGraphSubterm (int var_index) | |
void | dump () const |
virtual void | dump () const |
void | finalize () |
void | generate_cpp_input (ostream &outfile) const |
bool | is_strongly_connected () const |
virtual void | read_data (istream &in) |
void | setRelation (Variable *left_var, compoperator op, Variable *right_var) |
void | setRelation (Variable *left_var, foperator op, Variable *right_var) |
Public Attributes | |
int | left_var |
binary_op | op |
int | right_var |
Private Member Functions | |
DomainTransitionGraphSubterm (const DomainTransitionGraphSubterm &other) | |
Private Attributes | |
compoperator | cop |
foperator | fop |
bool | is_comparison |
Variable * | left_var |
int | level |
Variable * | right_var |
Definition at line 13 of file domain_transition_graph_subterm.h.
DomainTransitionGraphSubterm::DomainTransitionGraphSubterm | ( | const Variable & | var | ) |
Definition at line 13 of file domain_transition_graph_subterm.cpp.
DomainTransitionGraphSubterm::DomainTransitionGraphSubterm | ( | int | var_index | ) |
Definition at line 381 of file search/domain_transition_graph.cpp.
DomainTransitionGraphSubterm::DomainTransitionGraphSubterm | ( | const DomainTransitionGraphSubterm & | other | ) | [private] |
void DomainTransitionGraphSubterm::addAxRelTransition | ( | int | from, |
int | to, | ||
const Axiom_relational & | ax, | ||
int | ax_index | ||
) | [virtual] |
Implements DomainTransitionGraph.
Definition at line 32 of file domain_transition_graph_subterm.cpp.
void DomainTransitionGraphSubterm::addTransition | ( | int | from, |
int | to, | ||
const Operator & | op, | ||
int | op_index, | ||
trans_type | type, | ||
vector< Variable * > | variables | ||
) | [virtual] |
Implements DomainTransitionGraph.
Definition at line 27 of file domain_transition_graph_subterm.cpp.
void DomainTransitionGraphSubterm::dump | ( | ) | const [virtual] |
Implements DomainTransitionGraph.
Definition at line 58 of file domain_transition_graph_subterm.cpp.
virtual void DomainTransitionGraphSubterm::dump | ( | ) | const [virtual] |
Implements DomainTransitionGraph.
void DomainTransitionGraphSubterm::finalize | ( | ) | [virtual] |
Implements DomainTransitionGraph.
Definition at line 50 of file domain_transition_graph_subterm.cpp.
void DomainTransitionGraphSubterm::generate_cpp_input | ( | ostream & | outfile | ) | const [virtual] |
Implements DomainTransitionGraph.
Definition at line 72 of file domain_transition_graph_subterm.cpp.
bool DomainTransitionGraphSubterm::is_strongly_connected | ( | ) | const [virtual] |
Implements DomainTransitionGraph.
Definition at line 54 of file domain_transition_graph_subterm.cpp.
void DomainTransitionGraphSubterm::read_data | ( | istream & | in | ) | [virtual] |
Implements DomainTransitionGraph.
Definition at line 387 of file search/domain_transition_graph.cpp.
void DomainTransitionGraphSubterm::setRelation | ( | Variable * | left_var, |
compoperator | op, | ||
Variable * | right_var | ||
) |
Definition at line 36 of file domain_transition_graph_subterm.cpp.
void DomainTransitionGraphSubterm::setRelation | ( | Variable * | left_var, |
foperator | op, | ||
Variable * | right_var | ||
) |
Definition at line 43 of file domain_transition_graph_subterm.cpp.
Definition at line 20 of file domain_transition_graph_subterm.h.
foperator DomainTransitionGraphSubterm::fop [private] |
Definition at line 21 of file domain_transition_graph_subterm.h.
bool DomainTransitionGraphSubterm::is_comparison [private] |
Definition at line 22 of file domain_transition_graph_subterm.h.
Variable* DomainTransitionGraphSubterm::left_var [private] |
Definition at line 18 of file domain_transition_graph_subterm.h.
Definition at line 177 of file search/domain_transition_graph.h.
int DomainTransitionGraphSubterm::level [private] |
Definition at line 17 of file domain_transition_graph_subterm.h.
Definition at line 179 of file search/domain_transition_graph.h.
Variable* DomainTransitionGraphSubterm::right_var [private] |
Definition at line 19 of file domain_transition_graph_subterm.h.
Definition at line 178 of file search/domain_transition_graph.h.