$search

Public Member Functions | |
| boolean | equals (Object c) |
| Sentence | getCondition () |
| Precondition (Sentence condition) | |
| Precondition () | |
| void | setCondition (Sentence condition) |
| String | toString () |
Private Attributes | |
| Sentence | condition = new Sentence() |
Definition at line 4 of file Precondition.java.
| instruction::semanticObjects::Precondition::Precondition | ( | ) | [inline] |
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.
| Sentence instruction::semanticObjects::Precondition::getCondition | ( | ) | [inline] |
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.