Uses of Interface
org.episteme.core.mathematics.logic.proof.InferenceRule

Packages that use InferenceRule

Package	Description
org.episteme.core.mathematics.logic.proof

Uses of InferenceRule in org.episteme.core.mathematics.logic.proof

Classes in org.episteme.core.mathematics.logic.proof that implement InferenceRule

Modifier and Type	Class	Description
class	EqualityRule	A simple inference rule for equality substitution.
class	HypotheticalSyllogism	Hypothetical Syllogism inference rule.
class	ModusPonens	Implementation of the Modus Ponens inference rule.
class	ModusTollens	Modus Tollens inference rule.

Methods in org.episteme.core.mathematics.logic.proof with parameters of type InferenceRule

Modifier and Type	Method	Description
void	ProofVerifier.registerRule(String name, InferenceRule rule)	Registers an inference rule with a given name.