orbital.logic.imp

Interfaces  Formula Formula.Composite Inference Interpretation Logic

Classes  InterpretationBase LogicBasis

Exceptions  IncompleteCalculusException LogicException