Uses of Class
jtp.proof.ImplicationConversionException

Packages that use ImplicationConversionException

jtp.proof

Classes supporting JTP's implementation of InferenceWeb proofs.

Uses of ImplicationConversionException in jtp.proof

Methods in jtp.proof that throw ImplicationConversionException

static Implication

ProofUtil.toImplication(CNFSentence s)