All Classes Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Defines
Public Member Functions | Public Attributes
DomainTransitionGraphSymb::Transition Struct Reference

List of all members.

Public Member Functions

void dump ()
bool operator< (const Transition &other) const
bool operator== (const Transition &other) const
 Transition (int theTarget, int theOp, trans_type theType)

Public Attributes

EdgeCondition condition
DurationCond duration
int op
SetEdgeCondition set_condition
int target
trans_type type

Detailed Description

Definition at line 16 of file domain_transition_graph_symb.h.


Constructor & Destructor Documentation

DomainTransitionGraphSymb::Transition::Transition ( int  theTarget,
int  theOp,
trans_type  theType 
) [inline]

Definition at line 17 of file domain_transition_graph_symb.h.


Member Function Documentation

Definition at line 146 of file domain_transition_graph_symb.cpp.

bool DomainTransitionGraphSymb::Transition::operator< ( const Transition other) const

Definition at line 138 of file domain_transition_graph_symb.cpp.

bool DomainTransitionGraphSymb::Transition::operator== ( const Transition other) const [inline]

Definition at line 20 of file domain_transition_graph_symb.h.


Member Data Documentation

Definition at line 28 of file domain_transition_graph_symb.h.

Definition at line 30 of file domain_transition_graph_symb.h.

Definition at line 26 of file domain_transition_graph_symb.h.

Definition at line 27 of file domain_transition_graph_symb.h.

Definition at line 25 of file domain_transition_graph_symb.h.

Definition at line 29 of file domain_transition_graph_symb.h.


The documentation for this struct was generated from the following files:
 All Classes Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Defines


tfd_modules
Author(s): Maintained by Christian Dornhege (see AUTHORS file).
autogenerated on Tue Jan 22 2013 12:25:03