Implementing the functions of AbstractGlobalStates.
Implementing the function evalCondtion of the class Transition