public class DeltaProof extends AbstractProof<DeltaProof.State>
| Modifier and Type | Class and Description |
|---|---|
static class |
DeltaProof.State |
AbstractProof.AbstractState<T extends Proof.State>Proof.Delta, Proof.LinearRule, Proof.NonLinearRule, Proof.Ruleassertion, heap, states| Constructor and Description |
|---|
DeltaProof(WyalFile.Declaration.Assert assertion,
wybs.lang.SyntacticHeap heap,
Formula axiom) |
public DeltaProof(WyalFile.Declaration.Assert assertion, wybs.lang.SyntacticHeap heap, Formula axiom)
Copyright © 2017. All rights reserved.