Uses of Class
orbital.moon.logic.ClassicalLogic.InferenceMechanism

Packages that use ClassicalLogic.InferenceMechanism

orbital.moon.logic

Contains implementations of some logics as well as a logic and mathematical expression parser.

Uses of ClassicalLogic.InferenceMechanism in orbital.moon.logic

Fields in orbital.moon.logic declared as ClassicalLogic.InferenceMechanism

static ClassicalLogic.InferenceMechanism	ClassicalLogic.PROPOSITIONAL_INFERENCE Propositional inference.
static ClassicalLogic.InferenceMechanism	ClassicalLogic.RESOLUTION_HEURISTIC_INFERENCE
static ClassicalLogic.InferenceMechanism	ClassicalLogic.RESOLUTION_INFERENCE Resolution inference.
static ClassicalLogic.InferenceMechanism	ClassicalLogic.RESOLUTION_SATURATION_INFERENCE
static ClassicalLogic.InferenceMechanism	ClassicalLogic.SEMANTIC_INFERENCE Semantic inference with truth-tables.

Methods in orbital.moon.logic that return ClassicalLogic.InferenceMechanism

protected ClassicalLogic.InferenceMechanism

ClassicalLogic.getInferenceMechanism()

Methods in orbital.moon.logic with parameters of type ClassicalLogic.InferenceMechanism

void	ClassicalLogic.setInferenceMechanism(ClassicalLogic.InferenceMechanism mechanism) Set the inference mechanism applied for the inference relation.

Constructors in orbital.moon.logic with parameters of type ClassicalLogic.InferenceMechanism

ClassicalLogic(ClassicalLogic.InferenceMechanism inferenceMechanism)
Create a classical logic with the specified inference mechanism.