wytp.proof

Interface Proof.Delta.Set

All Known Implementing Classes:

FastDelta.Set

Enclosing interface:

Proof.Delta

public static interface Proof.Delta.Set

A set of truths in a delta, either representing those added or those removed.

Author:

David J. Pearce

Method Summary

Modifier and Type	Method and Description
Proof.Delta.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
Proof.Delta.Set	remove(Formula truth) Remove a formula from this set
Proof.Delta.Set	remove(Proof.Delta.Set other) Remove the elements of one set from this
int	size() Determine the number of truths in this set
Proof.Delta.Set	union(Proof.Delta.Set other) Union two sets together

Method Detail

size

int size()

Determine the number of truths in this set

Returns:

contains

boolean contains(Formula truth)

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

Parameters:

truth -

Returns:

get

Formula get(int ith)

Get the ith truth in this set

Parameters:

ith -

Returns:

add

Proof.Delta.Set add(Formula truth)

Add a truth to this set.

Parameters:

truth -

Returns:

remove

Proof.Delta.Set remove(Formula truth)

Remove a formula from this set

Parameters:

truth -

Returns:

union

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

Union two sets together

Parameters:

other -

Returns:

remove

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

Remove the elements of one set from this

Parameters:

other -

Returns: