Uses of Class
jtp.gmp.ModusPonensProofStep

Packages that use ModusPonensProofStep

jtp.gmp

Provides a knowledge store for Clauses and Generalized Modus Ponens reasoning capability.

Uses of ModusPonensProofStep in jtp.gmp

Fields in jtp.gmp declared as ModusPonensProofStep

protected ModusPonensProofStep

ModusPonensRecycler.ps

Methods in jtp.gmp with parameters of type ModusPonensProofStep

static ReasoningStep

Utils.deriveFrom(Literal goal, ReasoningStep subStep, List varStack, ModusPonensProofStep reusableStep) tries to derive a proof for a literal from a pre-existing reasoning step.