Package mepk.kernel.internal

Class Compose

java.lang.Object

mepk.kernel.internal.Compose

All Implemented Interfaces:

ProofStep.Internal

public class Compose
extends Object
implements ProofStep.Internal

A compose proof takes statements x, y, ..., each with hypotheses Hx1, Hx2, ... and conclusion Cx, ..., and a statement with exactly the same hypotheses Cx, Cy, ... and conclusion C: it 'applies' the latter statement, by constructing the statement with hypotheses Hx1, Hx2, ..., Hy1, Hy2, ..., and conclusion C.

Constructor Summary

Constructors

Constructor	Description
Compose(Statement statement, Statement... statements)	Create an instance.

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.

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Details

Compose

public Compose(Statement statement,
 Statement... statements)

Create an instance.

Parameters:

statement - the 'applied' statement

statements - the statements to which statement is 'applied'

Method Details

getGrounding

public Set<Statement> getGrounding()

Description copied from interface: ProofStep.Internal

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

Specified by:

getGrounding in interface ProofStep.Internal

Returns:

the grounding statements

getGrounded1

public Statement getGrounded1()

Description copied from interface: ProofStep.Internal

Return the statement constructed by this proof step.

Specified by:

getGrounded1 in interface ProofStep.Internal

Returns:

the grounded statement