Uses of Interface
wytp.proof.Proof.Delta

Packages that use Proof.Delta

Package	Description
wyal.lang
wytp.proof
wytp.proof.util

Uses of Proof.Delta in wyal.lang

Methods in wyal.lang with parameters of type Proof.Delta

Modifier and Type	Method and Description
static void	WyalFile.print(Proof.Delta delta)
static void	WyalFile.println(Proof.Delta delta)

Uses of Proof.Delta in wytp.proof

Methods in wytp.proof that return Proof.Delta

Modifier and Type	Method and Description
Proof.Delta	Proof.Delta.add(Formula truth) Add a new formula to this delta
Proof.Delta	Proof.Delta.apply(Proof.Delta delta) Apply a given delta on top of this one.
Proof.Delta	Proof.State.getDelta() Get the delta between this state and its parent.
Proof.Delta	Proof.State.getDelta(Proof.State ancestor) Get the delta between this state and an ancestor.
Proof.Delta	Proof.Delta.remove(Formula truth) Remove a truth from this delta (e.g.

Methods in wytp.proof with parameters of type Proof.Delta

Modifier and Type	Method and Description
Proof.Delta	Proof.Delta.apply(Proof.Delta delta) Apply a given delta on top of this one.

Uses of Proof.Delta in wytp.proof.util

Classes in wytp.proof.util that implement Proof.Delta

Modifier and Type	Class and Description
class	FastDelta

Methods in wytp.proof.util that return Proof.Delta

Modifier and Type	Method and Description
Proof.Delta	DeltaProof.State.getDelta() Return the list of formulae introduced by this step.
Proof.Delta	DeltaProof.State.getDelta(Proof.State ancestor) Return the list of formulae introduced by this step.

Methods in wytp.proof.util with parameters of type Proof.Delta

Modifier and Type	Method and Description
FastDelta	FastDelta.apply(Proof.Delta delta)