Package mepk.builtin

Interface TrustedProof.Internal

All Known Implementing Classes:

ParProof, SeqProof, TrivialProof

Enclosing class:

TrustedProof

public static interface TrustedProof.Internal

An internal version of a TrustedProof.

Method Summary

Modifier and Type	Method	Description
Map<String,Abbreviation>	getAbbreviations()	Return the abbreviations used by this proof.
Set<Statement>	getGrounded()	Return the set of statements constructed by this proof from the grounding statements.
Set<Statement>	getGrounding()	Return the set of statements which form the basis of this proof.
Justification	getJustificationFor(Statement statement)	Return a justification for the given statement.

Method Details

getGrounding

Set<Statement> getGrounding()

Return the set of statements which form the basis of this proof.

Returns:

the grounding statements

getGrounded

Set<Statement> getGrounded()

Return the set of statements constructed by this proof from the grounding statements.

Returns:

the grounded statements

getAbbreviations

Map<String,Abbreviation> getAbbreviations()

Return the abbreviations used by this proof.

Returns:

the abbreviations

getJustificationFor

Justification getJustificationFor(Statement statement)

Return a justification for the given statement.

Parameters:

statement - a statement which is an element of getGrounded()

Returns:

either null, meaning that no justification is necessary because getGrounding().contains(statement); or a Justification which gives a proof step that constructs the statement, and a proof that constructs all prerequisites of the proof step.