| Modifier and Type | Interface and Description |
|---|---|
static interface |
Proof.Delta.Set
A set of truths in a delta, either representing those added or those
removed.
|
| Modifier and Type | Method and Description |
|---|---|
Proof.Delta |
add(Formula truth)
Add a new formula to this delta
|
Proof.Delta |
apply(Proof.Delta delta)
Apply a given delta on top of this one.
|
Proof.Delta.Set |
getAdditions()
Get the set of truths added to this delta
|
Proof.Delta.Set |
getRemovals()
Get the set of truths removed from this delta
|
boolean |
isAddition(Formula truth)
Check whether or not a given formula is in the additions set
|
boolean |
isRemoval(Formula truth)
Check whether or not a given formula is in the removals set
|
Proof.Delta |
remove(Formula truth)
Remove a truth from this delta (e.g.
|
boolean isAddition(Formula truth)
truth - boolean isRemoval(Formula truth)
truth - Proof.Delta.Set getAdditions()
Proof.Delta.Set getRemovals()
Proof.Delta add(Formula truth)
truth - Proof.Delta remove(Formula truth)
truth - Proof.Delta apply(Proof.Delta delta)
delta - Copyright © 2017. All rights reserved.