Uses of Interface
orbital.moon.logic.resolution.ClausalFactory

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()