Package | Description |
---|---|
net.sourceforge.czt.animation.eval |
CZT ZLive Animator
|
net.sourceforge.czt.animation.eval.flatpred | |
net.sourceforge.czt.animation.eval.result |
Modifier and Type | Method and Description |
---|---|
net.sourceforge.czt.base.ast.Term |
ResultTreeToZVisitor.visitEvalSet(EvalSet evalSet) |
Modifier and Type | Field and Description |
---|---|
protected EvalSet |
FlatMember.set_
This is non_null during evaluation
|
Modifier and Type | Method and Description |
---|---|
EvalSet |
Bounds.getEvalSet(net.sourceforge.czt.z.ast.ZName var0)
Get the EvalSet for var, if known.
|
Modifier and Type | Method and Description |
---|---|
protected List<EvalSet> |
FlatProd.findSets(Envir env)
Helper method to search for all the base sets.
|
Modifier and Type | Method and Description |
---|---|
boolean |
Bounds.setEvalSet(net.sourceforge.czt.z.ast.ZName var0,
EvalSet set)
Set the EvalSet for var.
|
Modifier and Type | Class and Description |
---|---|
class |
DefaultEvalSet
TODO: move the caching functionality of this class into several
different iterator-wrappers, one that caches elements, another that
converts an Iterator into a ListIterator, etc.
|
class |
DiscreteSet
A simple implementation of {e1,e2,e3,...,eN}.
|
class |
FuzzySet
A partially-known set.
|
class |
PowerSet
A power set with lazy evaluation of its elements.
|
class |
ProdSet
A simple implementation of a cartesian product set.
|
class |
RangeSet
A simple implementation of lo..hi.
|
class |
RelSet
A relation or function space, from_ <--> to_.
|
class |
SetComp
A simple implementation of a set comprehension.
|
class |
UnionSet
A simple implementation of the union of two EvalSets.
|
Modifier and Type | Method and Description |
---|---|
EvalSet |
PowerSet.getBaseSet() |
Modifier and Type | Method and Description |
---|---|
List<EvalSet> |
ProdSet.getBaseSets() |
Modifier and Type | Method and Description |
---|---|
Iterator<net.sourceforge.czt.z.ast.Expr> |
RelSet.subsetIterator(EvalSet otherSet) |
Iterator<net.sourceforge.czt.z.ast.Expr> |
RangeSet.subsetIterator(EvalSet otherSet) |
Iterator<net.sourceforge.czt.z.ast.Expr> |
FuzzySet.subsetIterator(EvalSet other) |
Iterator<net.sourceforge.czt.z.ast.Expr> |
EvalSet.subsetIterator(EvalSet otherSet)
Iterate through the intersection of this set
and the 'other' set.
|
Iterator<net.sourceforge.czt.z.ast.Expr> |
DefaultEvalSet.subsetIterator(EvalSet otherSet) |
R |
EvalSetVisitor.visitEvalSet(EvalSet term)
Visits an EvalSet.
|
Constructor and Description |
---|
PowerSet(EvalSet baseset)
Creates a new power set of the given base set.
|
SubsetIterator(Iterator<E> master,
EvalSet slave) |
SubsetIterator(Iterator<E> master,
EvalSet slave) |
UnionSet(EvalSet left,
EvalSet right)
TODO: could combine/simplify some sets rather than creating union.
|
Constructor and Description |
---|
ProdSet(List<EvalSet> baseSets) |
Copyright © 2003–2016 Community Z Tools Project. All rights reserved.