post_condition - Postcondition

The post condition defines the set of valid states for an instance that may fire an event after modification. An instance can fire an event only, when the post condition returns true for the instance after modification. If there is no post condition defined for the event any post state of the instance will fire an event when the precondition was true.