Package com.crawljax.oraclecomparator

Oracle package.

See: Description

Interface Summary

Interface	Description
Comparator	Interface for oracle comparators.

Class Summary

Class	Description
AbstractComparator	The Abstract base class of all the Comparators.
OracleComparator	This class contains the oracle and its precondition(s).
StateComparator	Defines an Oracle Comparator which used multiple Oracles to decide whether two states are equivalent.

Package com.crawljax.oraclecomparator Description

Oracle package.