Uses of Class
mepk.kernel.ProofStep

Packages that use ProofStep

Package	Description
mepk.kernel	This package implements the trusted kernel of MEPK.

Uses of ProofStep in mepk.kernel

Methods in mepk.kernel that return ProofStep

Modifier and Type	Method	Description
static ProofStep	ProofStep.Compose(Statement statement, Statement... statements)	Create a compose proof step, which unifies the conclusions of the given statements with the hypotheses of the given statement
ProofStep	Justification.getProofStep()	Return the proof step.
static ProofStep	ProofStep.Substitute(Statement statement, String varName, Expression replacement, Map<String,String> typesOfNewVars)	Create a substitution proof step, which takes a statement s and a substitution, and constructs (grounds) the statement resulting from the substitution.
static ProofStep	ProofStep.Weaken(Statement statement, DVRSet addedDVRs, Expression... addedHypotheses)	Create a weakening proof step, which takes a statement and adds hypotheses and DVRs.

Constructors in mepk.kernel with parameters of type ProofStep

Modifier	Constructor	Description
	Justification(ProofStep proofStep, Proof proof)	Create a new justification.