wytp.proof.util

Class DeltaProof

java.lang.Object

wytp.proof.util.AbstractProof<DeltaProof.State>

wytp.proof.util.DeltaProof

All Implemented Interfaces:

Proof

public class DeltaProof
extends AbstractProof<DeltaProof.State>

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
static class	DeltaProof.State

Nested classes/interfaces inherited from class wytp.proof.util.AbstractProof

AbstractProof.AbstractState<T extends Proof.State>

Nested classes/interfaces inherited from interface wytp.proof.Proof

Proof.Delta, Proof.LinearRule, Proof.NonLinearRule, Proof.Rule

Field Summary

Fields inherited from class wytp.proof.util.AbstractProof

assertion, heap, states

Constructor Summary

Constructors

Constructor and Description
DeltaProof(WyalFile.Declaration.Assert assertion, wybs.lang.SyntacticHeap heap, Formula axiom)

Method Summary

Methods inherited from class wytp.proof.util.AbstractProof

getAssertion, getHeap, getState, isComplete, register, size

Methods inherited from class java.lang.Object

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

Constructor Detail

DeltaProof

public DeltaProof(WyalFile.Declaration.Assert assertion,
                  wybs.lang.SyntacticHeap heap,
                  Formula axiom)