Software/AccuChargerExtension/yakindu/AccuChargerExtensionSM/generated_code/StateMachine.cpp
void StateMachine::react__choice3_()
{
	/* The reactions of state null. */
	ifaceInternalSCI.actualChargingPort = (ifaceInternalSCI.actualChargingPort + 1) % StateMachine::DefaultSCI::NrOfChargingPorts;
	/* 'default' enter sequence for state off */
	/* Entry action for state 'off'. */
	timer->setTimer(this, (sc_eventid)(&timeEvents[0]), 100, false);
	stateConfVector[1] = off;
	stateConfVectorPosition = 1;
}
/* The reactions of state null. */
The reactions of state null.
The reactions of state null .
void StateMachine::react__choice3_()
{
	ifaceInternalSCI.actualChargingPort = (ifaceInternalSCI.actualChargingPort + 1) % StateMachine::DefaultSCI::NrOfChargingPorts;
	timer->setTimer(this, (sc_eventid)(&timeEvents[0]), 100, false);
	stateConfVector[1] = off;
	stateConfVectorPosition = 1;
}
void StateMachine :: react__choice3_ ( ) { ifaceInternalSCI . actualChargingPort = ( ifaceInternalSCI . actualChargingPort + 1 ) % StateMachine :: DefaultSCI :: NrOfChargingPorts ; timer -> setTimer ( this , ( sc_eventid ) ( & timeEvents [ 0 ] ) , 100 , false ) ; stateConfVector [ 1 ] = off ; stateConfVectorPosition = 1 ; }
The reactions of state null.
The reactions of state null .
/* The reactions of state null. */ /* 'default' enter sequence for state off */ /* Entry action for state 'off'. */