boolean function ( State arg0 ) { switch ( arg0 ) { case main_region_A : return stateVector [ 0 ] == State . main_region_A ; default : return false ; } }
returns true if the given state is currently active otherwise false . concode_field_sep boolean evInCValue concode_elem_sep double evEValue concode_elem_sep String evInFValue concode_elem_sep boolean evInD concode_elem_sep boolean evInE concode_elem_sep long varE concode_elem_sep boolean evInB concode_elem_sep String varD concode_elem_sep boolean evInC concode_elem_sep double varC concode_elem_sep long varB concode_elem_sep boolean evInA concode_elem_sep boolean varA concode_elem_sep boolean evInF concode_elem_sep long evDValue concode_elem_sep long evInDValue concode_elem_sep SCIIfAImpl sCIIfA concode_elem_sep boolean evCValue concode_elem_sep String evFValue concode_elem_sep boolean evB concode_elem_sep double varInC concode_elem_sep boolean evA concode_elem_sep long varInB concode_elem_sep double evInEValue concode_elem_sep boolean evD concode_elem_sep boolean varInA concode_elem_sep boolean evC concode_elem_sep boolean evF concode_elem_sep boolean evE concode_elem_sep SCInterfaceImpl sCInterface concode_elem_sep int nextStateIndex concode_elem_sep State[] stateVector concode_elem_sep long varInE concode_elem_sep String varInD concode_field_sep SCInterface getSCInterface concode_elem_sep void raiseEvInF concode_elem_sep void raiseEvInE concode_elem_sep void raiseEvInD concode_elem_sep void raiseEvInC concode_elem_sep SCIIfA getSCIIfA concode_elem_sep void raiseEvInB concode_elem_sep void runCycle concode_elem_sep double getEvInEValue concode_elem_sep void reactMain_region_A concode_elem_sep void setVarE concode_elem_sep void setVarE concode_elem_sep void setVarE concode_elem_sep void raiseEvC concode_elem_sep void raiseEvC concode_elem_sep void raiseEvC concode_elem_sep void raiseEvD concode_elem_sep void raiseEvD concode_elem_sep void raiseEvA concode_elem_sep void raiseEvA concode_elem_sep void raiseEvA concode_elem_sep void raiseEvB concode_elem_sep void raiseEvB concode_elem_sep void raiseEvE concode_elem_sep void raiseEvE concode_elem_sep void raiseEvE concode_elem_sep boolean getEvCValue concode_elem_sep boolean getEvCValue concode_elem_sep void raiseEvF concode_elem_sep void raiseEvF concode_elem_sep void enter concode_elem_sep String getEvFValue concode_elem_sep String getEvFValue concode_elem_sep String getEvFValue concode_elem_sep boolean isRaisedEvF concode_elem_sep boolean isRaisedEvF concode_elem_sep boolean isRaisedEvF concode_elem_sep void init concode_elem_sep long getEvInDValue concode_elem_sep boolean isRaisedEvD concode_elem_sep boolean isRaisedEvD concode_elem_sep boolean isRaisedEvD concode_elem_sep void exitAction concode_elem_sep double getEvEValue concode_elem_sep double getEvEValue concode_elem_sep void setVarB concode_elem_sep void setVarB concode_elem_sep void setVarB concode_elem_sep void setVarA concode_elem_sep void setVarA concode_elem_sep void setVarA concode_elem_sep void setVarD concode_elem_sep void setVarD concode_elem_sep void setVarD concode_elem_sep void setVarC concode_elem_sep void setVarC concode_elem_sep void setVarC concode_elem_sep void exit concode_elem_sep long getVarE concode_elem_sep long getVarE concode_elem_sep long getVarE concode_elem_sep String getEvInFValue concode_elem_sep double getVarC concode_elem_sep double getVarC concode_elem_sep double getVarC concode_elem_sep String getVarD concode_elem_sep String getVarD concode_elem_sep String getVarD concode_elem_sep boolean getVarA concode_elem_sep boolean getVarA concode_elem_sep boolean getVarA concode_elem_sep long getEvDValue concode_elem_sep long getEvDValue concode_elem_sep long getEvDValue concode_elem_sep long getVarB concode_elem_sep long getVarB concode_elem_sep long getVarB concode_elem_sep void clearEvents concode_elem_sep void clearEvents concode_elem_sep void clearEvents concode_elem_sep void raiseEvInA concode_elem_sep boolean isRaisedEvB concode_elem_sep boolean isRaisedEvB concode_elem_sep boolean isRaisedEvB concode_elem_sep boolean getEvInCValue concode_elem_sep void clearOutEvents concode_elem_sep void clearOutEvents concode_elem_sep void clearOutEvents concode_elem_sep void entryAction