
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.