Uses of Class
wytp.proof.util.FastDelta.Set

Packages that use FastDelta.Set

Package	Description
wytp.proof.util

Uses of FastDelta.Set in wytp.proof.util

Fields in wytp.proof.util declared as FastDelta.Set

Modifier and Type	Field and Description
static FastDelta.Set	FastDelta.EMPTY_SET

Methods in wytp.proof.util that return FastDelta.Set

Modifier and Type	Method and Description
FastDelta.Set	FastDelta.Set.add(Formula truth)
FastDelta.Set	FastDelta.getAdditions()
FastDelta.Set	FastDelta.getRemovals()
FastDelta.Set	FastDelta.Set.remove(Formula truth)
FastDelta.Set	FastDelta.Set.remove(Proof.Delta.Set other)
FastDelta.Set	FastDelta.Set.union(Proof.Delta.Set other)

Constructors in wytp.proof.util with parameters of type FastDelta.Set

Constructor and Description
FastDelta(FastDelta.Set additions, FastDelta.Set removals)