jtp.rs (JTP API Documentation)

Interfaces
ReasoningStepCollector

Classes
ArrayReasoningStepIterator
DefaultCut
DefaultReasoningStepCollector
DefaultTranslationReasoner
IteratorBasedReasoningStepIterator
LinearizedProof
ReasoningStepStub
RSUtils
SecondaryProofStorageLookup
SecondaryProofStorageWriter
StoredReasoningStep
TranslatingProxyReasoner
TranslationReasoningStep