Checking a visited State

You can check whether a specified State was visited by calling the following command
 

public boolean wasInState(String stateName) {
...
}

The following code fragment shows how to check whether a specified State of STM, e.g. State1, was visited through ALH API.

ALH.wasInState("State1");	// Returns true or false.