Public Member Functions | Public Attributes | Private Member Functions | Private Attributes
DomainTransitionGraphSubterm Class Reference

#include <domain_transition_graph_subterm.h>

Inheritance diagram for DomainTransitionGraphSubterm:
Inheritance graph
[legend]

List of all members.

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

Detailed Description

Definition at line 13 of file domain_transition_graph_subterm.h.


Constructor & Destructor Documentation

Definition at line 13 of file domain_transition_graph_subterm.cpp.

Definition at line 381 of file search/domain_transition_graph.cpp.


Member Function Documentation

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.

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.

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.


Member Data Documentation

Definition at line 20 of file domain_transition_graph_subterm.h.

Definition at line 21 of file domain_transition_graph_subterm.h.

Definition at line 22 of file domain_transition_graph_subterm.h.

Definition at line 18 of file domain_transition_graph_subterm.h.

Definition at line 177 of file search/domain_transition_graph.h.

Definition at line 17 of file domain_transition_graph_subterm.h.

Definition at line 179 of file search/domain_transition_graph.h.

Definition at line 19 of file domain_transition_graph_subterm.h.

Definition at line 178 of file search/domain_transition_graph.h.


The documentation for this class was generated from the following files:


tfd_modules
Author(s): Maintained by Christian Dornhege (see AUTHORS file).
autogenerated on Mon Oct 6 2014 07:52:06