Public Member Functions | |
Object | clone () |
Component | getFailurePred () |
ModeAssignmentDAGNode (Component comp) | |
ModeAssignmentDAGNode (ModeAssignmentDAGNode node) | |
String | toString () |
Protected Member Functions | |
boolean | invariant () |
Package Attributes | |
Component | comp |
Definition at line 30 of file ModeAssignmentDAGNode.java.
dfengine.ModeAssignmentDAGNode.ModeAssignmentDAGNode | ( | Component | comp | ) | [inline] |
Definition at line 34 of file ModeAssignmentDAGNode.java.
Definition at line 41 of file ModeAssignmentDAGNode.java.
Object dfengine.ModeAssignmentDAGNode.clone | ( | ) | [inline] |
Definition at line 46 of file ModeAssignmentDAGNode.java.
Component dfengine.ModeAssignmentDAGNode.getFailurePred | ( | ) | [inline] |
Definition at line 51 of file ModeAssignmentDAGNode.java.
boolean dfengine.ModeAssignmentDAGNode.invariant | ( | ) | [inline, protected] |
Definition at line 62 of file ModeAssignmentDAGNode.java.
String dfengine.ModeAssignmentDAGNode.toString | ( | ) | [inline] |
Definition at line 58 of file ModeAssignmentDAGNode.java.
Component dfengine.ModeAssignmentDAGNode.comp [package] |
Definition at line 32 of file ModeAssignmentDAGNode.java.