|
Orbital library | |||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use ClausalFactory | |
---|---|
orbital.moon.logic.resolution | Provides resolution inference theorem prover implementation and clause management. |
Uses of ClausalFactory in orbital.moon.logic.resolution |
---|
Classes in orbital.moon.logic.resolution that implement ClausalFactory | |
---|---|
class |
DefaultClausalFactory
Factory for clauses and clausalsets. |
Methods in orbital.moon.logic.resolution that return ClausalFactory | |
---|---|
protected static ClausalFactory |
ResolutionBase.getClausalFactory()
|
protected static ClausalFactory |
ClauseImpl.getClausalFactory()
|
|
Orbital library 1.3.0: 11 Apr 2009 |
|||||||||
PREV NEXT | FRAMES NO FRAMES |