$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.