| Package | Description |
|---|---|
| wytp.proof.util |
| Modifier and Type | Class and Description |
|---|---|
class |
DeltaProof |
| Modifier and Type | Field and Description |
|---|---|
protected AbstractProof<T> |
AbstractProof.AbstractState.proof |
| Constructor and Description |
|---|
AbstractState(AbstractProof<T> proof,
T parent,
Proof.Rule rule,
Formula... dependencies) |
Copyright © 2017. All rights reserved.