|
Orbital library | |||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||
| 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 |
|||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||