Uses of Class
com.crawljax.oraclecomparator.StateComparator

Packages that use StateComparator

Package	Description
com.crawljax.core.state	This is the core package for the state machine.

Uses of StateComparator in com.crawljax.core.state

Constructors in com.crawljax.core.state with parameters of type StateComparator

Constructor and Description
StateMachine(StateFlowGraph sfg, com.google.common.collect.ImmutableList<Invariant> invariantList, Plugins plugins, StateComparator stateComparator) Create a new StateMachine.