condition | instruction::semanticObjects::Postcondition | [private] |
equals(Object c) | instruction::semanticObjects::Postcondition | [inline] |
getCondition() | instruction::semanticObjects::Postcondition | [inline] |
Postcondition() | instruction::semanticObjects::Postcondition | [inline] |
Postcondition(Sentence condition) | instruction::semanticObjects::Postcondition | [inline] |
setCondition(Sentence condition) | instruction::semanticObjects::Postcondition | [inline] |
toString() | instruction::semanticObjects::Postcondition | [inline] |