Orbital library

Uses of Class
orbital.moon.logic.resolution.ResolutionBase

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

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