net.sourceforge.czt.animation.eval.result

Class UnionSet

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.UnionSet

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 UnionSet
extends DefaultEvalSet

A simple implementation of the union of two EvalSets.

Author:

marku

Nested Class Summary

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
UnionSet(EvalSet left, EvalSet right) TODO: could combine/simplify some sets rather than creating union.

Method Summary

Modifier and Type	Method and Description
boolean	contains(Object obj) Tests for membership of the set.
double	estSize() Estimate the size of the set.
BigInteger	getLower() Calculates minimum of all the elements.
BigInteger	getUpper() Calculates maximum of all the elements.
BigInteger	maxSize() The maximum size of the set in the default environment.
protected net.sourceforge.czt.z.ast.Expr	nextMember() Returns the next expression in the set.
String	toString() Each subclass should implement a nice toString.

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

equals, estSubsetSize, evaluateFully, hashCode, isEmpty, iterator, listIterator, resetResult, size, sortedIterator, subsetIterator, toArray, toArray

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

accept, add, addAll, clear, containsAll, 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

UnionSet

public UnionSet(EvalSet left,
                EvalSet right)

TODO: could combine/simplify some sets rather than creating union. For example, we could combine \{2\} and 3..+infinity, giving 2..+infinity.

Parameters:

left -

right -

Method Detail

maxSize

public BigInteger maxSize()

Description copied from class: DefaultEvalSet

The maximum size of the set in the default environment.

EvalSet provides a default implementation that always returns null.

Overrides:

maxSize in class DefaultEvalSet

Returns:

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

estSize

public double estSize()

Description copied from class: EvalSet

Estimate the size of the set.

EvalSet provides a default implementation that is the same as maxSize(), but converted to a double. So maxSize()==null gives EvalSet.INFINITE_SIZE here.

Overrides:

estSize in class EvalSet

contains

public boolean contains(Object obj)

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:

obj - The fully evaluated expression.

Returns:

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

getLower

public BigInteger getLower()

Calculates minimum of all the elements. Returns null if the set does not contain integers, or if it is empty.

Overrides:

getLower in class DefaultEvalSet

getUpper

public BigInteger getUpper()

Calculates maximum of all the elements. Returns null if the set does not contain integers, or if it is empty.

Overrides:

getUpper in class DefaultEvalSet

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.

toString

public String toString()

Description copied from class: EvalSet

Each subclass should implement a nice toString.

Specified by:

toString in class EvalSet