boolean function ( State arg0 ) { switch ( arg0 ) { case main_region_StateA : return stateVector [ 0 ] == State . main_region_StateA ; case main_region_StateB : return stateVector [ 0 ] == State . main_region_StateB ; default : return false ; } }
returns true if the given state is currently active otherwise false . concode_field_sep boolean minus concode_elem_sep double plusAssign concode_elem_sep boolean equalOrLess concode_elem_sep boolean notEqual concode_elem_sep boolean less concode_elem_sep double divAssign concode_elem_sep boolean e1 concode_elem_sep boolean equalOrGreater concode_elem_sep double minusAssign concode_elem_sep boolean plus concode_elem_sep boolean moduloAssign concode_elem_sep boolean equal concode_elem_sep boolean division concode_elem_sep double myReal1 concode_elem_sep double multiAssign concode_elem_sep SCInterfaceImpl sCInterface concode_elem_sep int nextStateIndex concode_elem_sep double myReal2 concode_elem_sep boolean multiply concode_elem_sep boolean complement concode_elem_sep boolean greater concode_elem_sep boolean modulo concode_elem_sep State[] stateVector concode_elem_sep double negat concode_field_sep SCInterface getSCInterface concode_elem_sep void setEqual concode_elem_sep void setEqual concode_elem_sep boolean getModuloAssign concode_elem_sep boolean getModuloAssign concode_elem_sep void runCycle concode_elem_sep boolean getLess concode_elem_sep boolean getLess concode_elem_sep boolean getModulo concode_elem_sep boolean getModulo concode_elem_sep boolean getPlus concode_elem_sep boolean getPlus concode_elem_sep double getPlusAssign concode_elem_sep double getPlusAssign concode_elem_sep void reactMain_region_StateA concode_elem_sep void reactMain_region_StateB concode_elem_sep void setPlusAssign concode_elem_sep void setPlusAssign concode_elem_sep void enter concode_elem_sep boolean getEqual concode_elem_sep boolean getEqual concode_elem_sep void setGreater concode_elem_sep void setGreater concode_elem_sep void init concode_elem_sep void exitAction concode_elem_sep void setMultiply concode_elem_sep void setMultiply concode_elem_sep void setMultiAssign concode_elem_sep void setMultiAssign concode_elem_sep void exit concode_elem_sep double getDivAssign concode_elem_sep double getDivAssign concode_elem_sep boolean getDivision concode_elem_sep boolean getDivision concode_elem_sep void setMyReal2 concode_elem_sep void setMyReal2 concode_elem_sep void setMyReal1 concode_elem_sep void setMyReal1 concode_elem_sep void setComplement concode_elem_sep void setComplement concode_elem_sep void setNotEqual concode_elem_sep void setNotEqual concode_elem_sep void entryAction concode_elem_sep double getMinusAssign concode_elem_sep double getMinusAssign concode_elem_sep void setModuloAssign concode_elem_sep void setModuloAssign concode_elem_sep double getMultiAssign concode_elem_sep double getMultiAssign concode_elem_sep boolean getMultiply concode_elem_sep boolean getMultiply concode_elem_sep double getMyReal1 concode_elem_sep double getMyReal1 concode_elem_sep void setPlus concode_elem_sep void setPlus concode_elem_sep double getMyReal2 concode_elem_sep double getMyReal2 concode_elem_sep void setMinusAssign concode_elem_sep void setMinusAssign concode_elem_sep boolean getEqualOrLess concode_elem_sep boolean getEqualOrLess concode_elem_sep double getNegat concode_elem_sep double getNegat concode_elem_sep void setLess concode_elem_sep void setLess concode_elem_sep void setDivision concode_elem_sep void setDivision concode_elem_sep boolean getComplement concode_elem_sep boolean getComplement concode_elem_sep void setNegat concode_elem_sep void setNegat concode_elem_sep void setModulo concode_elem_sep void setModulo concode_elem_sep boolean getGreater concode_elem_sep boolean getGreater concode_elem_sep void raiseE1 concode_elem_sep void raiseE1 concode_elem_sep void setDivAssign concode_elem_sep void setDivAssign concode_elem_sep void setMinus concode_elem_sep void setMinus concode_elem_sep boolean getNotEqual concode_elem_sep boolean getNotEqual concode_elem_sep boolean getMinus concode_elem_sep boolean getMinus concode_elem_sep void clearEvents concode_elem_sep void clearEvents concode_elem_sep void setEqualOrGreater concode_elem_sep void setEqualOrGreater concode_elem_sep void setEqualOrLess concode_elem_sep void setEqualOrLess concode_elem_sep boolean getEqualOrGreater concode_elem_sep boolean getEqualOrGreater concode_elem_sep void clearOutEvents