Versions Compared

Key

  • This line was added.
  • This line was removed.
  • Formatting was changed.

...

Code Block
languagetext
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.

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