Orbital library

Uses of Class

Packages that use LogicException
orbital.logic.imp Defines a generic interface to (symbolic) logic systems. 

Uses of LogicException in orbital.logic.imp

Subclasses of LogicException in orbital.logic.imp
 class IncompleteCalculusException
          A LogicException thrown when an incomplete calculus is used.

Methods in orbital.logic.imp that throw LogicException
 boolean Inference.infer(Formula[] w, Formula d)
          Apply the inference relation |~ according to the implementation calculus K.

Orbital library
1.3.0: 11 Apr 2009

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