instruction::semanticObjects::Postcondition Member List

This is the complete list of members for instruction::semanticObjects::Postcondition, including all inherited members.

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]