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

EdgeCondition DomainTransitionGraphFunc::Transition::condition

Definition at line 19 of file domain_transition_graph_func.h.

DurationCond DomainTransitionGraphFunc::Transition::duration

Definition at line 22 of file domain_transition_graph_func.h.

foperator DomainTransitionGraphFunc::Transition::fop

Definition at line 21 of file domain_transition_graph_func.h.

int DomainTransitionGraphFunc::Transition::op

Definition at line 24 of file domain_transition_graph_func.h.

Variable* DomainTransitionGraphFunc::Transition::right_var

Definition at line 23 of file domain_transition_graph_func.h.

SetEdgeCondition DomainTransitionGraphFunc::Transition::set_condition

Definition at line 18 of file domain_transition_graph_func.h.

trans_type DomainTransitionGraphFunc::Transition::type

Definition at line 20 of file domain_transition_graph_func.h.

---

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

• domain_transition_graph_func.h