Package mepk.kernel.internal

Class Weaken

java.lang.Object

mepk.kernel.internal.Weaken

All Implemented Interfaces:

ProofStep.Internal

public class Weaken
extends Object
implements ProofStep.Internal

A weakening proof step constructs a new statement by adding DVRs and/or hypotheses to an existing statement.

Constructor Summary

Constructors

Constructor	Description
Weaken(Statement statement, DVRSet addedDVRs, Expression... addedHypotheses)	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

Weaken

public Weaken(Statement statement,
 DVRSet addedDVRs,
 Expression... addedHypotheses)

Create an instance.

Parameters:

statement - the grounding statement

addedDVRs - the added DVRs

addedHypotheses - the added hypotheses

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