utils.ConditionVisitor Class Reference

Inheritance diagram for utils.ConditionVisitor:

List of all members.

Public Member Functions
boolean	conditionHolds ()
	ConditionVisitor (int type, Condition cond)
void	visit (DoubleLinkedDAGNode node)
boolean	wantMoreNodes ()
Static Public Attributes
static final int	TYPE_CONJUNCTION = 0
static final int	TYPE_DISJUNCTION = 0
Protected Attributes
Condition	cond
boolean	holds = false
int	type

---

Detailed Description

Definition at line 40 of file ConditionVisitor.java.

---

Constructor & Destructor Documentation

utils.ConditionVisitor.ConditionVisitor	(	int	type,
		Condition	cond
	)		[inline]

Definition at line 55 of file ConditionVisitor.java.

---

Member Function Documentation

boolean utils.ConditionVisitor.conditionHolds

(

)

[inline]

Definition at line 76 of file ConditionVisitor.java.

void utils.ConditionVisitor.visit

(

DoubleLinkedDAGNode

node

)

[inline, virtual]

Implements utils.DoubleLinkedDAGVisitor.

Definition at line 69 of file ConditionVisitor.java.

boolean utils.ConditionVisitor.wantMoreNodes

(

)

[inline]

Reimplemented from utils.DoubleLinkedDAGVisitor.

Definition at line 64 of file ConditionVisitor.java.

---

Member Data Documentation

Condition utils.ConditionVisitor.cond [protected]

Definition at line 45 of file ConditionVisitor.java.

boolean utils.ConditionVisitor.holds = false [protected]

Definition at line 47 of file ConditionVisitor.java.

int utils.ConditionVisitor.type [protected]

Definition at line 52 of file ConditionVisitor.java.

final int utils.ConditionVisitor.TYPE_CONJUNCTION = 0 [static]

Definition at line 42 of file ConditionVisitor.java.

final int utils.ConditionVisitor.TYPE_DISJUNCTION = 0 [static]

Definition at line 43 of file ConditionVisitor.java.

---

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

• ConditionVisitor.java