returns true if the given state is currently active otherwise false . concode_field_sep long rightBitshift concode_elem_sep SCInterfaceImpl sCInterface concode_elem_sep long bitwiseXor concode_elem_sep long myBit1 concode_elem_sep long myBit2 concode_elem_sep long leftBitshift concode_elem_sep int nextStateIndex concode_elem_sep long bitwiseOr concode_elem_sep long complementBitshift concode_elem_sep long bitwiseAnd concode_elem_sep boolean e1 concode_elem_sep State[] stateVector concode_field_sep SCInterface getSCInterface concode_elem_sep void setBitwiseOr concode_elem_sep void setBitwiseOr concode_elem_sep void setComplementBitshift concode_elem_sep void setComplementBitshift concode_elem_sep void setMyBit2 concode_elem_sep void setMyBit2 concode_elem_sep void setMyBit1 concode_elem_sep void setMyBit1 concode_elem_sep void runCycle concode_elem_sep long getBitwiseXor concode_elem_sep long getBitwiseXor concode_elem_sep void reactMain_region_StateA concode_elem_sep void reactMain_region_StateB concode_elem_sep void enter concode_elem_sep void setLeftBitshift concode_elem_sep void setLeftBitshift concode_elem_sep void init concode_elem_sep long getBitwiseOr concode_elem_sep long getBitwiseOr concode_elem_sep void exitAction concode_elem_sep long getLeftBitshift concode_elem_sep long getLeftBitshift concode_elem_sep long getMyBit1 concode_elem_sep long getMyBit1 concode_elem_sep long getMyBit2 concode_elem_sep long getMyBit2 concode_elem_sep void raiseE1 concode_elem_sep void raiseE1 concode_elem_sep long getBitwiseAnd concode_elem_sep long getBitwiseAnd concode_elem_sep void exit concode_elem_sep void setRightBitshift concode_elem_sep void setRightBitshift concode_elem_sep void clearEvents concode_elem_sep void clearEvents concode_elem_sep void setBitwiseAnd concode_elem_sep void setBitwiseAnd concode_elem_sep long getComplementBitshift concode_elem_sep long getComplementBitshift concode_elem_sep long getRightBitshift concode_elem_sep long getRightBitshift concode_elem_sep void setBitwiseXor concode_elem_sep void setBitwiseXor concode_elem_sep void clearOutEvents concode_elem_sep void entryAction
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 ; } }