jtp.frame.vc (JTP API Documentation)

Interfaces
ReferringValueCollection
ValueCollectionListener

Classes
BackwardChainingWalker
Goal
GraphWalker
MembershipProofStep
Multiplexor
ValueCollection
ValueLink