
Public Member Functions | |
| boolean | equals (Object c) |
| Sentence | getCondition () |
| Precondition () | |
| Precondition (Sentence condition) | |
| void | setCondition (Sentence condition) |
| String | toString () |
Private Attributes | |
| Sentence | condition = new Sentence() |
Definition at line 4 of file Precondition.java.
Definition at line 8 of file Precondition.java.
| instruction.semanticObjects.Precondition.Precondition | ( | Sentence | condition | ) | [inline] |
Definition at line 11 of file Precondition.java.
| boolean instruction.semanticObjects.Precondition.equals | ( | Object | c | ) | [inline] |
Definition at line 27 of file Precondition.java.
Definition at line 15 of file Precondition.java.
| void instruction.semanticObjects.Precondition.setCondition | ( | Sentence | condition | ) | [inline] |
Definition at line 19 of file Precondition.java.
| String instruction.semanticObjects.Precondition.toString | ( | ) | [inline] |
Definition at line 23 of file Precondition.java.
Sentence instruction.semanticObjects.Precondition.condition = new Sentence() [private] |
Definition at line 6 of file Precondition.java.