Uses of Class
net.sourceforge.czt.rules.oracles.AbstractOracle

Packages that use AbstractOracle

Package	Description
net.sourceforge.czt.rules.oracles
net.sourceforge.czt.rules.prover

Uses of AbstractOracle in net.sourceforge.czt.rules.oracles

Subclasses of AbstractOracle in net.sourceforge.czt.rules.oracles

Modifier and Type	Class and Description
class	DecorateOracle Implements the 'decorated expression' oracle.
class	HideOracle
class	LookupOracle
class	RenameOracle Implements the rename oracle.
class	SchemaMinusOracle
class	SplitNamesOracle
class	ThetaOracle
class	TypecheckOracle
class	UnprefixOracle
class	XiOracle

Uses of AbstractOracle in net.sourceforge.czt.rules.prover

Fields in net.sourceforge.czt.rules.prover with type parameters of type AbstractOracle

Modifier and Type	Field and Description
static Map<String,AbstractOracle>	ProverUtils.ORACLES

Methods in net.sourceforge.czt.rules.prover that return types with arguments of type AbstractOracle

Modifier and Type	Method and Description
static Map<String,AbstractOracle>	ProverUtils.createOracleMap()