Uses of Class
wytp.proof.util.FastDelta

Packages that use FastDelta

Package	Description
wytp.proof.util

Uses of FastDelta in wytp.proof.util

Fields in wytp.proof.util declared as FastDelta

Modifier and Type	Field and Description
static FastDelta	FastDelta.EMPTY_DELTA

Methods in wytp.proof.util that return FastDelta

Modifier and Type	Method and Description
FastDelta	FastDelta.add(Formula truth)
FastDelta	FastDelta.apply(Proof.Delta delta)
FastDelta	FastDelta.remove(Formula truth)