|
Orbital library | |||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use orbital.moon.logic.resolution | |
---|---|
orbital.moon.logic.resolution | Provides resolution inference theorem prover implementation and clause management. |
Classes in orbital.moon.logic.resolution used by orbital.moon.logic.resolution | |
---|---|
ClausalFactory
Factory for clauses and clausal sets. |
|
ClausalSet
Represents a set of clauses. |
|
ClausalSetImpl
Default implementation of a representation of a set of clauses. |
|
Clause
Represents a clause, i.e. |
|
ClauseImpl
Default implementation of a representation of a clause, i.e. |
|
IndexedClauseImpl
Implementation of a representation of a clauses with clause indexing. |
|
ResolutionBase
Basic skeleton for resolution theorem provers. |
|
Orbital library 1.3.0: 11 Apr 2009 |
|||||||||
PREV NEXT | FRAMES NO FRAMES |