net.sourceforge.czt.animation.eval.result

Class ProdSet

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

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

A simple implementation of a cartesian product set.

Author:

Petra Malik

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
protected class	ProdSet.ProdSetIterator

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
ProdSet(List<EvalSet> baseSets)

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.
List<EvalSet>	getBaseSets()
BigInteger	maxSize() Returns the exact size of the set, or null if it is likely to be 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, isEmpty, 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

ProdSet

public ProdSet(List<EvalSet> baseSets)

Method Detail

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 likely to be 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.

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

getBaseSets

public List<EvalSet> getBaseSets()

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