Uses of Class
jtp.proof.Implication

Packages that use Implication

jtp.proof

Classes supporting JTP's implementation of InferenceWeb proofs.

Uses of Implication in jtp.proof

Methods in jtp.proof that return Implication

static Implication

ProofUtil.toImplication(CNFSentence s)