Public Member Functions
void	addChildNode (DENode n, DENode child)
void	addRootNode (DENode newRootNode)
DENode	alreadyExists (ModeAssignment ma, DENode exclRootNode)
Object	clone ()
TreeSet	getUnexpandedAlphaNodes ()
void	propagateInconsToDesc (DENode n)
String	toStringShort ()
Protected Member Functions
boolean	checkUniqueModesHypothesis ()
boolean	invariant ()
void	printSubgraph (StringBuffer buf, DENode n, int depth)
Protected Attributes
String	PRINT_OFFSET = " "
Package Attributes
ArrayList	rootNodes = new ArrayList()
TreeSet	unexpandedAlphaNodes = new TreeSet()

Detailed Description

Definition at line 31 of file DEGraph.java.

Member Function Documentation

void dfengine.DEGraph.addChildNode	(	DENode	n,
		DENode	child
	)		`[inline]`

Definition at line 87 of file DEGraph.java.

void dfengine.DEGraph.addRootNode ( DENode newRootNode ) [inline]

Definition at line 77 of file DEGraph.java.

DENode dfengine.DEGraph.alreadyExists	(	ModeAssignment	ma,
		DENode	exclRootNode
	)		`[inline]`

Definition at line 107 of file DEGraph.java.

boolean dfengine.DEGraph.checkUniqueModesHypothesis ( ) [inline, protected]

Definition at line 128 of file DEGraph.java.

Object dfengine.DEGraph.clone ( ) [inline]

Definition at line 41 of file DEGraph.java.

TreeSet dfengine.DEGraph.getUnexpandedAlphaNodes ( ) [inline]

Definition at line 97 of file DEGraph.java.

boolean dfengine.DEGraph.invariant ( ) [inline, protected]

Definition at line 149 of file DEGraph.java.

void dfengine.DEGraph.printSubgraph	(	StringBuffer	buf,
		DENode	n,
		int	depth
	)		`[inline, protected]`

Definition at line 61 of file DEGraph.java.

void dfengine.DEGraph.propagateInconsToDesc ( DENode n ) [inline]

Definition at line 179 of file DEGraph.java.

String dfengine.DEGraph.toStringShort ( ) [inline]

Definition at line 45 of file DEGraph.java.

Definition at line 38 of file DEGraph.java.

ArrayList dfengine.DEGraph.rootNodes = new ArrayList() [package]

Definition at line 33 of file DEGraph.java.

Definition at line 35 of file DEGraph.java.

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