wytp.proof.util

Class FastDelta.Set

java.lang.Object

wytp.proof.util.FastDelta.Set

All Implemented Interfaces:

Proof.Delta.Set

Enclosing class:

FastDelta

public static class FastDelta.Set
extends Object
implements Proof.Delta.Set

Constructor Summary

Constructors

Constructor and Description
Set()
Set(Formula f)

Method Summary

Modifier and Type	Method and Description
FastDelta.Set	add(Formula truth) Add a truth to this set.
boolean	contains(Formula truth) Check whether the given formula is contained within this set or not.
Formula	get(int ith) Get the ith truth in this set
FastDelta.Set	remove(Formula truth) Remove a formula from this set
FastDelta.Set	remove(Proof.Delta.Set other) Remove the elements of one set from this
int	size() Determine the number of truths in this set
String	toString()
FastDelta.Set	union(Proof.Delta.Set other) Union two sets together

Methods inherited from class java.lang.Object

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

Constructor Detail

Set

public Set()

Set

public Set(Formula f)

Method Detail

size

public int size()

Description copied from interface: Proof.Delta.Set

Determine the number of truths in this set

Specified by:

size in interface Proof.Delta.Set

Returns:

contains

public boolean contains(Formula truth)

Description copied from interface: Proof.Delta.Set

Check whether the given formula is contained within this set or not.

Specified by:

contains in interface Proof.Delta.Set

Returns:

get

public Formula get(int ith)

Description copied from interface: Proof.Delta.Set

Get the ith truth in this set

Specified by:

get in interface Proof.Delta.Set

Returns:

add

public FastDelta.Set add(Formula truth)

Description copied from interface: Proof.Delta.Set

Add a truth to this set.

Specified by:

add in interface Proof.Delta.Set

Returns:

remove

public FastDelta.Set remove(Formula truth)

Description copied from interface: Proof.Delta.Set

Remove a formula from this set

Specified by:

remove in interface Proof.Delta.Set

Returns:

union

public FastDelta.Set union(Proof.Delta.Set other)

Description copied from interface: Proof.Delta.Set

Union two sets together

Specified by:

union in interface Proof.Delta.Set

Returns:

remove

public FastDelta.Set remove(Proof.Delta.Set other)

Description copied from interface: Proof.Delta.Set

Remove the elements of one set from this

Specified by:

remove in interface Proof.Delta.Set

Returns:

toString

public String toString()

Overrides:

toString in class Object