Public Member Functions | Public Attributes
DomainTransitionGraphFunc::Transition Struct Reference

List of all members.

Public Member Functions

 Transition (trans_type theType, int theOp)

Public Attributes

EdgeCondition condition
DurationCond duration
foperator fop
int op
Variable * right_var
SetEdgeCondition set_condition
trans_type type

Detailed Description

Definition at line 14 of file domain_transition_graph_func.h.


Constructor & Destructor Documentation

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

Definition at line 15 of file domain_transition_graph_func.h.


Member Data Documentation

Definition at line 19 of file domain_transition_graph_func.h.

Definition at line 22 of file domain_transition_graph_func.h.

Definition at line 21 of file domain_transition_graph_func.h.

Definition at line 24 of file domain_transition_graph_func.h.

Definition at line 23 of file domain_transition_graph_func.h.

Definition at line 18 of file domain_transition_graph_func.h.

Definition at line 20 of file domain_transition_graph_func.h.


The documentation for this struct was generated from the following file:


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