net.sourceforge.czt.animation.eval.result

Class PowerSet

java.lang.Object

net.sourceforge.czt.base.impl.TermImpl

net.sourceforge.czt.z.impl.ExprImpl

net.sourceforge.czt.animation.eval.result.EvalResult

net.sourceforge.czt.animation.eval.result.EvalSet

net.sourceforge.czt.animation.eval.result.DefaultEvalSet

net.sourceforge.czt.animation.eval.result.PowerSet

All Implemented Interfaces:

Iterable<net.sourceforge.czt.z.ast.Expr>, Collection<net.sourceforge.czt.z.ast.Expr>, Set<net.sourceforge.czt.z.ast.Expr>, net.sourceforge.czt.base.ast.Term, net.sourceforge.czt.z.ast.Expr

public class PowerSet
extends DefaultEvalSet

A power set with lazy evaluation of its elements.

Author:

Petra Malik

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
protected static class	PowerSet.AddElementIterator An iterator over a list of sets that adds a given expression to each of the element sets before returning.
protected class	PowerSet.PowerSetIterator An iterator over the elements of a non-empty power set of a given base set.

Nested classes/interfaces inherited from class net.sourceforge.czt.animation.eval.result.DefaultEvalSet

DefaultEvalSet.SubsetIterator<E>

Field Summary

Fields inherited from class net.sourceforge.czt.animation.eval.result.DefaultEvalSet

memberList_

Fields inherited from class net.sourceforge.czt.animation.eval.result.EvalSet

INFINITE_SIZE, UNKNOWN_SIZE

Constructor Summary

Constructors

Constructor and Description
PowerSet(EvalSet baseset) Creates a new power set of the given base set.

Method Summary

Modifier and Type	Method and Description
<R> R	accept(net.sourceforge.czt.util.Visitor<R> visitor)
boolean	contains(Object e) Tests for membership of the set.
EvalSet	getBaseSet()
boolean	isEmpty() Power sets are never empty because they always contain the empty set so this method always returns false.
BigInteger	maxSize() Returns the exact size of the set, or null if it is infinite.
protected net.sourceforge.czt.z.ast.Expr	nextMember() Returns the next expression in the set.
protected void	resetResult() This resets any cached results.
int	size() Returns the exact size of the set, or MAX_VALUE if the set is infinite or has cardinality greater than MAX_VALUE.
String	toString() Each subclass should implement a nice toString.

Methods inherited from class net.sourceforge.czt.animation.eval.result.DefaultEvalSet

equals, estSubsetSize, evaluateFully, getLower, getUpper, hashCode, iterator, listIterator, sortedIterator, subsetIterator, toArray, toArray

Methods inherited from class net.sourceforge.czt.animation.eval.result.EvalSet

add, addAll, clear, containsAll, estSize, getAnn, getAnns, matchIterator, remove, removeAll, retainAll

Methods inherited from class net.sourceforge.czt.animation.eval.result.EvalResult

create, getChildren

Methods inherited from class net.sourceforge.czt.base.impl.TermImpl

annsSize, getFactory, hasAnn, hasAnn, removeAnn, removeAnn

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Methods inherited from interface java.util.Set

spliterator

Methods inherited from interface java.util.Collection

parallelStream, removeIf, stream

Methods inherited from interface java.lang.Iterable

forEach

Methods inherited from interface net.sourceforge.czt.base.ast.Term

annsSize, hasAnn, hasAnn, removeAnn, removeAnn

Constructor Detail

PowerSet

public PowerSet(EvalSet baseset)

Creates a new power set of the given base set.

Method Detail

isEmpty

public boolean isEmpty()

Power sets are never empty because they always contain the empty set so this method always returns false.

Specified by:

isEmpty in interface Collection<net.sourceforge.czt.z.ast.Expr>

Specified by:

isEmpty in interface Set<net.sourceforge.czt.z.ast.Expr>

Overrides:

isEmpty in class DefaultEvalSet

Returns:

false.

size

public int size()

Returns the exact size of the set, or MAX_VALUE if the set is infinite or has cardinality greater than MAX_VALUE.

Specified by:

size in interface Collection<net.sourceforge.czt.z.ast.Expr>

Specified by:

size in interface Set<net.sourceforge.czt.z.ast.Expr>

Overrides:

size in class DefaultEvalSet

Returns:

Integer.MAX_VALUE if the set is infinite or too large.

maxSize

public BigInteger maxSize()

Returns the exact size of the set, or null if it is infinite.

Overrides:

maxSize in class DefaultEvalSet

Returns:

Upper bound on the size of the set, or null if not known.

contains

public boolean contains(Object e)

Description copied from class: DefaultEvalSet

Tests for membership of the set.

Specified by:

contains in interface Collection<net.sourceforge.czt.z.ast.Expr>

Specified by:

contains in interface Set<net.sourceforge.czt.z.ast.Expr>

Overrides:

contains in class DefaultEvalSet

Parameters:

e - The fully evaluated expression.

Returns:

true iff the given object is a member of the set.

Throws:

EvalException - if the given object is not an EvalSet.

nextMember

protected net.sourceforge.czt.z.ast.Expr nextMember()

Description copied from class: DefaultEvalSet

Returns the next expression in the set. This is used during the first evaluation of the set. Once this returns null, the set is fully evaluated and its elements are all stored in memberSet_.

Specified by:

nextMember in class DefaultEvalSet

Returns:

The next Expr, or null if there are no more.

resetResult

protected void resetResult()

Description copied from class: DefaultEvalSet

This resets any cached results. TODO: delete this, because the contents of a set should never change (though they may be enumerated).

Overrides:

resetResult in class DefaultEvalSet

getBaseSet

public EvalSet getBaseSet()

accept

public <R> R accept(net.sourceforge.czt.util.Visitor<R> visitor)

Specified by:

accept in interface net.sourceforge.czt.base.ast.Term

Overrides:

accept in class EvalSet

toString

public String toString()

Description copied from class: EvalSet

Each subclass should implement a nice toString.

Specified by:

toString in class EvalSet