|
Orbital library | |||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use ResolutionBase | |
---|---|
orbital.moon.logic.resolution | Provides resolution inference theorem prover implementation and clause management. |
Uses of ResolutionBase in orbital.moon.logic.resolution |
---|
Subclasses of ResolutionBase in orbital.moon.logic.resolution | |
---|---|
class |
SaturationResolution
Naïve saturation. |
class |
SearchResolution
Set of support resolution based on search. |
class |
SetOfSupportResolution
Direct set of support resolution. |
|
Orbital library 1.3.0: 11 Apr 2009 |
|||||||||
PREV NEXT | FRAMES NO FRAMES |