|
Orbital library | |||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||
| Packages that use ClauseImpl | |
|---|---|
| orbital.moon.logic.resolution | Provides resolution inference theorem prover implementation and clause management. |
| Uses of ClauseImpl in orbital.moon.logic.resolution |
|---|
| Subclasses of ClauseImpl in orbital.moon.logic.resolution | |
|---|---|
class |
IndexedClauseImpl
Implementation of a representation of a clauses with clause indexing. |
class |
OrderedClauseImpl
Implementation of a representation of a clause performing ordered resolution. |
|
Orbital library 1.3.0: 11 Apr 2009 |
|||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||