DomainTransitionGraphSubterm Class Reference

#include <domain_transition_graph_subterm.h>

Inheritance diagram for DomainTransitionGraphSubterm:

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

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]

---

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.

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.

---

Member Data Documentation

compoperator DomainTransitionGraphSubterm::cop [private]

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.

int DomainTransitionGraphSubterm::left_var

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.

binary_op DomainTransitionGraphSubterm::op

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.

int DomainTransitionGraphSubterm::right_var

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

---

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

• domain_transition_graph_subterm.h
• search/domain_transition_graph.h
• domain_transition_graph_subterm.cpp
• search/domain_transition_graph.cpp