Classes | |
| class | ModeIterator |
| class | ModeNodePair |
Public Member Functions | |
| Object | clone () |
| int | compareOrderTo (ModeAssignment other, GraphMatrix transClosure, GraphMatrix otherTransClosure) |
| int | computeLongestDFChain () |
| boolean | equalComponents (ModeAssignment other) |
| boolean | equals (Object o) |
| Set | getComponents () |
| ModeAssignmentDAG | getMaDag () |
| Mode | getMode (Component comp) |
| int | getMode (Component comp, int defaultModeType) |
| Iterator | getModeIterator (int modeType) |
| Iterator | getModeIterator (SortedIntList modeTypes) |
| ModeAssignmentDAGNode | getNode (Component comp) |
| int | getNumPFCs () |
| int | getNumSFCs () |
| boolean | hasMode (int modeType) |
| Iterator | iterator () |
| ModeAssignment () | |
| boolean | setMode (Component comp, int toMode, Component parent) |
| void | setModes (ArrayList components, int toMode) |
| int | size () |
| boolean | subst (int fromMode, int toMode) |
| boolean | subst (Component comp, int toMode, Component parent) |
| String | toStringShort () |
Protected Member Functions | |
| boolean | correctMaDag (ModeAssignmentDAG dag) |
| int | countNumModes (int modeType) |
| ModeAssignmentDAG | createModeAssignmentDAG () |
| boolean | hasMoreConstrainedNodeThan (ModeAssignment other, GraphMatrix transClosure, GraphMatrix otherTransClosure) |
| boolean | invariant () |
| boolean | postcond_equalComponents (ModeAssignment other, boolean result) |
Protected Attributes | |
| ModeAssignmentDAG | maDag = null |
| TreeMap | modes = new TreeMap() |
Detailed Description
Definition at line 30 of file ModeAssignment.java.
Constructor & Destructor Documentation
| dfengine.ModeAssignment.ModeAssignment | ( | ) | [inline] |
Creates an empty mode assignment;
Definition at line 73 of file ModeAssignment.java.
Member Function Documentation
| Object dfengine.ModeAssignment.clone | ( | ) | [inline] |
Definition at line 91 of file ModeAssignment.java.
| int dfengine.ModeAssignment.compareOrderTo | ( | ModeAssignment | other, |
| GraphMatrix | transClosure, | ||
| GraphMatrix | otherTransClosure | ||
| ) | [inline] |
Definition at line 590 of file ModeAssignment.java.
| int dfengine.ModeAssignment.computeLongestDFChain | ( | ) | [inline] |
Definition at line 436 of file ModeAssignment.java.
| boolean dfengine.ModeAssignment.correctMaDag | ( | ModeAssignmentDAG | dag | ) | [inline, protected] |
Definition at line 503 of file ModeAssignment.java.
| int dfengine.ModeAssignment.countNumModes | ( | int | modeType | ) | [inline, protected] |
Definition at line 387 of file ModeAssignment.java.
| ModeAssignmentDAG dfengine.ModeAssignment.createModeAssignmentDAG | ( | ) | [inline, protected] |
Definition at line 463 of file ModeAssignment.java.
| boolean dfengine.ModeAssignment.equalComponents | ( | ModeAssignment | other | ) | [inline] |
Definition at line 136 of file ModeAssignment.java.
| boolean dfengine.ModeAssignment.equals | ( | Object | o | ) | [inline] |
Definition at line 110 of file ModeAssignment.java.
| Set dfengine.ModeAssignment.getComponents | ( | ) | [inline] |
Definition at line 129 of file ModeAssignment.java.
| ModeAssignmentDAG dfengine.ModeAssignment.getMaDag | ( | ) | [inline] |
Definition at line 81 of file ModeAssignment.java.
| Mode dfengine.ModeAssignment.getMode | ( | Component | comp | ) | [inline] |
Definition at line 351 of file ModeAssignment.java.
| int dfengine.ModeAssignment.getMode | ( | Component | comp, |
| int | defaultModeType | ||
| ) | [inline] |
Definition at line 375 of file ModeAssignment.java.
| Iterator dfengine.ModeAssignment.getModeIterator | ( | int | modeType | ) | [inline] |
Definition at line 452 of file ModeAssignment.java.
| Iterator dfengine.ModeAssignment.getModeIterator | ( | SortedIntList | modeTypes | ) | [inline] |
Definition at line 459 of file ModeAssignment.java.
| ModeAssignmentDAGNode dfengine.ModeAssignment.getNode | ( | Component | comp | ) | [inline] |
Definition at line 359 of file ModeAssignment.java.
| int dfengine.ModeAssignment.getNumPFCs | ( | ) | [inline] |
Definition at line 402 of file ModeAssignment.java.
| int dfengine.ModeAssignment.getNumSFCs | ( | ) | [inline] |
Definition at line 411 of file ModeAssignment.java.
| boolean dfengine.ModeAssignment.hasMode | ( | int | modeType | ) | [inline] |
Definition at line 421 of file ModeAssignment.java.
| boolean dfengine.ModeAssignment.hasMoreConstrainedNodeThan | ( | ModeAssignment | other, |
| GraphMatrix | transClosure, | ||
| GraphMatrix | otherTransClosure | ||
| ) | [inline, protected] |
Definition at line 550 of file ModeAssignment.java.
| boolean dfengine.ModeAssignment.invariant | ( | ) | [inline, protected] |
Definition at line 494 of file ModeAssignment.java.
| Iterator dfengine.ModeAssignment.iterator | ( | ) | [inline] |
Definition at line 444 of file ModeAssignment.java.
| boolean dfengine.ModeAssignment.postcond_equalComponents | ( | ModeAssignment | other, |
| boolean | result | ||
| ) | [inline, protected] |
Definition at line 155 of file ModeAssignment.java.
| boolean dfengine.ModeAssignment.setMode | ( | Component | comp, |
| int | toMode, | ||
| Component | parent | ||
| ) | [inline] |
Definition at line 274 of file ModeAssignment.java.
| void dfengine.ModeAssignment.setModes | ( | ArrayList | components, |
| int | toMode | ||
| ) | [inline] |
Definition at line 336 of file ModeAssignment.java.
| int dfengine.ModeAssignment.size | ( | ) | [inline] |
Definition at line 122 of file ModeAssignment.java.
| boolean dfengine.ModeAssignment.subst | ( | int | fromMode, |
| int | toMode | ||
| ) | [inline] |
Definition at line 209 of file ModeAssignment.java.
| boolean dfengine.ModeAssignment.subst | ( | Component | comp, |
| int | toMode, | ||
| Component | parent | ||
| ) | [inline] |
Definition at line 241 of file ModeAssignment.java.
| String dfengine.ModeAssignment.toStringShort | ( | ) | [inline] |
Definition at line 188 of file ModeAssignment.java.
Member Data Documentation
ModeAssignmentDAG dfengine.ModeAssignment.maDag = null [protected] |
Definition at line 66 of file ModeAssignment.java.
TreeMap dfengine.ModeAssignment.modes = new TreeMap() [protected] |
Definition at line 57 of file ModeAssignment.java.
The documentation for this class was generated from the following file: