Uses of Interface
jtp.proof.transform.ProofTransformer

Packages that use ProofTransformer

jtp.proof.transform

Uses of ProofTransformer in jtp.proof.transform

Classes in jtp.proof.transform that implement ProofTransformer

class	IdenticalSubgoalTransformer IdenticalSubgoalTransformer.java Created: Thu May 23 03:07:01 2002
class	IdenticalSubproofTrimmer
class	ProofTransformingEngine
class	SecondaryStorageLookupTransformer
class	StubTransformer
class	UnrolledRulesTransformer ProofTransformer that "re-rolls" unrolled forward-chaining rules.

Constructors in jtp.proof.transform with parameters of type ProofTransformer

ProofTransformingReasonerProxy(Reasoner delegate, ProofTransformer transformer)