Orbital library

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.
 


Orbital library
1.3.0: 11 Apr 2009

Copyright © 1996-2009 André Platzer
All Rights Reserved.