Uses of Class
com.crawljax.oraclecomparator.StateComparator

Packages that use StateComparator

Package	Description
com.crawljax.core.state

Uses of StateComparator in com.crawljax.core.state

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

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