Package jtp.rs

Contains important subclasses of ReasoningStep and ReasoningStepIterator as well as utility methods for ReasoningSteps.

See:
Description

Interface Summary

ReasoningStepCollector

Class Summary

ArrayReasoningStepIterator	An iterator over the ReasoningSteps in an array.
DefaultCut	A default implementation of Cut.
DefaultReasoningStepCollector
DefaultTranslationReasoner
IteratorBasedReasoningStepIterator	A ReasoningStepIterator backed by a Java Iterator.
LinearizedProof
ReasoningStepStub
RSUtils	Utility methods for ReasoningSteps.
SecondaryProofStorageLookup
SecondaryProofStorageWriter
StoredReasoningStep
TranslatingProxyReasoner
TranslationReasoningStep	This backward-chaining proof step indicates that the goal can be reformulated as the subgoal.

Package jtp.rs Description

Contains important subclasses of ReasoningStep and ReasoningStepIterator as well as utility methods for ReasoningSteps.