Public Member Functions | |
| RepairCandidate (ModeAssignment ma) | |
| int | size () |
| String | toString () |
Protected Attributes | |
| RepairOrderDAG | order |
Package Functions | |
| boolean | equalComponents (ModeAssignment ma) |
| boolean | impliesOrderOf (ModeAssignment ma) |
| void | mergeWith (ModeAssignment ma) |
Definition at line 30 of file RepairCandidate.java.
| dfengine.RepairCandidate.RepairCandidate | ( | ModeAssignment | ma | ) | [inline] |
Definition at line 35 of file RepairCandidate.java.
| boolean dfengine.RepairCandidate.equalComponents | ( | ModeAssignment | ma | ) | [inline, package] |
Definition at line 47 of file RepairCandidate.java.
| boolean dfengine.RepairCandidate.impliesOrderOf | ( | ModeAssignment | ma | ) | [inline, package] |
Definition at line 65 of file RepairCandidate.java.
| void dfengine.RepairCandidate.mergeWith | ( | ModeAssignment | ma | ) | [inline, package] |
Definition at line 91 of file RepairCandidate.java.
| int dfengine.RepairCandidate.size | ( | ) | [inline] |
Definition at line 39 of file RepairCandidate.java.
| String dfengine.RepairCandidate.toString | ( | ) | [inline] |
Definition at line 43 of file RepairCandidate.java.
RepairOrderDAG dfengine.RepairCandidate.order [protected] |
Definition at line 32 of file RepairCandidate.java.