Package mepk.kernel

Interface ProofStep.Internal

All Known Implementing Classes:
Compose, Substitute, Weaken
Enclosing class:
ProofStep
public static interface ProofStep.Internal
An internal version of a ProofStep.

  • Method Summary

    Modifier and Type
    Method
    Description
    Statement
    getGrounded1()
    Return the statement constructed by this proof step.
    Set<Statement>
    getGrounding()
    Return the set of statements which form the basis of this proof step.

  • Method Details

    • getGrounding

      Set<Statement> getGrounding()
      Return the set of statements which form the basis of this proof step.
      Returns:
      the grounding statements

    • getGrounded1

      Statement getGrounded1()
      Return the statement constructed by this proof step.
      Returns:
      the grounded statement