Package com.crawljax.oraclecomparator

Oracle package.

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.