wytp.proof.util

Class FastDelta

java.lang.Object

wytp.proof.util.FastDelta

All Implemented Interfaces:

Proof.Delta

public class FastDelta
extends Object
implements Proof.Delta

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
static class	FastDelta.Set

Field Summary

Fields

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

Constructor Summary

Constructors

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

Method Summary

Modifier and Type	Method and Description
FastDelta	add(Formula truth) Add a new formula to this delta
FastDelta	apply(Proof.Delta delta) Apply a given delta on top of this one.
FastDelta.Set	getAdditions() Get the set of truths added to this delta
FastDelta.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
FastDelta	remove(Formula truth) Remove a truth from this delta (e.g.
String	toString()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Field Detail

EMPTY_SET

public static final FastDelta.Set EMPTY_SET

EMPTY_DELTA

public static final FastDelta EMPTY_DELTA

Constructor Detail

FastDelta

public FastDelta()

FastDelta

public FastDelta(FastDelta.Set additions,
                 FastDelta.Set removals)

Method Detail

isAddition

public boolean isAddition(Formula truth)

Description copied from interface: Proof.Delta

Check whether or not a given formula is in the additions set

Specified by:

isAddition in interface Proof.Delta

Returns:

isRemoval

public boolean isRemoval(Formula truth)

Description copied from interface: Proof.Delta

Check whether or not a given formula is in the removals set

Specified by:

isRemoval in interface Proof.Delta

Returns:

getAdditions

public FastDelta.Set getAdditions()

Description copied from interface: Proof.Delta

Get the set of truths added to this delta

Specified by:

getAdditions in interface Proof.Delta

Returns:

getRemovals

public FastDelta.Set getRemovals()

Description copied from interface: Proof.Delta

Get the set of truths removed from this delta

Specified by:

getRemovals in interface Proof.Delta

Returns:

add

public FastDelta add(Formula truth)

Description copied from interface: Proof.Delta

Add a new formula to this delta

Specified by:

add in interface Proof.Delta

Returns:

remove

public FastDelta remove(Formula truth)

Description copied from interface: Proof.Delta

Remove a truth from this delta (e.g. because it has been processed).

Specified by:

remove in interface Proof.Delta

Returns:

apply

public FastDelta apply(Proof.Delta delta)

Description copied from interface: Proof.Delta

Apply a given delta on top of this one.

Specified by:

apply in interface Proof.Delta

Returns:

toString

public String toString()

Overrides:

toString in class Object