dfengine.DENode Class Reference

List of all members.

Public Member Functions
int	consistent ()
	DENode (int type, DENode rootNode, int distanceToRoot, ModeAssignment ma, TreeSet constCompModes)
boolean	descInconsistent ()
boolean	expanded (int expansionType)
ConflictSet	getConflictSet ()
TreeSet	getConstCompModes ()
int	getDistanceToRoot ()
int	getMinNumIF ()
ModeAssignment	getModeAssignment ()
int	getNumIF ()
DENode	getRootNode ()
int	getType ()
String	getTypeAsString ()
int	minimal ()
void	releaseConstCompModes ()
void	setConflictSet (ConflictSet cs)
void	setConsistent (int status)
void	setDescInconsistent ()
void	setExpanded (int expansionType)
void	setMinimal (int status)
void	setMinNumIF (int minNumIF)
String	toStringShort ()
Static Public Attributes
static final int	STATUS_FALSE = 0
static final int	STATUS_TRUE = 1
static final int	STATUS_UNKNOWN = -1
static final int	TYPE_ALPHA = 0
static final int	TYPE_BETA = 1
Protected Member Functions
boolean	invariant ()
String	statusToStr (int status)
Protected Attributes
int	consistent = STATUS_UNKNOWN
TreeSet	constCompModes
ConflictSet	cs = null
boolean	descInconsistent = false
int	distanceToRoot
boolean	expandedAlpha = false
boolean	expandedBeta = false
ModeAssignment	ma
int	minimal = STATUS_UNKNOWN
int	minNumIF = -1
int	numIF = -1
DENode	rootNode
int	type

---

Detailed Description

Definition at line 31 of file DENode.java.

---

Constructor & Destructor Documentation

dfengine.DENode.DENode	(	int	type,
		DENode	rootNode,
		int	distanceToRoot,
		ModeAssignment	ma,
		TreeSet	constCompModes
	)		[inline]

Definition at line 90 of file DENode.java.

---

Member Function Documentation

int dfengine.DENode.consistent

(

)

[inline]

Definition at line 160 of file DENode.java.

boolean dfengine.DENode.descInconsistent

(

)

[inline]

Definition at line 141 of file DENode.java.

boolean dfengine.DENode.expanded

(

int

expansionType

)

[inline]

Definition at line 184 of file DENode.java.

ConflictSet dfengine.DENode.getConflictSet

(

)

[inline]

Definition at line 133 of file DENode.java.

TreeSet dfengine.DENode.getConstCompModes

(

)

[inline]

Definition at line 152 of file DENode.java.

int dfengine.DENode.getDistanceToRoot

(

)

[inline]

Definition at line 108 of file DENode.java.

int dfengine.DENode.getMinNumIF

(

)

[inline]

Definition at line 207 of file DENode.java.

ModeAssignment dfengine.DENode.getModeAssignment

(

)

[inline]

Definition at line 125 of file DENode.java.

int dfengine.DENode.getNumIF

(

)

[inline]

Definition at line 195 of file DENode.java.

DENode dfengine.DENode.getRootNode

(

)

[inline]

Definition at line 121 of file DENode.java.

int dfengine.DENode.getType

(

)

[inline]

Definition at line 104 of file DENode.java.

String dfengine.DENode.getTypeAsString

(

)

[inline]

Definition at line 112 of file DENode.java.

boolean dfengine.DENode.invariant

(

)

[inline, protected]

Definition at line 269 of file DENode.java.

int dfengine.DENode.minimal

(

)

[inline]

Definition at line 168 of file DENode.java.

void dfengine.DENode.releaseConstCompModes

(

)

[inline]

Definition at line 148 of file DENode.java.

void dfengine.DENode.setConflictSet

(

ConflictSet

cs

)

[inline]

Definition at line 129 of file DENode.java.

void dfengine.DENode.setConsistent

(

int

status

)

[inline]

Definition at line 156 of file DENode.java.

void dfengine.DENode.setDescInconsistent

(

)

[inline]

Definition at line 137 of file DENode.java.

void dfengine.DENode.setExpanded

(

int

expansionType

)

[inline]

Definition at line 172 of file DENode.java.

void dfengine.DENode.setMinimal

(

int

status

)

[inline]

Definition at line 164 of file DENode.java.

void dfengine.DENode.setMinNumIF

(

int

minNumIF

)

[inline]

Definition at line 202 of file DENode.java.

String dfengine.DENode.statusToStr

(

int

status

)

[inline, protected]

Definition at line 261 of file DENode.java.

String dfengine.DENode.toStringShort

(

)

[inline]

Definition at line 214 of file DENode.java.

---

Member Data Documentation

int dfengine.DENode.consistent = STATUS_UNKNOWN [protected]

Definition at line 78 of file DENode.java.

TreeSet dfengine.DENode.constCompModes [protected]

Definition at line 69 of file DENode.java.

ConflictSet dfengine.DENode.cs = null [protected]

Definition at line 72 of file DENode.java.

boolean dfengine.DENode.descInconsistent = false [protected]

Definition at line 81 of file DENode.java.

int dfengine.DENode.distanceToRoot [protected]

Definition at line 51 of file DENode.java.

boolean dfengine.DENode.expandedAlpha = false [protected]

Definition at line 74 of file DENode.java.

boolean dfengine.DENode.expandedBeta = false [protected]

Definition at line 76 of file DENode.java.

ModeAssignment dfengine.DENode.ma [protected]

Definition at line 53 of file DENode.java.

int dfengine.DENode.minimal = STATUS_UNKNOWN [protected]

Definition at line 87 of file DENode.java.

int dfengine.DENode.minNumIF = -1 [protected]

Definition at line 85 of file DENode.java.

int dfengine.DENode.numIF = -1 [protected]

Definition at line 83 of file DENode.java.

DENode dfengine.DENode.rootNode [protected]

Definition at line 44 of file DENode.java.

final int dfengine.DENode.STATUS_FALSE = 0 [static]

Definition at line 36 of file DENode.java.

final int dfengine.DENode.STATUS_TRUE = 1 [static]

Definition at line 37 of file DENode.java.

final int dfengine.DENode.STATUS_UNKNOWN = -1 [static]

Definition at line 38 of file DENode.java.

int dfengine.DENode.type [protected]

Definition at line 41 of file DENode.java.

final int dfengine.DENode.TYPE_ALPHA = 0 [static]

Definition at line 33 of file DENode.java.

final int dfengine.DENode.TYPE_BETA = 1 [static]

Definition at line 34 of file DENode.java.

---

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

• DENode.java