Package mepk.kernel

Class Justification

java.lang.Object
mepk.kernel.Justification
public class Justification extends Object
A justification gives a ProofStep that constructs a statement, and a Proof that constructs all prerequisites of the proof step.

  • Constructor Details

    • Justification

      public Justification(ProofStep proofStep, Proof proof)
      Create a new justification.
      Parameters:
      proofStep - the proof step
      proof - the proof

  • Method Details

    • getProofStep

      public ProofStep getProofStep()
      Return the proof step.
      Returns:
      the proof step

    • getProof

      public Proof getProof()
      Return the proof.
      Returns:
      the proof