Index (CZT ZLive 1.6-SNAPSHOT API)

A B C D E F G H I K L M N O P R S T U V W Z

A

accept(Visitor<R>) - Method in class net.sourceforge.czt.animation.eval.flatpred.FlatBinding
accept(Visitor<R>) - Method in class net.sourceforge.czt.animation.eval.flatpred.FlatBindSel
accept(Visitor<R>) - Method in class net.sourceforge.czt.animation.eval.flatpred.FlatCard
accept(Visitor<R>) - Method in class net.sourceforge.czt.animation.eval.flatpred.FlatConst
accept(Visitor<R>) - Method in class net.sourceforge.czt.animation.eval.flatpred.FlatDiscreteSet
accept(Visitor<R>) - Method in class net.sourceforge.czt.animation.eval.flatpred.FlatDiv
accept(Visitor<R>) - Method in class net.sourceforge.czt.animation.eval.flatpred.FlatEquals
accept(Visitor<R>) - Method in class net.sourceforge.czt.animation.eval.flatpred.FlatExists
accept(Visitor<R>) - Method in class net.sourceforge.czt.animation.eval.flatpred.FlatFalse
accept(Visitor<R>) - Method in class net.sourceforge.czt.animation.eval.flatpred.FlatForall
accept(Visitor<R>) - Method in class net.sourceforge.czt.animation.eval.flatpred.FlatGivenSet
accept(Visitor<R>) - Method in class net.sourceforge.czt.animation.eval.flatpred.FlatIfThenElse
accept(Visitor<R>) - Method in class net.sourceforge.czt.animation.eval.flatpred.FlatLessThan
accept(Visitor<R>) - Method in class net.sourceforge.czt.animation.eval.flatpred.FlatLessThanEquals
accept(Visitor<R>) - Method in class net.sourceforge.czt.animation.eval.flatpred.FlatMember
accept(Visitor<R>) - Method in class net.sourceforge.czt.animation.eval.flatpred.FlatMod
accept(Visitor<R>) - Method in class net.sourceforge.czt.animation.eval.flatpred.FlatMu
accept(Visitor<R>) - Method in class net.sourceforge.czt.animation.eval.flatpred.FlatMult
accept(Visitor<R>) - Method in class net.sourceforge.czt.animation.eval.flatpred.FlatNegate
accept(Visitor<R>) - Method in class net.sourceforge.czt.animation.eval.flatpred.FlatNot
accept(Visitor<R>) - Method in class net.sourceforge.czt.animation.eval.flatpred.FlatOr
accept(Visitor<R>) - Method in class net.sourceforge.czt.animation.eval.flatpred.FlatPlus
accept(Visitor<R>) - Method in class net.sourceforge.czt.animation.eval.flatpred.FlatPowerSet
accept(Visitor<R>) - Method in class net.sourceforge.czt.animation.eval.flatpred.FlatPred: Calls visitor.visitPred (preferably) or visitor.visitTerm.
accept(Visitor<R>) - Method in class net.sourceforge.czt.animation.eval.flatpred.FlatProd
accept(Visitor<R>) - Method in class net.sourceforge.czt.animation.eval.flatpred.FlatRangeSet
accept(Visitor<R>) - Method in class net.sourceforge.czt.animation.eval.flatpred.FlatRelSet
accept(Visitor<R>) - Method in class net.sourceforge.czt.animation.eval.flatpred.FlatSetComp
accept(Visitor<R>) - Method in class net.sourceforge.czt.animation.eval.flatpred.FlatTuple
accept(Visitor<R>) - Method in class net.sourceforge.czt.animation.eval.flatpred.FlatTupleSel
accept(Visitor<R>) - Method in class net.sourceforge.czt.animation.eval.flatpred.FlatUnion
accept(Visitor<R>) - Method in class net.sourceforge.czt.animation.eval.result.DiscreteSet
accept(Visitor<R>) - Method in class net.sourceforge.czt.animation.eval.result.EvalSet
accept(Visitor<R>) - Method in class net.sourceforge.czt.animation.eval.result.PowerSet
accept(Visitor<R>) - Method in class net.sourceforge.czt.animation.eval.result.ProdSet
accept(Visitor<R>) - Method in class net.sourceforge.czt.animation.eval.result.RelSet
add(FlatPred) - Method in class net.sourceforge.czt.animation.eval.flatpred.FlatPredList: Add one FlatPred to the FlatPred list.
add(Mode) - Method in class net.sourceforge.czt.animation.eval.flatpred.ModeList: Add a mode to the end of the submodes list.
add(Expr) - Method in class net.sourceforge.czt.animation.eval.result.DiscreteSet
add(Expr) - Method in class net.sourceforge.czt.animation.eval.result.EvalSet: Throws UnsupportedOperationException.
addAlias(ZName, ZName) - Method in class net.sourceforge.czt.animation.eval.flatpred.Bounds: Add another alias for var.
addAll(Collection<? extends Expr>) - Method in class net.sourceforge.czt.animation.eval.result.DiscreteSet
addAll(Collection<? extends Expr>) - Method in class net.sourceforge.czt.animation.eval.result.EvalSet: Throws UnsupportedOperationException.
addConst(ZName, Expr) - Method in class net.sourceforge.czt.animation.eval.flatpred.Bounds: Add name=value to the bounds information.
addDecl(Decl) - Method in class net.sourceforge.czt.animation.eval.flatpred.FlatPredList: Adds one declaration to the FlatPred list predList_.
addDeductions(int) - Method in class net.sourceforge.czt.animation.eval.flatpred.Bounds: Increment the deductions counter by count.
AddElementIterator(Expr, List<Expr>, int, int) - Constructor for class net.sourceforge.czt.animation.eval.result.PowerSet.AddElementIterator: Creates a new iterator over the given list from start position to end position that adds the given expression to each of the element sets returned.
addExistsPred(Pred) - Method in class net.sourceforge.czt.animation.eval.flatpred.FlatPredList: This is similar to addPred, but it flattens out any existential quantifiers within pred.
addExistsSchText(ZSchText) - Method in class net.sourceforge.czt.animation.eval.flatpred.FlatPredList: Same as addSchText, but uses addExistsPred to add the predicate part.
addExpr(Expr) - Method in class net.sourceforge.czt.animation.eval.flatpred.FlatPredList: Adds one expression to the FlatPred list.
addLower(ZName, BigInteger) - Method in class net.sourceforge.czt.animation.eval.flatpred.Bounds: Adds another lower bound for var.
addPred(Pred) - Method in class net.sourceforge.czt.animation.eval.flatpred.FlatPredList: Adds one predicate to the FlatPred list.
addSchText(ZSchText) - Method in class net.sourceforge.czt.animation.eval.flatpred.FlatPredList: Adds a whole schema text to the FlatPred list.
addStructureArg(ZName, Object, ZName) - Method in class net.sourceforge.czt.animation.eval.flatpred.Bounds: Record the fact that var is a structure, and the name of one of its arguments (subcomponents).
addUpper(ZName, BigInteger) - Method in class net.sourceforge.czt.animation.eval.flatpred.Bounds: Adds another upper bound for var.
anyBoundsChanged(Collection<ZName>) - Method in class net.sourceforge.czt.animation.eval.flatpred.Bounds: True iff the bounds of any name in vars have changed.
args_ - Variable in class net.sourceforge.czt.animation.eval.flatpred.FlatPred: The list of arguments to this FlatPred.
args_ - Variable in class net.sourceforge.czt.animation.eval.flatpred.Mode: A copy of the arguments of this FlatPred.

B

binaryRelation(Expr) - Method in class net.sourceforge.czt.animation.eval.FlattenVisitor: Extracts the names of known binary relations.
body_ - Variable in class net.sourceforge.czt.animation.eval.flatpred.FlatForall
bodyBounds_ - Variable in class net.sourceforge.czt.animation.eval.flatpred.FlatForall
bodyMode_ - Variable in class net.sourceforge.czt.animation.eval.flatpred.FlatForall: The mode returned by body_
Bounds - Class in net.sourceforge.czt.animation.eval.flatpred: Maintains lower and upper bounds for integer variables.
Bounds(Bounds) - Constructor for class net.sourceforge.czt.animation.eval.flatpred.Bounds: Create a fresh Bounds object with no bounds values.
bounds_ - Variable in class net.sourceforge.czt.animation.eval.flatpred.FlatDiscreteSet: The most recent variable bounds information.
bounds_ - Variable in class net.sourceforge.czt.animation.eval.flatpred.FlatExists
bounds_ - Variable in class net.sourceforge.czt.animation.eval.flatpred.FlatMember: The most recent variable bounds information.
bounds_ - Variable in class net.sourceforge.czt.animation.eval.flatpred.FlatNot
bounds_ - Variable in class net.sourceforge.czt.animation.eval.flatpred.FlatProd: The most recent bounds information.
bounds_ - Variable in class net.sourceforge.czt.animation.eval.flatpred.FlatRangeSet: The most recent variable bounds information.
bounds_ - Variable in class net.sourceforge.czt.animation.eval.flatpred.FlatSetComp: The most recent variable bounds information.
bounds_ - Variable in class net.sourceforge.czt.animation.eval.flatpred.FlatUnion: The most recent variable bounds information.
bounds_ - Variable in class net.sourceforge.czt.animation.eval.result.SetComp: This stores general information about the bounds of the variables in this set comprehension.
boundsChanged() - Method in class net.sourceforge.czt.animation.eval.flatpred.Bounds: True iff some tighter bounds information has been deduced (or inherited from a parent) in this inference pass.
boundsChanged(ZName) - Method in class net.sourceforge.czt.animation.eval.flatpred.Bounds: True iff the bounds of key have changed in this pass.
boundVars() - Method in class net.sourceforge.czt.animation.eval.flatpred.FlatPredList: Returns the bound variables of this FlatPredList, ignoring any temporary variables.
boundVars_ - Variable in class net.sourceforge.czt.animation.eval.flatpred.FlatPredList: Records the bound variables in this list (Ignoring the tmp vars produced by Flatten).

C

charTuple(Factory, List<Decl>) - Static method in class net.sourceforge.czt.animation.eval.Flatten: Constructs a characteristic tuple.
chooseMode(Envir) - Method in class net.sourceforge.czt.animation.eval.flatpred.FlatBinding: Same modes as FlatTuple
chooseMode(Envir) - Method in class net.sourceforge.czt.animation.eval.flatpred.FlatBindSel: Chooses the mode in which the predicate can be evaluated.
chooseMode(Envir) - Method in class net.sourceforge.czt.animation.eval.flatpred.FlatCard: Chooses the mode in which the predicate can be evaluated.
chooseMode(Envir) - Method in class net.sourceforge.czt.animation.eval.flatpred.FlatConst: Chooses the mode in which the predicate can be evaluated.
chooseMode(Envir) - Method in class net.sourceforge.czt.animation.eval.flatpred.FlatDiscreteSet: Chooses the mode in which the predicate can be evaluated.
chooseMode(Envir) - Method in class net.sourceforge.czt.animation.eval.flatpred.FlatDiv: Chooses the mode in which the predicate can be evaluated.
chooseMode(Envir) - Method in class net.sourceforge.czt.animation.eval.flatpred.FlatEquals: Chooses the mode in which the predicate can be evaluated.
chooseMode(Envir) - Method in class net.sourceforge.czt.animation.eval.flatpred.FlatFalse: Chooses the mode in which the predicate can be evaluated.
chooseMode(Envir) - Method in class net.sourceforge.czt.animation.eval.flatpred.FlatForall: Chooses the mode in which the predicate can be evaluated.
chooseMode(Envir) - Method in class net.sourceforge.czt.animation.eval.flatpred.FlatGivenSet
chooseMode(Envir) - Method in class net.sourceforge.czt.animation.eval.flatpred.FlatIfThenElse: This requires pred_ and both of left_ and right_ expressions to have valid modes, because in general, we may have to evaluate both expressions.
chooseMode(Envir) - Method in class net.sourceforge.czt.animation.eval.flatpred.FlatLessThan: Chooses the mode in which the predicate can be evaluated.
chooseMode(Envir) - Method in class net.sourceforge.czt.animation.eval.flatpred.FlatLessThanEquals: Chooses the mode in which the predicate can be evaluated.
chooseMode(Envir) - Method in class net.sourceforge.czt.animation.eval.flatpred.FlatMember
chooseMode(Envir) - Method in class net.sourceforge.czt.animation.eval.flatpred.FlatMod: Chooses the mode in which the predicate can be evaluated.
chooseMode(Envir) - Method in class net.sourceforge.czt.animation.eval.flatpred.FlatMu: Allows functional modes (IIO and III).
chooseMode(Envir) - Method in class net.sourceforge.czt.animation.eval.flatpred.FlatMult: Chooses the mode in which the predicate can be evaluated.
chooseMode(Envir) - Method in class net.sourceforge.czt.animation.eval.flatpred.FlatNegate: Chooses the mode in which the predicate can be evaluated.
chooseMode(Envir) - Method in class net.sourceforge.czt.animation.eval.flatpred.FlatNot: Chooses the mode in which the predicate can be evaluated.
chooseMode(Envir) - Method in class net.sourceforge.czt.animation.eval.flatpred.FlatOr
chooseMode(Envir) - Method in class net.sourceforge.czt.animation.eval.flatpred.FlatPlus: Chooses the mode in which the predicate can be evaluated.
chooseMode(Envir) - Method in class net.sourceforge.czt.animation.eval.flatpred.FlatPowerSet: Chooses the mode in which the predicate can be evaluated.
chooseMode(Envir) - Method in class net.sourceforge.czt.animation.eval.flatpred.FlatPred: Choose the mode that this predicate could use in this environment.
chooseMode(Envir) - Method in class net.sourceforge.czt.animation.eval.flatpred.FlatPredList: Optimises the list and chooses a mode.
chooseMode(Envir) - Method in class net.sourceforge.czt.animation.eval.flatpred.FlatProd: TODO: could implement a reverse mode as well, but rarely useful.
chooseMode(Envir) - Method in class net.sourceforge.czt.animation.eval.flatpred.FlatRangeSet: Chooses the mode in which the predicate can be evaluated.
chooseMode(Envir) - Method in class net.sourceforge.czt.animation.eval.flatpred.FlatRelSet: Chooses the mode in which the predicate can be evaluated.
chooseMode(Envir) - Method in class net.sourceforge.czt.animation.eval.flatpred.FlatSetComp: Like other Flat*Set* objects, this acts as a function: the free variables of the set are the inputs and the resulting EvalSet object is the output.
chooseMode(Envir) - Method in class net.sourceforge.czt.animation.eval.flatpred.FlatTuple: Same modes as FlatBinding
chooseMode(Envir) - Method in class net.sourceforge.czt.animation.eval.flatpred.FlatTupleSel: Chooses the mode in which the predicate can be evaluated.
chooseMode(Envir) - Method in class net.sourceforge.czt.animation.eval.flatpred.FlatUnion
clear() - Method in class net.sourceforge.czt.animation.eval.result.EvalSet: Throws UnsupportedOperationException.
code_ - Variable in class net.sourceforge.czt.animation.eval.ZLiveResult
compare(Expr, Expr) - Method in class net.sourceforge.czt.animation.eval.ExprComparator
compare(ZName, ZName) - Method in class net.sourceforge.czt.animation.eval.ZNameComparator
compatible(Mode) - Method in class net.sourceforge.czt.animation.eval.flatpred.Mode: Two modes are compatible if they have the same outputs.
compile(ZLiveResult) - Method in class net.sourceforge.czt.animation.eval.ZLive: Processes and compiles a term into internal FlatPred form.
constant_ - Variable in class net.sourceforge.czt.animation.eval.flatpred.FlatConst
contains(Object) - Method in class net.sourceforge.czt.animation.eval.flatpred.FlatGivenSet
contains(Object) - Method in class net.sourceforge.czt.animation.eval.result.DefaultEvalSet: Tests for membership of the set.
contains(Object) - Method in class net.sourceforge.czt.animation.eval.result.DiscreteSet
contains(Object) - Method in class net.sourceforge.czt.animation.eval.result.FuzzySet
contains(Object) - Method in class net.sourceforge.czt.animation.eval.result.PowerSet
contains(Object) - Method in class net.sourceforge.czt.animation.eval.result.ProdSet
contains(Object) - Method in class net.sourceforge.czt.animation.eval.result.RangeSet
contains(Object) - Method in class net.sourceforge.czt.animation.eval.result.RelSet
contains(Object) - Method in class net.sourceforge.czt.animation.eval.result.SetComp
contains(Object) - Method in class net.sourceforge.czt.animation.eval.result.UnionSet
containsAll(Collection<?>) - Method in class net.sourceforge.czt.animation.eval.result.EvalSet
containsAll(Collection<?>) - Method in class net.sourceforge.czt.animation.eval.result.FuzzySet
contents_ - Variable in class net.sourceforge.czt.animation.eval.result.DiscreteSet: The elements of this set.
copy(Envir) - Static method in class net.sourceforge.czt.animation.eval.EnvirUtils
create() - Static method in class net.sourceforge.czt.animation.eval.ExprComparator
create(Object[]) - Method in class net.sourceforge.czt.animation.eval.flatpred.FlatConst
create(Object[]) - Method in class net.sourceforge.czt.animation.eval.flatpred.FlatFalse
create(Object[]) - Method in class net.sourceforge.czt.animation.eval.result.EvalResult: EvalResult provides a default implementation of create that throws UnsupportedOperationException.
create(Object[]) - Method in class net.sourceforge.czt.animation.eval.result.GivenValue: EvalResult provides a default implementation of create that throws UnsupportedOperationException.
create() - Static method in class net.sourceforge.czt.animation.eval.ZNameComparator
createBoundName() - Method in class net.sourceforge.czt.animation.eval.FlattenVisitor: Creates a fresh ZName and sets it (by default) to be a bound variable of the current FlatPredList.
createNewName() - Method in class net.sourceforge.czt.animation.eval.ZLive: Generates a fresh temporary name.
current_ - Variable in class net.sourceforge.czt.animation.eval.flatpred.FlatMember: This is for iterating through set_
currentMember() - Method in class net.sourceforge.czt.animation.eval.ZLiveResult
currentPosition() - Method in class net.sourceforge.czt.animation.eval.ZLiveResult: The position of the currentMember() in the current set.
currIter_ - Variable in class net.sourceforge.czt.animation.eval.ZLiveResult: An iterator through result_ (if it is an EvalSet)
currMember_ - Variable in class net.sourceforge.czt.animation.eval.ZLiveResult: The current member of currSet that has been shown.
currPosition_ - Variable in class net.sourceforge.czt.animation.eval.ZLiveResult: The position in currIter_ of currMember_ (0 ..

D

DEBUG - Static variable in class net.sourceforge.czt.animation.eval.TextUI: Turn this on to see stack traces upon errors.
declNames(List<Decl>) - Static method in class net.sourceforge.czt.animation.eval.Flatten: An auxiliary method for getting all the names in a list of Decl.
deductions_ - Variable in class net.sourceforge.czt.animation.eval.flatpred.Bounds: The number of bounds deductions in this scope (and child scopes).
deepCopy() - Method in class net.sourceforge.czt.animation.eval.Envir: Returns a copy of this environment, with no values shared.
DefaultEvalSet - Class in net.sourceforge.czt.animation.eval.result: 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.
DefaultEvalSet() - Constructor for class net.sourceforge.czt.animation.eval.result.DefaultEvalSet
DefaultEvalSet.SubsetIterator<E> - Class in net.sourceforge.czt.animation.eval.result: Filters the master iterator, returning only those elements that are members of the slave set.
definedSince(Envir) - Method in class net.sourceforge.czt.animation.eval.Envir: Return the set of newly defined names.
DiscreteSet - Class in net.sourceforge.czt.animation.eval.result: A simple implementation of {e1,e2,e3,...,eN}.
DiscreteSet() - Constructor for class net.sourceforge.czt.animation.eval.result.DiscreteSet
DiscreteSetVisitor<R> - Interface in net.sourceforge.czt.animation.eval.result: A DiscreteSet visitor.
disjoint(Envir, Envir) - Static method in class net.sourceforge.czt.animation.eval.EnvirUtils
doApplyRule(String) - Method in class net.sourceforge.czt.animation.eval.TextUI: Implements the 'apply rulename expr' command.
doConjectures() - Method in class net.sourceforge.czt.animation.eval.TextUI: Tries to prove all the conjectures in the current section.
doEvalExprPred(String, PrintWriter) - Method in class net.sourceforge.czt.animation.eval.TextUI
doLoadSpec(String) - Method in class net.sourceforge.czt.animation.eval.TextUI: Loads the given specification file into ZLive.
doMove(int) - Method in class net.sourceforge.czt.animation.eval.TextUI
doUnknownCmd(String, String) - Method in class net.sourceforge.czt.animation.eval.TextUI: This is called for commands that processCmd does not handle.

E

endAnalysis() - Method in class net.sourceforge.czt.animation.eval.flatpred.Bounds: This should be called at the end of each bounds inference pass.
env0_ - Variable in class net.sourceforge.czt.animation.eval.result.SetComp: This is the environment that defines all the free variables of this set comprehension.
Envir - Class in net.sourceforge.czt.animation.eval: An Environment is conceptually a mapping from variable names (ZName) to values (Expr).
Envir() - Constructor for class net.sourceforge.czt.animation.eval.Envir: Create an empty Envir
envir0_ - Variable in class net.sourceforge.czt.animation.eval.ZLiveResult
EnvirUtils - Class in net.sourceforge.czt.animation.eval
EQUAL - Static variable in class net.sourceforge.czt.animation.eval.ExprComparator
equals(Object) - Method in class net.sourceforge.czt.animation.eval.Envir: Two environments are equal if they contain the same names and values, in exactly the same order.
equals(Object) - Method in class net.sourceforge.czt.animation.eval.flatpred.FlatGivenSet: To given sets are equal iff they are the same set.
equals(Object) - Method in class net.sourceforge.czt.animation.eval.result.DefaultEvalSet: Tests for the equality of any two sets.
equals(Object) - Method in class net.sourceforge.czt.animation.eval.result.EvalSet: Tests for the equality of any two sets.
equals(Object) - Method in class net.sourceforge.czt.animation.eval.result.FuzzySet
equals(Object) - Method in class net.sourceforge.czt.animation.eval.result.GivenValue
equals(Object) - Method in class net.sourceforge.czt.animation.eval.result.RangeSet: This implementation of equals handles two RangeSets efficiently.
equalZ(Expr, Expr) - Static method in class net.sourceforge.czt.animation.eval.ExprComparator: A convenience method that checks equality according to Z semantics.
estSize() - Method in class net.sourceforge.czt.animation.eval.flatpred.FlatGivenSet: Estimate the size of the set in the default environment.
estSize(Envir) - Method in class net.sourceforge.czt.animation.eval.flatpred.FlatGivenSet: Estimate the size of the set in a given environment.
estSize(Envir) - Method in class net.sourceforge.czt.animation.eval.flatpred.FlatMember: Returns all known information about the maximum size of the set, for the given membership request.
estSize(Envir) - Method in class net.sourceforge.czt.animation.eval.flatpred.FlatUnion: Estimate the size of the set in a given environment.
estSize() - Method in class net.sourceforge.czt.animation.eval.result.DiscreteSet
estSize() - Method in class net.sourceforge.czt.animation.eval.result.EvalSet: Estimate the size of the set.
estSize() - Method in class net.sourceforge.czt.animation.eval.result.FuzzySet
estSize() - Method in class net.sourceforge.czt.animation.eval.result.RelSet
estSize() - Method in class net.sourceforge.czt.animation.eval.result.SetComp
estSize() - Method in class net.sourceforge.czt.animation.eval.result.UnionSet
estSize_ - Variable in class net.sourceforge.czt.animation.eval.result.FuzzySet
estSize_ - Variable in class net.sourceforge.czt.animation.eval.result.SetComp
estSubsetSize(Envir, ZName) - Method in class net.sourceforge.czt.animation.eval.flatpred.FlatGivenSet
estSubsetSize(Envir, ZName) - Method in class net.sourceforge.czt.animation.eval.flatpred.FlatUnion: Estimate the size of {x:this | x=elem} in a given environment.
estSubsetSize(Envir, ZName) - Method in class net.sourceforge.czt.animation.eval.result.DefaultEvalSet: Estimate the size of {x:this | x=elem} in a given environment.
estSubsetSize(Envir, ZName) - Method in class net.sourceforge.czt.animation.eval.result.EvalSet: Estimate the size of {x:this | x=elem} in a given environment.
etc() - Method in class net.sourceforge.czt.animation.eval.ResultTreeToZVisitor: Returns a name that represents an unknown number of elements.
EvalException - Exception in net.sourceforge.czt.animation.eval
EvalException() - Constructor for exception net.sourceforge.czt.animation.eval.EvalException: Constructs a new exception with null as its detail message.
EvalException(String) - Constructor for exception net.sourceforge.czt.animation.eval.EvalException: Constructs a new exception with the specified detail message.
EvalException(String, Term) - Constructor for exception net.sourceforge.czt.animation.eval.EvalException: Constructs a new exception with the specified detail message.
EvalException(String, Throwable) - Constructor for exception net.sourceforge.czt.animation.eval.EvalException: Constructs a new exception with the specified detail message and cause.
EvalException(String, Throwable, Term) - Constructor for exception net.sourceforge.czt.animation.eval.EvalException: Constructs a new exception with the specified detail message and cause.
EvalException(Throwable) - Constructor for exception net.sourceforge.czt.animation.eval.EvalException: Constructs a new exception with the specified cause and detail message.
evalExpr(Expr) - Method in class net.sourceforge.czt.animation.eval.ZLive: Evaluate an Expr.
evalMode_ - Variable in class net.sourceforge.czt.animation.eval.flatpred.FlatPred: The mode that will be used during evaluation.
evalPred(Pred) - Method in class net.sourceforge.czt.animation.eval.ZLive: Evaluate a Pred.
EvalResult - Class in net.sourceforge.czt.animation.eval.result: A superclass for most of the different kinds of result expressions generated by ZLive.
EvalResult() - Constructor for class net.sourceforge.czt.animation.eval.result.EvalResult
evalSchema(String, BindExpr) - Method in class net.sourceforge.czt.animation.eval.ZLive
EvalSet - Class in net.sourceforge.czt.animation.eval.result
EvalSet() - Constructor for class net.sourceforge.czt.animation.eval.result.EvalSet
EvalSet.SubsetIterator<E> - Class in net.sourceforge.czt.animation.eval.result: Filters the master iterator, returning only those elements that are members of the slave set.
EvalSetVisitor<R> - Interface in net.sourceforge.czt.animation.eval.result: An EvalSet visitor.
evalTerm(boolean, Term, Envir) - Method in class net.sourceforge.czt.animation.eval.ZLive: Evaluate an expression or predicate.
evaluate(ZLiveResult) - Method in class net.sourceforge.czt.animation.eval.ZLive: Evaluates a term that has already been preprocessed and compiled.
evaluateFully() - Method in class net.sourceforge.czt.animation.eval.result.DefaultEvalSet: This ensures that the set is completely evaluated and stored in the memberSet_ data structure.
expr_ - Variable in class net.sourceforge.czt.animation.eval.Envir
ExprComparator - Class in net.sourceforge.czt.animation.eval: A comparator for evaluated Z expressions.
exprs(Envir) - Static method in class net.sourceforge.czt.animation.eval.EnvirUtils
exprType(Object) - Static method in class net.sourceforge.czt.animation.eval.ExprComparator: Maps evaluated expressions into equivalence classes.

F

factory_ - Variable in class net.sourceforge.czt.animation.eval.flatpred.FlatBinding
factory_ - Variable in class net.sourceforge.czt.animation.eval.flatpred.FlatCard
factory_ - Variable in class net.sourceforge.czt.animation.eval.flatpred.FlatDiscreteSet
factory_ - Variable in class net.sourceforge.czt.animation.eval.flatpred.FlatRangeSet
factory_ - Variable in class net.sourceforge.czt.animation.eval.flatpred.FlatTuple
factory_ - Variable in class net.sourceforge.czt.animation.eval.result.RangeSet
findSetInfo(ZName, Envir) - Method in class net.sourceforge.czt.animation.eval.flatpred.FlatEquals: Tries to find approximate information about the given name.
findSets(Envir) - Method in class net.sourceforge.czt.animation.eval.flatpred.FlatProd: Helper method to search for all the base sets.
fixIds(Term) - Method in class net.sourceforge.czt.animation.eval.Preprocess: A temporary hack to fix up any incorrect ZName ids left/created by the typechecker.
FixIdVisitor() - Constructor for class net.sourceforge.czt.animation.eval.Preprocess.FixIdVisitor
FlatBinding - Class in net.sourceforge.czt.animation.eval.flatpred: Evaluates ZBinding terms.
FlatBinding(List<ZName>, List<ZName>, ZName) - Constructor for class net.sourceforge.czt.animation.eval.flatpred.FlatBinding: Constructs a FlatBinding FlatPred.
FlatBindingVisitor<R> - Interface in net.sourceforge.czt.animation.eval.flatvisitor
FlatBindSel - Class in net.sourceforge.czt.animation.eval.flatpred: FlatTupleSel implements the binding.n = result predicate.
FlatBindSel(ZName, ZName, ZName) - Constructor for class net.sourceforge.czt.animation.eval.flatpred.FlatBindSel
FlatBindSelVisitor<R> - Interface in net.sourceforge.czt.animation.eval.flatvisitor: A FlatBindSel visitor.
FlatCard - Class in net.sourceforge.czt.animation.eval.flatpred
FlatCard(ZName, ZName) - Constructor for class net.sourceforge.czt.animation.eval.flatpred.FlatCard
FlatCardVisitor<R> - Interface in net.sourceforge.czt.animation.eval.flatvisitor: A FlatCard visitor.
FlatConst - Class in net.sourceforge.czt.animation.eval.flatpred: FlatPlus implements the var = const predicate.
FlatConst(ZName, Expr) - Constructor for class net.sourceforge.czt.animation.eval.flatpred.FlatConst
FlatConstVisitor<R> - Interface in net.sourceforge.czt.animation.eval.flatvisitor: A FlatConst visitor.
FlatDiscreteSet - Class in net.sourceforge.czt.animation.eval.flatpred
FlatDiscreteSet(List<ZName>, ZName) - Constructor for class net.sourceforge.czt.animation.eval.flatpred.FlatDiscreteSet
FlatDiscreteSet(List<ZName>) - Constructor for class net.sourceforge.czt.animation.eval.flatpred.FlatDiscreteSet
FlatDiscreteSetVisitor<R> - Interface in net.sourceforge.czt.animation.eval.flatvisitor: A FlatDiscreteSet visitor.
FlatDiv - Class in net.sourceforge.czt.animation.eval.flatpred: FlatMult implements the a/b=c predicate.
FlatDiv(ZName, ZName, ZName) - Constructor for class net.sourceforge.czt.animation.eval.flatpred.FlatDiv
FlatDivVisitor<R> - Interface in net.sourceforge.czt.animation.eval.flatvisitor: A FlatDiv visitor.
FlatEquals - Class in net.sourceforge.czt.animation.eval.flatpred: FlatEquals implements the a = b predicate.
FlatEquals(ZName, ZName) - Constructor for class net.sourceforge.czt.animation.eval.flatpred.FlatEquals
FlatEqualsVisitor<R> - Interface in net.sourceforge.czt.animation.eval.flatvisitor: A FlatEquals visitor.
FlatEvalSet - Class in net.sourceforge.czt.animation.eval.flatpred
FlatEvalSet() - Constructor for class net.sourceforge.czt.animation.eval.flatpred.FlatEvalSet
FlatExists - Class in net.sourceforge.czt.animation.eval.flatpred: This implements the exists quantifier.
FlatExists(FlatPredList, FlatPredList) - Constructor for class net.sourceforge.czt.animation.eval.flatpred.FlatExists
FlatExistsVisitor<R> - Interface in net.sourceforge.czt.animation.eval.flatvisitor: A FlatExists visitor.
FlatFalse - Class in net.sourceforge.czt.animation.eval.flatpred: FlatFalse implements the false predicate, which causes all evaluations to fail.
FlatFalse() - Constructor for class net.sourceforge.czt.animation.eval.flatpred.FlatFalse
FlatFalseVisitor<R> - Interface in net.sourceforge.czt.animation.eval.flatvisitor: A FlatFalse visitor.
FlatForall - Class in net.sourceforge.czt.animation.eval.flatpred
FlatForall(FlatPredList, FlatPredList) - Constructor for class net.sourceforge.czt.animation.eval.flatpred.FlatForall
FlatForallVisitor<R> - Interface in net.sourceforge.czt.animation.eval.flatvisitor: A FlatForall visitor.
FlatGivenSet - Class in net.sourceforge.czt.animation.eval.flatpred: An extensible set of 'unknown' values (represented by strings).
FlatGivenSet(ZName, String, ZLive) - Constructor for class net.sourceforge.czt.animation.eval.flatpred.FlatGivenSet
FlatGivenSetVisitor<R> - Interface in net.sourceforge.czt.animation.eval.flatvisitor: A FlatGivenSet visitor.
FlatIfThenElse - Class in net.sourceforge.czt.animation.eval.flatpred: FlatIfThenElse(p, e1,n1, e2,n2, resultName) implements (p => n1=e1 and resultName=n1) and (not(p) => n2=e2 and resultName=n2) It requires all free vars of p, e1 and e2 to be ground.
FlatIfThenElse(FlatPredList, FlatPredList, ZName, FlatPredList, ZName, ZName) - Constructor for class net.sourceforge.czt.animation.eval.flatpred.FlatIfThenElse: Creates a new instance of FlatUnion.
FlatIfThenElseVisitor<R> - Interface in net.sourceforge.czt.animation.eval.flatvisitor: A FlatOr visitor.
FlatLessThan - Class in net.sourceforge.czt.animation.eval.flatpred: This implements the a < b predicate.
FlatLessThan(ZName, ZName) - Constructor for class net.sourceforge.czt.animation.eval.flatpred.FlatLessThan
FlatLessThanEquals - Class in net.sourceforge.czt.animation.eval.flatpred: FlatPlus implements the a <= b predicate.
FlatLessThanEquals(ZName, ZName) - Constructor for class net.sourceforge.czt.animation.eval.flatpred.FlatLessThanEquals
FlatLessThanEqualsVisitor<R> - Interface in net.sourceforge.czt.animation.eval.flatvisitor: A FlatLessThanEquals Visitor.
FlatLessThanVisitor<R> - Interface in net.sourceforge.czt.animation.eval.flatvisitor: A FlatLessThan visitor.
FlatMember - Class in net.sourceforge.czt.animation.eval.flatpred
FlatMember(ZName, ZName) - Constructor for class net.sourceforge.czt.animation.eval.flatpred.FlatMember: Membership of a set.
FlatMemberVisitor<R> - Interface in net.sourceforge.czt.animation.eval.flatvisitor: A FlatMember visitor.
FlatMod - Class in net.sourceforge.czt.animation.eval.flatpred: FlatMult implements the a/b=c predicate.
FlatMod(ZName, ZName, ZName) - Constructor for class net.sourceforge.czt.animation.eval.flatpred.FlatMod
FlatModVisitor<R> - Interface in net.sourceforge.czt.animation.eval.flatvisitor: A FlatMod visitor.
FlatMu - Class in net.sourceforge.czt.animation.eval.flatpred: This overrides the forall evaluation algorithm.
FlatMu(FlatPredList, ZName) - Constructor for class net.sourceforge.czt.animation.eval.flatpred.FlatMu
FlatMult - Class in net.sourceforge.czt.animation.eval.flatpred: FlatMult implements the a*b=c predicate.
FlatMult(ZName, ZName, ZName) - Constructor for class net.sourceforge.czt.animation.eval.flatpred.FlatMult
FlatMultVisitor<R> - Interface in net.sourceforge.czt.animation.eval.flatvisitor: A FlatMult visitor.
FlatMuVisitor<R> - Interface in net.sourceforge.czt.animation.eval.flatvisitor: A FlatMu visitor.
FlatNegate - Class in net.sourceforge.czt.animation.eval.flatpred: FlatNegate implements the -a = b predicate.
FlatNegate(ZName, ZName) - Constructor for class net.sourceforge.czt.animation.eval.flatpred.FlatNegate
FlatNegateVisitor<R> - Interface in net.sourceforge.czt.animation.eval.flatvisitor: A FlatNegate visitor.
FlatNot - Class in net.sourceforge.czt.animation.eval.flatpred
FlatNot(ZLive) - Constructor for class net.sourceforge.czt.animation.eval.flatpred.FlatNot
FlatNotVisitor<R> - Interface in net.sourceforge.czt.animation.eval.flatvisitor: A FlatNot visitor.
FlatOr - Class in net.sourceforge.czt.animation.eval.flatpred: FlatOr(p, q) implements p \lor q.
FlatOr(FlatPredList, FlatPredList) - Constructor for class net.sourceforge.czt.animation.eval.flatpred.FlatOr: Creates a new instance of FlatOr.
FlatOrVisitor<R> - Interface in net.sourceforge.czt.animation.eval.flatvisitor: A FlatOr visitor.
FlatPlus - Class in net.sourceforge.czt.animation.eval.flatpred: FlatPlus implements the a+b=c predicate.
FlatPlus(ZName, ZName, ZName) - Constructor for class net.sourceforge.czt.animation.eval.flatpred.FlatPlus
FlatPlusVisitor<R> - Interface in net.sourceforge.czt.animation.eval.flatvisitor: A FlatPlus visitor.
FlatPowerSet - Class in net.sourceforge.czt.animation.eval.flatpred
FlatPowerSet(ZName, ZName) - Constructor for class net.sourceforge.czt.animation.eval.flatpred.FlatPowerSet: Creates a FlatPowerSet object.
FlatPowerSetVisitor<R> - Interface in net.sourceforge.czt.animation.eval.flatvisitor: A FlatPowerSet visitor.
FlatPred - Class in net.sourceforge.czt.animation.eval.flatpred: FlatPred is the base class of the flattened predicates used in ZLive.
FlatPred() - Constructor for class net.sourceforge.czt.animation.eval.flatpred.FlatPred: Default constructor for subclasses to call.
FlatPredList - Class in net.sourceforge.czt.animation.eval.flatpred: Manages a list of FlatPred predicates.
FlatPredList(ZLive) - Constructor for class net.sourceforge.czt.animation.eval.flatpred.FlatPredList: Creates an empty FlatPred list.
FlatPredVisitor<R> - Interface in net.sourceforge.czt.animation.eval.flatvisitor: A FlatPred visitor.
FlatProd - Class in net.sourceforge.czt.animation.eval.flatpred: FlatProd([a,b,c...], s) implements a \cross b \cross c...
FlatProd(List<ZName>, ZName) - Constructor for class net.sourceforge.czt.animation.eval.flatpred.FlatProd: Creates a new instance of FlatUnion
FlatProdVisitor<R> - Interface in net.sourceforge.czt.animation.eval.flatvisitor
FlatRangeSet - Class in net.sourceforge.czt.animation.eval.flatpred
FlatRangeSet(ZName, ZName, ZName) - Constructor for class net.sourceforge.czt.animation.eval.flatpred.FlatRangeSet: Creates a FlatRangeSet object, with optional bounds.
FlatRangeSetVisitor<R> - Interface in net.sourceforge.czt.animation.eval.flatvisitor: A FlatRangeSet visitor.
FlatRelSet - Class in net.sourceforge.czt.animation.eval.flatpred
FlatRelSet(ZName, ZName, boolean, boolean, boolean, boolean, ZName) - Constructor for class net.sourceforge.czt.animation.eval.flatpred.FlatRelSet
FlatRelSetVisitor<R> - Interface in net.sourceforge.czt.animation.eval.flatvisitor: A FlatRelSet visitor.
FlatSetComp - Class in net.sourceforge.czt.animation.eval.flatpred
FlatSetComp(ZLive, ZSchText, Expr, ZName) - Constructor for class net.sourceforge.czt.animation.eval.flatpred.FlatSetComp: FlatSetComp(D,P,E,S) implements {D|P@E} = S.
FlatSetCompVisitor<R> - Interface in net.sourceforge.czt.animation.eval.flatvisitor: A FlatSetComp visitor.
Flatten - Class in net.sourceforge.czt.animation.eval: Flattens a Pred/Expr term into a list of FlatPred objects.
Flatten(ZLive) - Constructor for class net.sourceforge.czt.animation.eval.Flatten
flattenExpr(Expr, FlatPredList) - Method in class net.sourceforge.czt.animation.eval.Flatten: Flattens the toFlatten expression into a list of FlatPred predicates.
flattenExprList(List<Expr>) - Method in class net.sourceforge.czt.animation.eval.FlattenVisitor: An auxiliary method for visiting a list of Expr.
flattenPred(Pred, FlatPredList) - Method in class net.sourceforge.czt.animation.eval.Flatten: Flattens the toFlatten predicate into a list of FlatPred predicates.
FlattenVisitor - Class in net.sourceforge.czt.animation.eval: Flattens a Pred/Expr term into a list of FlatPred objects.
FlattenVisitor(ZLive, FlatPredList, DefinitionTable) - Constructor for class net.sourceforge.czt.animation.eval.FlattenVisitor
FlatTuple - Class in net.sourceforge.czt.animation.eval.flatpred
FlatTuple(List<ZName>, ZName) - Constructor for class net.sourceforge.czt.animation.eval.flatpred.FlatTuple
FlatTuple(List<ZName>) - Constructor for class net.sourceforge.czt.animation.eval.flatpred.FlatTuple
FlatTupleSel - Class in net.sourceforge.czt.animation.eval.flatpred: FlatTupleSel implements the tuple.i = result predicate.
FlatTupleSel(ZName, Integer, ZName) - Constructor for class net.sourceforge.czt.animation.eval.flatpred.FlatTupleSel
FlatTupleSelVisitor<R> - Interface in net.sourceforge.czt.animation.eval.flatvisitor: A FlatTupleSel visitor.
FlatTupleVisitor<R> - Interface in net.sourceforge.czt.animation.eval.flatvisitor: A FlatTuple visitor.
FlatUnion - Class in net.sourceforge.czt.animation.eval.flatpred: FlatUnion(a, b, r) implements a \cup b = s.
FlatUnion(ZName, ZName, ZName) - Constructor for class net.sourceforge.czt.animation.eval.flatpred.FlatUnion: Creates a new instance of FlatUnion
FlatUnionVisitor<R> - Interface in net.sourceforge.czt.animation.eval.flatvisitor
format(LogRecord) - Method in class net.sourceforge.czt.animation.eval.ZFormatter
freeVars() - Method in class net.sourceforge.czt.animation.eval.flatpred.FlatForall
freeVars() - Method in class net.sourceforge.czt.animation.eval.flatpred.FlatPred: Returns the free variables that appear in the predicate.
freeVars() - Method in class net.sourceforge.czt.animation.eval.flatpred.FlatPredList: Returns the free variables of all the FlatPreds.
freeVars_ - Variable in class net.sourceforge.czt.animation.eval.flatpred.FlatPred: Records the free variables used within this predicate.
funcName() - Method in class net.sourceforge.czt.animation.eval.flatpred.FlatRelSet: This returns the function operator, in email markup.
funcName(boolean, boolean, boolean, boolean) - Static method in class net.sourceforge.czt.animation.eval.result.RelSet: This returns the function operator that has the given properties.
funcName() - Method in class net.sourceforge.czt.animation.eval.result.RelSet: This returns the function operator, in email markup.
funcNameUnicode(boolean, boolean, boolean, boolean) - Static method in class net.sourceforge.czt.animation.eval.result.RelSet
funcNameUnicode() - Method in class net.sourceforge.czt.animation.eval.result.RelSet: This returns the function operator, in Unicode markup.
FuzzySet - Class in net.sourceforge.czt.animation.eval.result: A partially-known set.
FuzzySet(String, double, BigInteger) - Constructor for class net.sourceforge.czt.animation.eval.result.FuzzySet
FuzzySetException - Exception in net.sourceforge.czt.animation.eval.result: This exception is throw when precise information is requested from a 'fuzzy' set (partially unknown) too early.
FuzzySetException() - Constructor for exception net.sourceforge.czt.animation.eval.result.FuzzySetException
FuzzySetException(String) - Constructor for exception net.sourceforge.czt.animation.eval.result.FuzzySetException
FuzzySetException(Throwable) - Constructor for exception net.sourceforge.czt.animation.eval.result.FuzzySetException
FuzzySetException(String, Throwable) - Constructor for exception net.sourceforge.czt.animation.eval.result.FuzzySetException

G

get(int) - Method in class net.sourceforge.czt.animation.eval.flatpred.ModeList: Gets one of the submodes.
getAliases(ZName) - Method in class net.sourceforge.czt.animation.eval.flatpred.Bounds: Returns a list of all known aliases for var.
getAliasKeys() - Method in class net.sourceforge.czt.animation.eval.flatpred.Bounds: Returns the keys that have alias information.
getAnn(Class<T>) - Method in class net.sourceforge.czt.animation.eval.result.EvalSet: A copy of the TermImpl implementation.
getAnns() - Method in class net.sourceforge.czt.animation.eval.result.EvalSet: A copy of the TermImpl implementation.
getApproxSize() - Method in class net.sourceforge.czt.animation.eval.flatpred.FlatGivenSet
getArgs() - Method in class net.sourceforge.czt.animation.eval.flatpred.FlatPred: Get the list of variables that this predicate directly depends upon.
getArgs() - Method in class net.sourceforge.czt.animation.eval.flatpred.FlatPredList
getAverageClosedRange() - Static method in class net.sourceforge.czt.animation.eval.flatpred.FlatRangeSet
getBanner() - Static method in class net.sourceforge.czt.animation.eval.ZLive: Returns the name and current version of ZLive.
getBaseSet() - Method in class net.sourceforge.czt.animation.eval.result.PowerSet
getBaseSets() - Method in class net.sourceforge.czt.animation.eval.result.ProdSet
getBestAlias(ZName) - Method in class net.sourceforge.czt.animation.eval.flatpred.Bounds: Returns the ZName that has the bounds information attached to it.
getBound(int) - Method in class net.sourceforge.czt.animation.eval.flatpred.FlatRangeSet
getChildren() - Method in class net.sourceforge.czt.animation.eval.flatpred.FlatConst: getChildren returns { args[0], constant }
getChildren() - Method in class net.sourceforge.czt.animation.eval.flatpred.FlatFalse: getChildren returns { args[0], constant }
getChildren() - Method in class net.sourceforge.czt.animation.eval.result.EvalResult: EvalResult provides a default implementation of getChildren that returns an empty array of children.
getChildren() - Method in class net.sourceforge.czt.animation.eval.result.GivenValue: EvalResult provides a default implementation of getChildren that returns an empty array of children.
getCode() - Method in class net.sourceforge.czt.animation.eval.ZLiveResult
getCurrentSection() - Method in class net.sourceforge.czt.animation.eval.ZLive: Which section evaluations are being done in.
getDeductions() - Method in class net.sourceforge.czt.animation.eval.flatpred.Bounds: The number of bounds deductions in this scope (and child scopes).
getDom() - Method in class net.sourceforge.czt.animation.eval.result.RelSet
getEnvir() - Method in class net.sourceforge.czt.animation.eval.flatpred.FlatPred: Get the output environment of the evaluation.
getEnvir() - Method in class net.sourceforge.czt.animation.eval.flatpred.Mode: Get the environment that includes any output variables of FlatPred.
getEnvir0() - Method in class net.sourceforge.czt.animation.eval.flatpred.Mode: Get the input environment of this Mode.
getEnvir0() - Method in class net.sourceforge.czt.animation.eval.ZLiveResult
getEvalSet(ZName) - Method in class net.sourceforge.czt.animation.eval.flatpred.Bounds: Get the EvalSet for var, if known.
getEvalSetKeys() - Method in class net.sourceforge.czt.animation.eval.flatpred.Bounds: Returns the keys that have set information.
getEvalSetSize() - Static method in class net.sourceforge.czt.animation.eval.ResultTreeToZVisitor
getFactory() - Method in class net.sourceforge.czt.animation.eval.flatpred.FlatPredList
getFactory() - Method in class net.sourceforge.czt.animation.eval.ZLive: Returns the factory used for creating AST objects.
getFlatten() - Method in class net.sourceforge.czt.animation.eval.ZLive: Get a flatten visitor.
getGivenSetSize() - Method in class net.sourceforge.czt.animation.eval.ZLive: The maximum size of each given set.
getLastArg() - Method in class net.sourceforge.czt.animation.eval.flatpred.FlatPred: Get the variable at the end of getArgs().
getLower(ZName) - Method in class net.sourceforge.czt.animation.eval.flatpred.Bounds: Get the optional lower bound for var.
getLower() - Method in class net.sourceforge.czt.animation.eval.flatpred.FlatGivenSet: The lower bound on numeric elements, if any, else null.
getLower() - Method in class net.sourceforge.czt.animation.eval.flatpred.FlatUnion: The lower bound on numeric elements, if any, else null.
getLower() - Method in class net.sourceforge.czt.animation.eval.result.DefaultEvalSet: The lower bound on numeric elements, if any, else null.
getLower() - Method in class net.sourceforge.czt.animation.eval.result.DiscreteSet: Calculates minimum of all the elements.
getLower() - Method in class net.sourceforge.czt.animation.eval.result.EvalSet: The lower bound on numeric elements, if any, else null.
getLower() - Method in class net.sourceforge.czt.animation.eval.result.FuzzySet
getLower() - Method in class net.sourceforge.czt.animation.eval.result.RangeSet
getLower() - Method in class net.sourceforge.czt.animation.eval.result.UnionSet: Calculates minimum of all the elements.
getLowerKeys() - Method in class net.sourceforge.czt.animation.eval.flatpred.Bounds: Returns the keys that have lower bounds.
getMarkup() - Method in class net.sourceforge.czt.animation.eval.ZLive
getMode() - Method in class net.sourceforge.czt.animation.eval.flatpred.FlatPred: Get the mode that has been set for evaluation purposes.
getMode() - Method in class net.sourceforge.czt.animation.eval.ZLiveResult: The mode that was used to evaluate the term.
getName() - Method in class net.sourceforge.czt.animation.eval.flatpred.FlatGivenSet: The name of this given set.
getNumIterSize() - Static method in class net.sourceforge.czt.animation.eval.result.RangeSet
getOriginalTerm() - Method in class net.sourceforge.czt.animation.eval.ZLiveResult
getOutput() - Method in class net.sourceforge.czt.animation.eval.TextUI: The current output stream for messages and errors.
getOutputEnvir() - Method in class net.sourceforge.czt.animation.eval.flatpred.FlatPredList: The output environment of this FlatPred list.
getOutputs() - Method in class net.sourceforge.czt.animation.eval.flatpred.Mode: Gives the variables added to the environment by this mode.
getParent() - Method in class net.sourceforge.czt.animation.eval.flatpred.Mode: Returns the FlatPred that created this mode
getPreprocess() - Method in class net.sourceforge.czt.animation.eval.ZLive: Get the Preprocess object that is used to unfold terms before evaluation.
getRan() - Method in class net.sourceforge.czt.animation.eval.result.RelSet
getRange(ZName) - Method in class net.sourceforge.czt.animation.eval.flatpred.Bounds: Returns the lower and/or upper bounds of an integer variable (if known), or null otherwise.
getRelSet(LetExpr) - Static method in class net.sourceforge.czt.animation.eval.FlattenVisitor: Non-null result means this LET encodes a relation/function space.
getResult() - Method in class net.sourceforge.czt.animation.eval.ZLiveResult
getResultName() - Method in class net.sourceforge.czt.animation.eval.ZLiveResult
getSearchSize() - Method in class net.sourceforge.czt.animation.eval.ZLive: Set the maximum acceptable cost for evaluating each FlatPredList.
getSectionManager() - Method in class net.sourceforge.czt.animation.eval.ZLive: Get the current section manager.
getSectionName() - Method in class net.sourceforge.czt.animation.eval.ZLiveResult
getSolutions() - Method in class net.sourceforge.czt.animation.eval.flatpred.Mode: The estimated number of solutions that the FlatPred will produce.
getStructure(ZName) - Method in class net.sourceforge.czt.animation.eval.flatpred.Bounds: Returns information about the argument names of a structure such as a tuple or binding.
getStructureKeys() - Method in class net.sourceforge.czt.animation.eval.flatpred.Bounds: Returns the names that are known to be structures (tuples/bindings).
getTerm() - Method in exception net.sourceforge.czt.animation.eval.EvalException: The term (usually an Expr or Pred) related to the problem.
getUnfoldedTerm() - Method in class net.sourceforge.czt.animation.eval.ZLiveResult
getUpper(ZName) - Method in class net.sourceforge.czt.animation.eval.flatpred.Bounds: Get the optional upper bound for var.
getUpper() - Method in class net.sourceforge.czt.animation.eval.flatpred.FlatGivenSet: The upper bound on numeric elements, if any, else null.
getUpper() - Method in class net.sourceforge.czt.animation.eval.flatpred.FlatUnion: The upper bound on numeric elements, if any, else null.
getUpper() - Method in class net.sourceforge.czt.animation.eval.result.DefaultEvalSet: The upper bound on numeric elements, if any, else null.
getUpper() - Method in class net.sourceforge.czt.animation.eval.result.DiscreteSet: Calculates maximum of all the elements.
getUpper() - Method in class net.sourceforge.czt.animation.eval.result.EvalSet: The upper bound on numeric elements, if any, else null.
getUpper() - Method in class net.sourceforge.czt.animation.eval.result.FuzzySet
getUpper() - Method in class net.sourceforge.czt.animation.eval.result.RangeSet
getUpper() - Method in class net.sourceforge.czt.animation.eval.result.UnionSet: Calculates maximum of all the elements.
getUpperKeys() - Method in class net.sourceforge.czt.animation.eval.flatpred.Bounds: Returns the keys that have upper bounds.
getValue() - Method in class net.sourceforge.czt.animation.eval.result.GivenValue
getVersion() - Static method in class net.sourceforge.czt.animation.eval.ZLive: Returns the version number as a String, or "unknown" if an error occured when accessing the property containing the version information.
getZLive() - Method in class net.sourceforge.czt.animation.eval.TextUI: Get the instance of ZLive that is used for evaluation.
GivenValue - Class in net.sourceforge.czt.animation.eval.result: A member of a given set.
GivenValue(String) - Constructor for class net.sourceforge.czt.animation.eval.result.GivenValue
GREATERTHAN - Static variable in class net.sourceforge.czt.animation.eval.ExprComparator

H

hashCode() - Method in class net.sourceforge.czt.animation.eval.Envir
hashCode() - Method in class net.sourceforge.czt.animation.eval.result.DefaultEvalSet: This hashCode implementation returns a constant! The semantics of EvalSet is that its value depends only upon its members, but we do not want to have to evaluate all the members before calculating the hashCode, and it is not very useful (or desirable) to evaluate just a few members.
hashCode() - Method in class net.sourceforge.czt.animation.eval.result.EvalSet: This hashCode implementation returns a constant! The semantics of EvalSet is that its value depends only upon its members, but we do not want to have to evaluate all the members before calculating the hashCode, and it is not very useful (or desirable) to evaluate just a few members.
hashCode() - Method in class net.sourceforge.czt.animation.eval.result.GivenValue
hasNext() - Method in class net.sourceforge.czt.animation.eval.result.DefaultEvalSet.SubsetIterator
hasNext() - Method in class net.sourceforge.czt.animation.eval.result.EvalSet.SubsetIterator
hasNext() - Method in class net.sourceforge.czt.animation.eval.result.PowerSet.AddElementIterator
hasNext() - Method in class net.sourceforge.czt.animation.eval.result.PowerSet.PowerSetIterator
hasNext() - Method in class net.sourceforge.czt.animation.eval.result.ProdSet.ProdSetIterator
hide(ZName) - Method in class net.sourceforge.czt.animation.eval.Envir: Hides the given name, so the the environment *appears* not to include that name.

I

includesZero(ZName) - Method in class net.sourceforge.czt.animation.eval.flatpred.Bounds: True iff the set of possible values for name includes 0.
INDENT - Static variable in class net.sourceforge.czt.animation.eval.flatpred.FlatPred
indent(String) - Method in class net.sourceforge.czt.animation.eval.flatpred.FlatPred: Indents a multi-line string by replacing all newlines by a newline followed by two spaces.
INFER_PASSES - Static variable in class net.sourceforge.czt.animation.eval.ZLive: The maximum number of static inference passes done prior to mode checking and evaluation.
inferBounds(Bounds) - Method in class net.sourceforge.czt.animation.eval.flatpred.FlatBinding
inferBounds(Bounds) - Method in class net.sourceforge.czt.animation.eval.flatpred.FlatBindSel
inferBounds(Bounds) - Method in class net.sourceforge.czt.animation.eval.flatpred.FlatCard
inferBounds(Bounds) - Method in class net.sourceforge.czt.animation.eval.flatpred.FlatConst
inferBounds(Bounds) - Method in class net.sourceforge.czt.animation.eval.flatpred.FlatDiscreteSet: Saves the Bounds information for later use.
inferBounds(Bounds) - Method in class net.sourceforge.czt.animation.eval.flatpred.FlatEquals: Copies integer bounds from each arg to the other.
inferBounds(Bounds) - Method in class net.sourceforge.czt.animation.eval.flatpred.FlatExists: This allows bounds information to flow into the Exists but not out.
inferBounds(Bounds) - Method in class net.sourceforge.czt.animation.eval.flatpred.FlatForall: This lets bound information flow into the quantifier, but not out.
inferBounds(Bounds) - Method in class net.sourceforge.czt.animation.eval.flatpred.FlatIfThenElse: Bounds information flows into pred_, left_ and right_, but not out.
inferBounds(Bounds) - Method in class net.sourceforge.czt.animation.eval.flatpred.FlatLessThan
inferBounds(Bounds) - Method in class net.sourceforge.czt.animation.eval.flatpred.FlatLessThanEquals
inferBounds(Bounds) - Method in class net.sourceforge.czt.animation.eval.flatpred.FlatMember
inferBounds(Bounds) - Method in class net.sourceforge.czt.animation.eval.flatpred.FlatMu: This does local bounds inference.
inferBounds(Bounds) - Method in class net.sourceforge.czt.animation.eval.flatpred.FlatMult
inferBounds(Bounds) - Method in class net.sourceforge.czt.animation.eval.flatpred.FlatNegate
inferBounds(Bounds) - Method in class net.sourceforge.czt.animation.eval.flatpred.FlatNot: This let bounds information flow into the negation, but not out.
inferBounds(Bounds) - Method in class net.sourceforge.czt.animation.eval.flatpred.FlatOr: Bounds information can only flow into the disjuncts at the moment.
inferBounds(Bounds) - Method in class net.sourceforge.czt.animation.eval.flatpred.FlatPlus
inferBounds(Bounds) - Method in class net.sourceforge.czt.animation.eval.flatpred.FlatPowerSet: Adds this power set into the Bounds information.
inferBounds(Bounds) - Method in class net.sourceforge.czt.animation.eval.flatpred.FlatPred: Infer bounds for any integer variables.
inferBounds(Bounds) - Method in class net.sourceforge.czt.animation.eval.flatpred.FlatPredList: Infer bounds for any integer variables.
inferBounds(Bounds) - Method in class net.sourceforge.czt.animation.eval.flatpred.FlatProd: This calculates the maximum and estimated size of the cartesian product from the maximum and estimated sizes of the base sets.
inferBounds(Bounds) - Method in class net.sourceforge.czt.animation.eval.flatpred.FlatRangeSet: Saves the Bounds information for later use.
inferBounds(Bounds) - Method in class net.sourceforge.czt.animation.eval.flatpred.FlatRelSet: Adds this power set into the Bounds information.
inferBounds(Bounds) - Method in class net.sourceforge.czt.animation.eval.flatpred.FlatSetComp: This does local bounds inference.
inferBounds(Bounds) - Method in class net.sourceforge.czt.animation.eval.flatpred.FlatTuple
inferBounds(Bounds) - Method in class net.sourceforge.czt.animation.eval.flatpred.FlatTupleSel
inferBounds(Bounds) - Method in class net.sourceforge.czt.animation.eval.flatpred.FlatUnion: Numeric bounds information can flow both ways.
inferBoundsFixPoint(Bounds) - Method in class net.sourceforge.czt.animation.eval.flatpred.FlatPredList: Equivalent to inferBoundsFixPoint(bnds, 5).
inferBoundsFixPoint(Bounds, int) - Method in class net.sourceforge.czt.animation.eval.flatpred.FlatPredList: Infer bounds for any integer variables.
INFINITE_SIZE - Static variable in class net.sourceforge.czt.animation.eval.result.EvalSet: Default estimate for the approximate size of an infinite set.
integers - Static variable in class net.sourceforge.czt.animation.eval.result.RangeSet: The set of all integers.
intersect(RangeSet) - Method in class net.sourceforge.czt.animation.eval.result.RangeSet: Calculates the exact intersection of two ranges.
intersect(BigInteger, BigInteger) - Method in class net.sourceforge.czt.animation.eval.result.RangeSet: Calculates the exact intersection of this range with (lo..up).
isAliased(ZName, ZName) - Method in class net.sourceforge.czt.animation.eval.flatpred.Bounds: True iff var and other are known to be aliased.
isBetterLowerBound(BigInteger, BigInteger) - Static method in class net.sourceforge.czt.animation.eval.flatpred.Bounds: True iff lo1 is a better (tighter) lower bound than lo2.
isBetterUpperBound(BigInteger, BigInteger) - Static method in class net.sourceforge.czt.animation.eval.flatpred.Bounds: True iff lo1 is a better (tighter) upper bound than lo2.
isDefined(ZName) - Method in class net.sourceforge.czt.animation.eval.Envir: See if a name is defined in the Environment.
isDefinedSince(Envir, ZName) - Method in class net.sourceforge.czt.animation.eval.Envir: See if a name is recently defined in the Environment.
isEmpty() - Method in class net.sourceforge.czt.animation.eval.result.DefaultEvalSet
isEmpty() - Method in class net.sourceforge.czt.animation.eval.result.DiscreteSet
isEmpty() - Method in class net.sourceforge.czt.animation.eval.result.FuzzySet
isEmpty() - Method in class net.sourceforge.czt.animation.eval.result.PowerSet: Power sets are never empty because they always contain the empty set so this method always returns false.
isEmpty() - Method in class net.sourceforge.czt.animation.eval.result.RangeSet: true iff this range is empty.
isEmpty() - Method in class net.sourceforge.czt.animation.eval.result.RelSet
isExpr() - Method in class net.sourceforge.czt.animation.eval.ZLiveResult
isFinite() - Method in class net.sourceforge.czt.animation.eval.result.RangeSet: true iff there is a lower bound and an upper bound.
isFunction() - Method in class net.sourceforge.czt.animation.eval.result.RelSet
isGivenSet(RefExpr) - Method in class net.sourceforge.czt.animation.eval.FlattenVisitor: True if expr is a given set.
isGivenValue(RefExpr) - Method in class net.sourceforge.czt.animation.eval.FlattenVisitor: True if expr is a member of a given set.
isInjective() - Method in class net.sourceforge.czt.animation.eval.result.RelSet
isInput(ZName) - Method in class net.sourceforge.czt.animation.eval.flatpred.Mode: Is the given argument an input?
isInput(int) - Method in class net.sourceforge.czt.animation.eval.flatpred.Mode: A convenience version of isInput that takes the position of the variable in the FlatPred getArgs() list.
isNewName(ZName) - Static method in class net.sourceforge.czt.animation.eval.ZLive: Recognises the Names produced by createNewName.
isOnto() - Method in class net.sourceforge.czt.animation.eval.result.RelSet
isOutput(ZName) - Method in class net.sourceforge.czt.animation.eval.flatpred.Mode: Is the given argument an output?
isPred() - Method in class net.sourceforge.czt.animation.eval.ZLiveResult
isSet() - Method in class net.sourceforge.czt.animation.eval.ZLiveResult
isTotal() - Method in class net.sourceforge.czt.animation.eval.result.RelSet
iterator() - Method in class net.sourceforge.czt.animation.eval.flatpred.FlatPredList: An iterator over the FlatPreds in this list.
iterator() - Method in class net.sourceforge.czt.animation.eval.flatpred.ModeList: An iterator over the submodes list.
iterator() - Method in class net.sourceforge.czt.animation.eval.result.DefaultEvalSet: Enumerates the members of the set.
iterator() - Method in class net.sourceforge.czt.animation.eval.result.DiscreteSet
iterator() - Method in class net.sourceforge.czt.animation.eval.result.EvalSet: Iterate through all members of the set.
iterator() - Method in class net.sourceforge.czt.animation.eval.result.FuzzySet
iterator() - Method in class net.sourceforge.czt.animation.eval.result.RangeSet
iterator() - Method in class net.sourceforge.czt.animation.eval.result.RelSet

K

knownValues(Envir) - Method in class net.sourceforge.czt.animation.eval.flatpred.FlatMember: Returns the set of arguments that already have known values.

L

left_ - Variable in class net.sourceforge.czt.animation.eval.flatpred.FlatIfThenElse: The left-hand expr.
leftBounds_ - Variable in class net.sourceforge.czt.animation.eval.flatpred.FlatIfThenElse: Bounds information for the left_ expression.
leftBounds_ - Variable in class net.sourceforge.czt.animation.eval.flatpred.FlatOr: Bounds information for the left_ predicate.
leftResult_ - Variable in class net.sourceforge.czt.animation.eval.flatpred.FlatIfThenElse: The name that left_ binds its value to.
LESSTHAN - Static variable in class net.sourceforge.czt.animation.eval.ExprComparator
LimitString(BigInteger) - Static method in class net.sourceforge.czt.animation.eval.result.RangeSet: Returns a possibly-null limit as a string.
listContents_ - Variable in class net.sourceforge.czt.animation.eval.result.DiscreteSet: This is a copy of the elements of this set.
listIterator() - Method in class net.sourceforge.czt.animation.eval.result.DefaultEvalSet
listIterator() - Method in class net.sourceforge.czt.animation.eval.result.DiscreteSet
listIterator() - Method in class net.sourceforge.czt.animation.eval.result.EvalSet: Iterate forwards/backwards through all members of the set.
listIterator() - Method in class net.sourceforge.czt.animation.eval.result.FuzzySet
listIterator() - Method in class net.sourceforge.czt.animation.eval.result.RangeSet: Iterates from low to high if there is a lower bound, otherwise it iterates from high to low.
listIterator() - Method in class net.sourceforge.czt.animation.eval.result.RelSet
LOG - Static variable in class net.sourceforge.czt.animation.eval.flatpred.FlatForall
LOG - Static variable in class net.sourceforge.czt.animation.eval.flatpred.FlatMu
LOG - Static variable in class net.sourceforge.czt.animation.eval.flatpred.FlatPred
lookup(ZName) - Method in class net.sourceforge.czt.animation.eval.Envir: Lookup the value of a name in the Environment.
lower_ - Variable in class net.sourceforge.czt.animation.eval.result.FuzzySet
lower_ - Variable in class net.sourceforge.czt.animation.eval.result.RangeSet: The exact value of the lower bound, or null if not known.

M

main(String[]) - Static method in class net.sourceforge.czt.animation.eval.TextUI: main entry point, which runs ZLive with System.in and System.out.
main(String[]) - Static method in class net.sourceforge.czt.animation.eval.ZLive
mainLoop(BufferedReader) - Method in class net.sourceforge.czt.animation.eval.TextUI: The main read-process loop.
makeBound(ZName) - Method in class net.sourceforge.czt.animation.eval.flatpred.FlatPredList: Clients can use this to mark some names as being local to (bound by) this FlatPred list.
makeFree(ZName) - Method in class net.sourceforge.czt.animation.eval.flatpred.FlatPredList: Clients can use this to say that the given variable is actually a free variable of this FlatPredList.
matchIterator(Map<Object, Expr>) - Method in class net.sourceforge.czt.animation.eval.result.EvalSet: Iterate through the subset of this set that unifies with the given substructures in args.
matchIterator(Map<Object, Expr>) - Method in class net.sourceforge.czt.animation.eval.result.SetComp
maxNeg(BigInteger, BigInteger) - Static method in class net.sourceforge.czt.animation.eval.result.RangeSet: Calculates the maximum of two optional numbers, with null interpreted as being negative infinity.
maxPos(BigInteger, BigInteger) - Static method in class net.sourceforge.czt.animation.eval.result.RangeSet: Calculates the maximum of two optional numbers, with null interpreted as being positive infinity.
maxSize() - Method in class net.sourceforge.czt.animation.eval.flatpred.FlatGivenSet: The maximum size of the set in the default environment.
maxSize() - Method in class net.sourceforge.czt.animation.eval.result.DefaultEvalSet: The maximum size of the set in the default environment.
maxSize() - Method in class net.sourceforge.czt.animation.eval.result.DiscreteSet
maxSize() - Method in class net.sourceforge.czt.animation.eval.result.EvalSet: The maximum size of the set in the default environment.
maxSize() - Method in class net.sourceforge.czt.animation.eval.result.FuzzySet
maxSize() - Method in class net.sourceforge.czt.animation.eval.result.PowerSet: Returns the exact size of the set, or null if it is infinite.
maxSize() - Method in class net.sourceforge.czt.animation.eval.result.ProdSet: Returns the exact size of the set, or null if it is likely to be infinite.
maxSize() - Method in class net.sourceforge.czt.animation.eval.result.RangeSet: Returns the exact size of the set, or null if it is infinite.
maxSize() - Method in class net.sourceforge.czt.animation.eval.result.RelSet
maxSize() - Method in class net.sourceforge.czt.animation.eval.result.SetComp
maxSize() - Method in class net.sourceforge.czt.animation.eval.result.UnionSet
maxSize_ - Variable in class net.sourceforge.czt.animation.eval.result.FuzzySet
MAYBE_ONE_SOLUTION - Static variable in class net.sourceforge.czt.animation.eval.flatpred.Mode: A constant for getSolutions().
memberList_ - Variable in class net.sourceforge.czt.animation.eval.result.DefaultEvalSet: The list of known members so far.
merge(Envir, Envir) - Static method in class net.sourceforge.czt.animation.eval.EnvirUtils
minNeg(BigInteger, BigInteger) - Static method in class net.sourceforge.czt.animation.eval.result.RangeSet: Calculates the minimum of two optional numbers, with null interpreted as being negative infinity.
minPos(BigInteger, BigInteger) - Static method in class net.sourceforge.czt.animation.eval.result.RangeSet: Calculates the minimum of two optional numbers, with null interpreted as being positive infinity.
Mode - Class in net.sourceforge.czt.animation.eval.flatpred: A Mode object contains information about one way of executing a FlatPred.
Mode(FlatPred, Envir, List<ZName>, double) - Constructor for class net.sourceforge.czt.animation.eval.flatpred.Mode: Constructor for Mode objects.
mode_ - Variable in class net.sourceforge.czt.animation.eval.ZLiveResult
modeAllDefined(Envir) - Method in class net.sourceforge.czt.animation.eval.flatpred.FlatPred: A default implementation of chooseMode.
modeCollection(Envir) - Method in class net.sourceforge.czt.animation.eval.flatpred.FlatPred: A default implementation of chooseMode.
modeFunction(Envir) - Method in class net.sourceforge.czt.animation.eval.flatpred.FlatPred: A default implementation of chooseMode.
ModeList - Class in net.sourceforge.czt.animation.eval.flatpred: A subclass of Mode that records modes for compound structures.
ModeList(FlatPred, Envir, Envir, List<ZName>, double, List<Mode>) - Constructor for class net.sourceforge.czt.animation.eval.flatpred.ModeList: Constructor for ModeList objects.
ModeList(Mode) - Constructor for class net.sourceforge.czt.animation.eval.flatpred.ModeList: A copy constructor.
modeOneOutput(Envir) - Method in class net.sourceforge.czt.animation.eval.flatpred.FlatPred: A default implementation of chooseMode.
MoveException(String) - Constructor for exception net.sourceforge.czt.animation.eval.ZLiveResult.MoveException
moveTo(int) - Method in class net.sourceforge.czt.animation.eval.ZLiveResult: Tries to move to member number 'position' in currSet.

N

name_ - Variable in class net.sourceforge.czt.animation.eval.Envir
name_ - Variable in class net.sourceforge.czt.animation.eval.result.FuzzySet
name_ - Variable in class net.sourceforge.czt.animation.eval.result.RangeSet: The name of this RangeSet ("" if not known)
names(Envir) - Static method in class net.sourceforge.czt.animation.eval.EnvirUtils
net.sourceforge.czt.animation.eval - package net.sourceforge.czt.animation.eval: CZT ZLive Animator
net.sourceforge.czt.animation.eval.flatpred - package net.sourceforge.czt.animation.eval.flatpred
net.sourceforge.czt.animation.eval.flatvisitor - package net.sourceforge.czt.animation.eval.flatvisitor
net.sourceforge.czt.animation.eval.result - package net.sourceforge.czt.animation.eval.result
next - Variable in class net.sourceforge.czt.animation.eval.flatpred.FlatLessThan
next - Variable in class net.sourceforge.czt.animation.eval.flatpred.FlatLessThanEquals
next() - Method in class net.sourceforge.czt.animation.eval.result.DefaultEvalSet.SubsetIterator
next() - Method in class net.sourceforge.czt.animation.eval.result.EvalSet.SubsetIterator
next() - Method in class net.sourceforge.czt.animation.eval.result.PowerSet.AddElementIterator: Returns a DiscreteSet containing the expression given in the constructor and all the elements of the current list element.
next() - Method in class net.sourceforge.czt.animation.eval.result.PowerSet.PowerSetIterator
next() - Method in class net.sourceforge.czt.animation.eval.result.ProdSet.ProdSetIterator
nextEnv - Variable in class net.sourceforge.czt.animation.eval.Envir
nextEvaluation() - Method in class net.sourceforge.czt.animation.eval.flatpred.FlatBinding
nextEvaluation() - Method in class net.sourceforge.czt.animation.eval.flatpred.FlatBindSel: Does the actual evaluation
nextEvaluation() - Method in class net.sourceforge.czt.animation.eval.flatpred.FlatCard: Does the actual evaluation
nextEvaluation() - Method in class net.sourceforge.czt.animation.eval.flatpred.FlatConst: Does the actual evaluation
nextEvaluation() - Method in class net.sourceforge.czt.animation.eval.flatpred.FlatDiscreteSet: Does the actual evaluation.
nextEvaluation() - Method in class net.sourceforge.czt.animation.eval.flatpred.FlatDiv: Does the actual evaluation
nextEvaluation() - Method in class net.sourceforge.czt.animation.eval.flatpred.FlatEquals: Does the actual evaluation
nextEvaluation() - Method in class net.sourceforge.czt.animation.eval.flatpred.FlatExists
nextEvaluation() - Method in class net.sourceforge.czt.animation.eval.flatpred.FlatFalse: Does the actual evaluation
nextEvaluation() - Method in class net.sourceforge.czt.animation.eval.flatpred.FlatForall
nextEvaluation() - Method in class net.sourceforge.czt.animation.eval.flatpred.FlatGivenSet
nextEvaluation() - Method in class net.sourceforge.czt.animation.eval.flatpred.FlatIfThenElse
nextEvaluation() - Method in class net.sourceforge.czt.animation.eval.flatpred.FlatLessThan: Does the actual evaluation
nextEvaluation() - Method in class net.sourceforge.czt.animation.eval.flatpred.FlatLessThanEquals: Does the actual evaluation
nextEvaluation() - Method in class net.sourceforge.czt.animation.eval.flatpred.FlatMember
nextEvaluation() - Method in class net.sourceforge.czt.animation.eval.flatpred.FlatMod: Does the actual evaluation
nextEvaluation() - Method in class net.sourceforge.czt.animation.eval.flatpred.FlatMu: Iterates through all solutions to the schema text and the expression, checks that they are all equal, then returns that value.
nextEvaluation() - Method in class net.sourceforge.czt.animation.eval.flatpred.FlatMult: Does the actual evaluation
nextEvaluation() - Method in class net.sourceforge.czt.animation.eval.flatpred.FlatNegate: Does the actual evaluation
nextEvaluation() - Method in class net.sourceforge.czt.animation.eval.flatpred.FlatNot: Does the actual evaluation
nextEvaluation() - Method in class net.sourceforge.czt.animation.eval.flatpred.FlatOr
nextEvaluation() - Method in class net.sourceforge.czt.animation.eval.flatpred.FlatPlus: Does the actual evaluation
nextEvaluation() - Method in class net.sourceforge.czt.animation.eval.flatpred.FlatPowerSet: Does the actual evaluation
nextEvaluation() - Method in class net.sourceforge.czt.animation.eval.flatpred.FlatPred: Generates the next solution that satisfies this predicate.
nextEvaluation() - Method in class net.sourceforge.czt.animation.eval.flatpred.FlatPredList: Returns the next solution from this list of FlatPreds.
nextEvaluation() - Method in class net.sourceforge.czt.animation.eval.flatpred.FlatProd
nextEvaluation() - Method in class net.sourceforge.czt.animation.eval.flatpred.FlatRangeSet: Does the actual evaluation
nextEvaluation() - Method in class net.sourceforge.czt.animation.eval.flatpred.FlatRelSet: Does the actual evaluation
nextEvaluation() - Method in class net.sourceforge.czt.animation.eval.flatpred.FlatSetComp: Does the actual evaluation.
nextEvaluation() - Method in class net.sourceforge.czt.animation.eval.flatpred.FlatTuple: Does the actual evaluation
nextEvaluation() - Method in class net.sourceforge.czt.animation.eval.flatpred.FlatTupleSel: Does the actual evaluation
nextEvaluation() - Method in class net.sourceforge.czt.animation.eval.flatpred.FlatUnion
nextMember() - Method in class net.sourceforge.czt.animation.eval.flatpred.FlatGivenSet
nextMember() - Method in class net.sourceforge.czt.animation.eval.result.DefaultEvalSet: Returns the next expression in the set.
nextMember() - Method in class net.sourceforge.czt.animation.eval.result.PowerSet
nextMember() - Method in class net.sourceforge.czt.animation.eval.result.ProdSet
nextMember() - Method in class net.sourceforge.czt.animation.eval.result.SetComp
nextMember() - Method in class net.sourceforge.czt.animation.eval.result.UnionSet
notYet(Term) - Method in class net.sourceforge.czt.animation.eval.FlattenVisitor: Throws a 'not yet implemented' exception.
notYet(Term, String) - Method in class net.sourceforge.czt.animation.eval.FlattenVisitor: Throws a 'not yet implemented' exception.
numOutputs() - Method in class net.sourceforge.czt.animation.eval.flatpred.Mode: Gives the number of output variables.

O

ONE_SOLUTION - Static variable in class net.sourceforge.czt.animation.eval.flatpred.Mode: A constant for getSolutions().
optimize_ - Static variable in class net.sourceforge.czt.animation.eval.flatpred.FlatPredList: Evaluation is left-to-right if this is false, or smallest-mode-first if it is true.
original_ - Variable in class net.sourceforge.czt.animation.eval.ZLiveResult
output_ - Variable in class net.sourceforge.czt.animation.eval.TextUI: The current output stream
outputEnvir_ - Variable in class net.sourceforge.czt.animation.eval.result.SetComp: The generated environment that contains the output values.
outputs_ - Variable in class net.sourceforge.czt.animation.eval.flatpred.FlatOr: The variables that are created by *both* sides.
outputs_ - Variable in class net.sourceforge.czt.animation.eval.flatpred.Mode: The number of output variables.

P

pairToString(StringBuffer) - Method in class net.sourceforge.czt.animation.eval.Envir
parent_ - Variable in class net.sourceforge.czt.animation.eval.flatpred.Bounds
parent_ - Variable in class net.sourceforge.czt.animation.eval.flatpred.Mode
parseExpr(String, PrintWriter) - Method in class net.sourceforge.czt.animation.eval.TextUI: Same as parseTerm, but insists on the result being an Expr.
parseTerm(String, PrintWriter) - Method in class net.sourceforge.czt.animation.eval.TextUI: Parses and typechecks the string args into a Pred or an Expr.
plus(ZName, Expr) - Method in class net.sourceforge.czt.animation.eval.Envir: Create a new Envir which equals this one, plus an extra name,value pair.
plusAll(BindExpr) - Method in class net.sourceforge.czt.animation.eval.Envir: Creates an environment which extends this one by adding all the name==expr pairs in binding.
postEnvir_ - Variable in class net.sourceforge.czt.animation.eval.flatpred.Mode: The environment after executing the FlatPred.
PowerSet - Class in net.sourceforge.czt.animation.eval.result: A power set with lazy evaluation of its elements.
PowerSet(EvalSet) - Constructor for class net.sourceforge.czt.animation.eval.result.PowerSet: Creates a new power set of the given base set.
PowerSet.AddElementIterator - Class in net.sourceforge.czt.animation.eval.result: An iterator over a list of sets that adds a given expression to each of the element sets before returning.
PowerSet.PowerSetIterator - Class in net.sourceforge.czt.animation.eval.result: An iterator over the elements of a non-empty power set of a given base set.
PowerSetIterator(Iterator<Expr>) - Constructor for class net.sourceforge.czt.animation.eval.result.PowerSet.PowerSetIterator
PowerSetVisitor<R> - Interface in net.sourceforge.czt.animation.eval.result: A PowerSet visitor.
pred_ - Variable in class net.sourceforge.czt.animation.eval.flatpred.FlatIfThenElse: The predicate that controls the choice.
predlist_ - Variable in class net.sourceforge.czt.animation.eval.flatpred.FlatPredList: This stores the list of FlatPreds used in the current evaluation.
predlist_ - Variable in class net.sourceforge.czt.animation.eval.ZLive: Stores the code used in the most recent evaluation.
preds_ - Variable in class net.sourceforge.czt.animation.eval.result.SetComp: This FlatPredList is used to evaluate ALL members of the set.
predsAll_ - Variable in class net.sourceforge.czt.animation.eval.flatpred.FlatSetComp: This FlatPredList is used to evaluate ALL members of the set.
preEnvir_ - Variable in class net.sourceforge.czt.animation.eval.flatpred.Mode: The environment before executing the FlatPred.
Preprocess - Class in net.sourceforge.czt.animation.eval: Preprocesses a term to get it ready for evaluation.
Preprocess(SectionManager) - Constructor for class net.sourceforge.czt.animation.eval.Preprocess: Create a term preprocessor that will apply a set of rules (see setRules) to a given term.
preprocess(String, Term) - Method in class net.sourceforge.czt.animation.eval.Preprocess: Rewrites the given term by firstly unfolding VarDecls with multiple variables (x,y:T), then appling all the rewrite rules of this Preprocess object to that term.
Preprocess.FixIdVisitor - Class in net.sourceforge.czt.animation.eval: A temporary hack to fix up any incorrect ZName ids left/created by the typechecker.
printArg(int) - Method in class net.sourceforge.czt.animation.eval.flatpred.FlatPred: Pretty-prints the name of the i'th argument, via nameString.
printBinOp(String) - Method in class net.sourceforge.czt.animation.eval.flatpred.FlatPred: A toString method for binary operators.
printCode(FlatPredList, PrintWriter) - Method in class net.sourceforge.czt.animation.eval.ZLive: Prints the given list of FlatPreds.
printer_ - Static variable in class net.sourceforge.czt.animation.eval.flatpred.FlatPred: A non-unicode print visitor used for debug and toString messages.
printHelp(PrintWriter) - Method in class net.sourceforge.czt.animation.eval.TextUI: Prints the ZLive help/usage message
printLastArg() - Method in class net.sourceforge.czt.animation.eval.flatpred.FlatPred: Pretty-prints getLastArg()
printMap(Map<ZName, V>) - Static method in class net.sourceforge.czt.animation.eval.flatpred.Bounds: A alternative version of Map<ZName,???>.toString() that prints the names in a non-unicode way.
printName(ZName) - Static method in class net.sourceforge.czt.animation.eval.flatpred.FlatPred: Convenience method to convert a ZName into a string.
printQuant(String, String, String, String) - Method in class net.sourceforge.czt.animation.eval.flatpred.FlatPred
printSettings(PrintWriter) - Method in class net.sourceforge.czt.animation.eval.TextUI: Prints the current values of all the ZLive settings.
printSettingsHelp(PrintWriter) - Method in class net.sourceforge.czt.animation.eval.TextUI: Prints a help message about all the settings.
printTerm(Term, Markup) - Method in class net.sourceforge.czt.animation.eval.TextUI
printTerm(PrintStream, Term) - Method in class net.sourceforge.czt.animation.eval.ZLive: Print any term (evaluated or not), using the current markup.
printTerm(PrintWriter, Term) - Method in class net.sourceforge.czt.animation.eval.ZLive: Print any term (evaluated or not), using the current markup.
printTerm(PrintWriter, Term, Markup) - Method in class net.sourceforge.czt.animation.eval.ZLive: Write an evaluated term.
printTypes(String) - Method in class net.sourceforge.czt.animation.eval.TextUI: Prints the names and types of the definitions in the given section.
problem_ - Variable in exception net.sourceforge.czt.animation.eval.EvalException: The optional term (may be null) related to the problem.
processCmd(String, String) - Method in class net.sourceforge.czt.animation.eval.TextUI: Process one input command.
ProdSet - Class in net.sourceforge.czt.animation.eval.result: A simple implementation of a cartesian product set.
ProdSet(List<EvalSet>) - Constructor for class net.sourceforge.czt.animation.eval.result.ProdSet
ProdSet.ProdSetIterator - Class in net.sourceforge.czt.animation.eval.result
ProdSetIterator() - Constructor for class net.sourceforge.czt.animation.eval.result.ProdSet.ProdSetIterator
ProdSetVisitor<R> - Interface in net.sourceforge.czt.animation.eval.result: A ProdSet visitor.

R

range(Envir) - Method in class net.sourceforge.czt.animation.eval.flatpred.FlatMember: Returns all known information about the range of integer members, if this set happens to contain integers.
RangeSet - Class in net.sourceforge.czt.animation.eval.result: A simple implementation of lo..hi.
RangeSet(BigInteger, BigInteger) - Constructor for class net.sourceforge.czt.animation.eval.result.RangeSet
RangeSet(BigInteger, BigInteger, String) - Constructor for class net.sourceforge.czt.animation.eval.result.RangeSet
RelSet - Class in net.sourceforge.czt.animation.eval.result: A relation or function space, from_ <--> to_.
RelSet(Expr, Expr, boolean, boolean, boolean, boolean) - Constructor for class net.sourceforge.czt.animation.eval.result.RelSet: Creates a new power set of the given base set.
RelSetVisitor<R> - Interface in net.sourceforge.czt.animation.eval.result: A RelSet visitor.
remove() - Method in class net.sourceforge.czt.animation.eval.result.DefaultEvalSet.SubsetIterator
remove(Object) - Method in class net.sourceforge.czt.animation.eval.result.EvalSet: Throws UnsupportedOperationException.
remove() - Method in class net.sourceforge.czt.animation.eval.result.EvalSet.SubsetIterator
remove() - Method in class net.sourceforge.czt.animation.eval.result.PowerSet.AddElementIterator: Not supported by this iterator so throws an UnsupportedOperationException when called.
remove() - Method in class net.sourceforge.czt.animation.eval.result.PowerSet.PowerSetIterator: Not supported by this iterator so throws an UnsupportedOperationException when called.
removeAll(Collection<?>) - Method in class net.sourceforge.czt.animation.eval.result.EvalSet: Throws UnsupportedOperationException.
reset() - Method in class net.sourceforge.czt.animation.eval.ZLive: Reset the section manager that will be used during evaluation.
resetNewNames() - Method in class net.sourceforge.czt.animation.eval.ZLive: This can be called to reset the new name counter to 0.
resetResult() - Method in class net.sourceforge.czt.animation.eval.result.DefaultEvalSet: This resets any cached results.
resetResult() - Method in class net.sourceforge.czt.animation.eval.result.PowerSet
resetResult() - Method in class net.sourceforge.czt.animation.eval.result.ProdSet
result_ - Variable in class net.sourceforge.czt.animation.eval.ZLiveResult
resultName_ - Variable in class net.sourceforge.czt.animation.eval.flatpred.FlatMu
resultName_ - Variable in class net.sourceforge.czt.animation.eval.flatpred.FlatSetComp: The fresh ZName which will be bound to a member of the set.
resultName_ - Variable in class net.sourceforge.czt.animation.eval.result.SetComp: The fresh ZName which will be bound to a member of the set.
resultName_ - Variable in class net.sourceforge.czt.animation.eval.ZLiveResult
ResultTreeToZVisitor - Class in net.sourceforge.czt.animation.eval: This class converts ZLive-specific terms into standard Z AST nodes.
ResultTreeToZVisitor() - Constructor for class net.sourceforge.czt.animation.eval.ResultTreeToZVisitor
retainAll(Collection<?>) - Method in class net.sourceforge.czt.animation.eval.result.EvalSet: Throws UnsupportedOperationException.
right_ - Variable in class net.sourceforge.czt.animation.eval.flatpred.FlatIfThenElse: The right-hand expr, once known.
rightBounds_ - Variable in class net.sourceforge.czt.animation.eval.flatpred.FlatIfThenElse: Bounds information for the right_ expression.
rightBounds_ - Variable in class net.sourceforge.czt.animation.eval.flatpred.FlatOr: Bounds information for the right_ predicate.
rightResult_ - Variable in class net.sourceforge.czt.animation.eval.flatpred.FlatIfThenElse: The name that right_ binds its value to.

S

sameAs(Envir, Envir) - Static method in class net.sourceforge.czt.animation.eval.EnvirUtils
sameName(ZName, ZName) - Static method in class net.sourceforge.czt.animation.eval.Envir
schBounds_ - Variable in class net.sourceforge.czt.animation.eval.flatpred.FlatForall
schBounds_ - Variable in class net.sourceforge.czt.animation.eval.flatpred.FlatMu
schemaExpr(String) - Method in class net.sourceforge.czt.animation.eval.ZLive: Converts a schema name into an expression that can be evaluated.
schMode_ - Variable in class net.sourceforge.czt.animation.eval.flatpred.FlatForall: The mode returned by schText_
schText_ - Variable in class net.sourceforge.czt.animation.eval.flatpred.FlatForall
schText_ - Variable in class net.sourceforge.czt.animation.eval.flatpred.FlatMu
section_ - Variable in class net.sourceforge.czt.animation.eval.ZLiveResult
sectman_ - Variable in class net.sourceforge.czt.animation.eval.ZLive
set_ - Variable in class net.sourceforge.czt.animation.eval.flatpred.FlatMember: This is non_null during evaluation
setAverageClosedRange(int) - Static method in class net.sourceforge.czt.animation.eval.flatpred.FlatRangeSet: Sets the average expected size of a closed range a..b.
setAverageClosedRange(String) - Static method in class net.sourceforge.czt.animation.eval.flatpred.FlatRangeSet: A convenience method for setting the average expected size of a closed range a..b.
setCode(FlatPredList, ZName) - Method in class net.sourceforge.czt.animation.eval.ZLiveResult: Record the result of compiling the flattened term.
SetComp - Class in net.sourceforge.czt.animation.eval.result: A simple implementation of a set comprehension.
SetComp(FlatPredList, ZName, Envir, Bounds) - Constructor for class net.sourceforge.czt.animation.eval.result.SetComp: The resultName must be for predsAll.
setCurrentSection(String) - Method in class net.sourceforge.czt.animation.eval.ZLive: Sets the current section to the one whose name is sectName.
setEnvir0(Envir) - Method in class net.sourceforge.czt.animation.eval.ZLiveResult: Record the initial environment in which the term is evaluated.
setEvalSet(ZName, EvalSet) - Method in class net.sourceforge.czt.animation.eval.flatpred.Bounds: Set the EvalSet for var.
setEvalSetSize(int) - Static method in class net.sourceforge.czt.animation.eval.ResultTreeToZVisitor: Set the maximum number of set elements that the printer will try to display.
setEvalSetSize(String) - Static method in class net.sourceforge.czt.animation.eval.ResultTreeToZVisitor: A convenience version of setEvalSetSize that takes a string parameter.
setFactory(Factory) - Method in class net.sourceforge.czt.animation.eval.ZLive: Sets the AST factory used for creating AST objects.
setGivenSetSize(String) - Method in class net.sourceforge.czt.animation.eval.ZLive: Set the maximum size of all given sets.
setLower(BigInteger) - Method in class net.sourceforge.czt.animation.eval.result.FuzzySet: Set the optional lower bound.
setMarkup(Markup) - Method in class net.sourceforge.czt.animation.eval.ZLive: Sets the markup that will be used to parse and print terms.
setMarkup(String) - Method in class net.sourceforge.czt.animation.eval.ZLive
setMode(Mode) - Method in class net.sourceforge.czt.animation.eval.flatpred.FlatForall
setMode(Mode) - Method in class net.sourceforge.czt.animation.eval.flatpred.FlatIfThenElse: Set the mode that will be used to evaluate this list.
setMode(Mode) - Method in class net.sourceforge.czt.animation.eval.flatpred.FlatMu
setMode(Mode) - Method in class net.sourceforge.czt.animation.eval.flatpred.FlatOr: Set the mode that will be used to evaluate this list.
setMode(Mode) - Method in class net.sourceforge.czt.animation.eval.flatpred.FlatPred: Set the mode that will be used to evaluate this predicate.
setMode(Mode) - Method in class net.sourceforge.czt.animation.eval.flatpred.FlatPredList: Set the mode that will be used to evaluate this list.
setMode(Mode) - Method in class net.sourceforge.czt.animation.eval.ZLiveResult: Record the mode that was used to evaluate the term.
setNumIterSize(int) - Static method in class net.sourceforge.czt.animation.eval.result.RangeSet: Set the maximum number of integer values we should iterate through before throwing an EvalException.
setNumIterSize(String) - Static method in class net.sourceforge.czt.animation.eval.result.RangeSet
setOutput(PrintWriter) - Method in class net.sourceforge.czt.animation.eval.TextUI: Set the current output writer.
setResult(Term) - Method in class net.sourceforge.czt.animation.eval.ZLiveResult: Set the result of evaluating the term.
setRules(String) - Method in class net.sourceforge.czt.animation.eval.Preprocess: Collects the rules of the first ZSect in a given source file.
setSearchSize(double) - Method in class net.sourceforge.czt.animation.eval.ZLive
setSearchSize(String) - Method in class net.sourceforge.czt.animation.eval.ZLive
setSetting(String, String) - Method in class net.sourceforge.czt.animation.eval.TextUI: Set one of the ZLive settings to the given value.
setSolutions(double) - Method in class net.sourceforge.czt.animation.eval.flatpred.Mode: Set the estimated number of solutions the FlatPred will produce.
setUnfoldedTerm(Term) - Method in class net.sourceforge.czt.animation.eval.ZLiveResult: Record the result of flattening/simplifying the term.
setUpper(BigInteger) - Method in class net.sourceforge.czt.animation.eval.result.FuzzySet: Set the optional upper bound.
setValue(ZName, Expr) - Method in class net.sourceforge.czt.animation.eval.Envir: Update the value of a name in the Environment.
sign(int) - Method in class net.sourceforge.czt.animation.eval.ExprComparator: Converts an integer difference into -1, 0, or +1.
size() - Method in class net.sourceforge.czt.animation.eval.flatpred.FlatGivenSet: Always throws an exception, since the size of given sets is unknown.
size() - Method in class net.sourceforge.czt.animation.eval.flatpred.FlatPredList: Returns the number of FlatPreds in this list.
size() - Method in class net.sourceforge.czt.animation.eval.flatpred.ModeList: The number of sub modes.
size() - Method in class net.sourceforge.czt.animation.eval.result.DefaultEvalSet: Returns the exact size (cardinality) of the set.
size() - Method in class net.sourceforge.czt.animation.eval.result.DiscreteSet
size() - Method in class net.sourceforge.czt.animation.eval.result.FuzzySet
size() - Method in class net.sourceforge.czt.animation.eval.result.PowerSet: Returns the exact size of the set, or MAX_VALUE if the set is infinite or has cardinality greater than MAX_VALUE.
size() - Method in class net.sourceforge.czt.animation.eval.result.ProdSet: Returns the exact size of the set, or MAX_VALUE if the set is infinite or has cardinality greater than MAX_VALUE.
size() - Method in class net.sourceforge.czt.animation.eval.result.RangeSet: Returns the exact size of the set, or MAX_VALUE if the set is infinite or has cardinality greater than MAX_VALUE.
size() - Method in class net.sourceforge.czt.animation.eval.result.RelSet: TODO: calculate this correctly for functions with small/finite dom&ran.
solutions_ - Variable in class net.sourceforge.czt.animation.eval.flatpred.Mode: The expected number of solutions.
solutionsReturned_ - Variable in class net.sourceforge.czt.animation.eval.flatpred.FlatPred: The number of solutions that have been returned by nextEvaluation().
sortedIterator() - Method in class net.sourceforge.czt.animation.eval.result.DefaultEvalSet
sortedIterator() - Method in class net.sourceforge.czt.animation.eval.result.DiscreteSet
sortedIterator() - Method in class net.sourceforge.czt.animation.eval.result.EvalSet: Iterate through all members of the set in sorted order.
sortedIterator() - Method in class net.sourceforge.czt.animation.eval.result.FuzzySet
sortedIterator() - Method in class net.sourceforge.czt.animation.eval.result.RangeSet
sortedIterator() - Method in class net.sourceforge.czt.animation.eval.result.RelSet
stack_ - Variable in class net.sourceforge.czt.animation.eval.TextUI
startAnalysis(Bounds) - Method in class net.sourceforge.czt.animation.eval.flatpred.Bounds: This is similar to startAnalysis with no parameters, but it also updates the local bounds information from the parent.
startAnalysis() - Method in class net.sourceforge.czt.animation.eval.flatpred.Bounds: Resets the deductions counter and marks all vars as not-yet-changed.
startEvaluation() - Method in class net.sourceforge.czt.animation.eval.flatpred.FlatLessThan
startEvaluation() - Method in class net.sourceforge.czt.animation.eval.flatpred.FlatLessThanEquals
startEvaluation() - Method in class net.sourceforge.czt.animation.eval.flatpred.FlatMember
startEvaluation() - Method in class net.sourceforge.czt.animation.eval.flatpred.FlatOr
startEvaluation() - Method in class net.sourceforge.czt.animation.eval.flatpred.FlatPred
startEvaluation() - Method in class net.sourceforge.czt.animation.eval.flatpred.FlatPredList: Starts a fresh evaluation.
startLogging(String, String, Level) - Static method in class net.sourceforge.czt.animation.eval.ZFormatter: Helper method to start recording log messages to the given file using the ZFormatter class as the formatter.
stopLogging(String) - Static method in class net.sourceforge.czt.animation.eval.ZFormatter: Stop the log messages that were started by startLogging.
subset(Envir, Envir) - Static method in class net.sourceforge.czt.animation.eval.EnvirUtils
subsetIterator(ZName) - Method in class net.sourceforge.czt.animation.eval.flatpred.FlatPowerSet
subsetIterator(EvalSet) - Method in class net.sourceforge.czt.animation.eval.result.DefaultEvalSet
SubsetIterator(Iterator<E>, EvalSet) - Constructor for class net.sourceforge.czt.animation.eval.result.DefaultEvalSet.SubsetIterator
subsetIterator(EvalSet) - Method in class net.sourceforge.czt.animation.eval.result.EvalSet: Iterate through the intersection of this set and the 'other' set.
SubsetIterator(Iterator<E>, EvalSet) - Constructor for class net.sourceforge.czt.animation.eval.result.EvalSet.SubsetIterator
subsetIterator(EvalSet) - Method in class net.sourceforge.czt.animation.eval.result.FuzzySet
subsetIterator(EvalSet) - Method in class net.sourceforge.czt.animation.eval.result.RangeSet
subsetIterator(EvalSet) - Method in class net.sourceforge.czt.animation.eval.result.RelSet

T

termToString(Term, Markup) - Method in class net.sourceforge.czt.animation.eval.ZLive: Converts the given term to a String.
termToString(Term) - Method in class net.sourceforge.czt.animation.eval.ZLive: Converts the given term to a String, using the current markup.
TextUI - Class in net.sourceforge.czt.animation.eval: A text-based user interface for the ZLive animator.
TextUI(ZLive, PrintWriter) - Constructor for class net.sourceforge.czt.animation.eval.TextUI: Constructs a new ZLive textual user interface.
toArray() - Method in class net.sourceforge.czt.animation.eval.result.DefaultEvalSet: Returns an array containing all of the elements in this set.
toArray(T[]) - Method in class net.sourceforge.czt.animation.eval.result.DefaultEvalSet: Returns an array containing all of the elements in this set.
toArray() - Method in class net.sourceforge.czt.animation.eval.result.EvalSet: Returns an array containing all of the elements in this set.
toArray(T[]) - Method in class net.sourceforge.czt.animation.eval.result.EvalSet: Returns an array containing all of the elements in this set.
toString() - Method in class net.sourceforge.czt.animation.eval.Envir
toString() - Method in class net.sourceforge.czt.animation.eval.flatpred.Bounds
toString() - Method in class net.sourceforge.czt.animation.eval.flatpred.FlatBinding
toString() - Method in class net.sourceforge.czt.animation.eval.flatpred.FlatBindSel
toString() - Method in class net.sourceforge.czt.animation.eval.flatpred.FlatCard
toString() - Method in class net.sourceforge.czt.animation.eval.flatpred.FlatConst
toString() - Method in class net.sourceforge.czt.animation.eval.flatpred.FlatDiscreteSet
toString() - Method in class net.sourceforge.czt.animation.eval.flatpred.FlatDiv
toString() - Method in class net.sourceforge.czt.animation.eval.flatpred.FlatEquals
toString() - Method in class net.sourceforge.czt.animation.eval.flatpred.FlatExists
toString() - Method in class net.sourceforge.czt.animation.eval.flatpred.FlatFalse
toString() - Method in class net.sourceforge.czt.animation.eval.flatpred.FlatForall
toString() - Method in class net.sourceforge.czt.animation.eval.flatpred.FlatGivenSet
toString() - Method in class net.sourceforge.czt.animation.eval.flatpred.FlatIfThenElse
toString() - Method in class net.sourceforge.czt.animation.eval.flatpred.FlatLessThan
toString() - Method in class net.sourceforge.czt.animation.eval.flatpred.FlatLessThanEquals
toString() - Method in class net.sourceforge.czt.animation.eval.flatpred.FlatMember: Prints the FlatMember with optional bounds information.
toString() - Method in class net.sourceforge.czt.animation.eval.flatpred.FlatMod
toString() - Method in class net.sourceforge.czt.animation.eval.flatpred.FlatMu
toString() - Method in class net.sourceforge.czt.animation.eval.flatpred.FlatMult
toString() - Method in class net.sourceforge.czt.animation.eval.flatpred.FlatNegate
toString() - Method in class net.sourceforge.czt.animation.eval.flatpred.FlatNot
toString() - Method in class net.sourceforge.czt.animation.eval.flatpred.FlatOr
toString() - Method in class net.sourceforge.czt.animation.eval.flatpred.FlatPlus
toString() - Method in class net.sourceforge.czt.animation.eval.flatpred.FlatPowerSet
toString() - Method in class net.sourceforge.czt.animation.eval.flatpred.FlatPred: A default implementation of toString.
toString() - Method in class net.sourceforge.czt.animation.eval.flatpred.FlatPredList: This prints each FlatPred on a separate line.
toString() - Method in class net.sourceforge.czt.animation.eval.flatpred.FlatProd
toString() - Method in class net.sourceforge.czt.animation.eval.flatpred.FlatRangeSet
toString() - Method in class net.sourceforge.czt.animation.eval.flatpred.FlatRelSet
toString() - Method in class net.sourceforge.czt.animation.eval.flatpred.FlatSetComp
toString() - Method in class net.sourceforge.czt.animation.eval.flatpred.FlatTuple
toString() - Method in class net.sourceforge.czt.animation.eval.flatpred.FlatTupleSel
toString() - Method in class net.sourceforge.czt.animation.eval.flatpred.FlatUnion: Iterate through all members of this set that might equal element (which must be fully evaluated).
toString() - Method in class net.sourceforge.czt.animation.eval.flatpred.Mode
toString() - Method in class net.sourceforge.czt.animation.eval.result.DiscreteSet
toString() - Method in class net.sourceforge.czt.animation.eval.result.EvalSet: Each subclass should implement a nice toString.
toString() - Method in class net.sourceforge.czt.animation.eval.result.FuzzySet: Outputs "set(estSize,maxSize)", or "set(estSize,maxSize,Range)" if integer bounds information is known.
toString() - Method in class net.sourceforge.czt.animation.eval.result.GivenValue
toString() - Method in class net.sourceforge.czt.animation.eval.result.PowerSet
toString() - Method in class net.sourceforge.czt.animation.eval.result.ProdSet
toString() - Method in class net.sourceforge.czt.animation.eval.result.RangeSet
toString() - Method in class net.sourceforge.czt.animation.eval.result.RelSet
toString() - Method in class net.sourceforge.czt.animation.eval.result.SetComp
toString() - Method in class net.sourceforge.czt.animation.eval.result.UnionSet
typecheck(Term) - Method in class net.sourceforge.czt.animation.eval.ZLive: Typechecks a term, to check its correctness and to reestablish the unique-ids invariant of bound variables.

U

UndefException - Exception in net.sourceforge.czt.animation.eval
UndefException() - Constructor for exception net.sourceforge.czt.animation.eval.UndefException: Constructs a new exception with null as its detail message.
UndefException(String) - Constructor for exception net.sourceforge.czt.animation.eval.UndefException: Constructs a new exception with the specified detail message.
UndefException(String, Term) - Constructor for exception net.sourceforge.czt.animation.eval.UndefException: Constructs a new exception with the specified detail message.
UndefException(String, Throwable) - Constructor for exception net.sourceforge.czt.animation.eval.UndefException: Constructs a new exception with the specified detail message and cause.
UndefException(String, Throwable, Term) - Constructor for exception net.sourceforge.czt.animation.eval.UndefException: Constructs a new exception with the specified detail message and cause.
UndefException(Throwable) - Constructor for exception net.sourceforge.czt.animation.eval.UndefException: Constructs a new exception with the specified cause and detail message.
unfolded_ - Variable in class net.sourceforge.czt.animation.eval.ZLiveResult
unfoldTerm(Term) - Method in class net.sourceforge.czt.animation.eval.TextUI: Returns the preprocessed form of a term, before evaluation starts.
union(RangeSet) - Method in class net.sourceforge.czt.animation.eval.result.RangeSet: Calculates the 'generous union' of two ranges.
union(BigInteger, BigInteger) - Method in class net.sourceforge.czt.animation.eval.result.RangeSet: Calculates the 'generous union' of this range with (lo..up).
UnionSet - Class in net.sourceforge.czt.animation.eval.result: A simple implementation of the union of two EvalSets.
UnionSet(EvalSet, EvalSet) - Constructor for class net.sourceforge.czt.animation.eval.result.UnionSet: TODO: could combine/simplify some sets rather than creating union.
UNKNOWN_SIZE - Static variable in class net.sourceforge.czt.animation.eval.result.EvalSet: Default estimate for the approximate size of an unknown set.
unprime(BindExpr) - Method in class net.sourceforge.czt.animation.eval.ZLive: Converts an output BindExpr to an input BindExpr.
upper_ - Variable in class net.sourceforge.czt.animation.eval.result.FuzzySet
upper_ - Variable in class net.sourceforge.czt.animation.eval.result.RangeSet: The exact value of the upper bound, or null if not known.

V

visitAndPred(AndPred) - Method in class net.sourceforge.czt.animation.eval.FlattenVisitor: Adds both conjuncts to the flatten list.
visitApplExpr(ApplExpr) - Method in class net.sourceforge.czt.animation.eval.FlattenVisitor: Each ApplExpr is flattened into a different kind of FlatPred.
visitBindExpr(BindExpr) - Method in class net.sourceforge.czt.animation.eval.FlattenVisitor
visitBindExpr(BindExpr) - Method in class net.sourceforge.czt.animation.eval.Preprocess.FixIdVisitor: For bindings, we recurse into the expressions, and set all field names to have ID=0 (global).
visitBindSelExpr(BindSelExpr) - Method in class net.sourceforge.czt.animation.eval.FlattenVisitor
visitBindSelExpr(BindSelExpr) - Method in class net.sourceforge.czt.animation.eval.Preprocess.FixIdVisitor: For binding selections, E.x, we check only E, not x.
visitCondExpr(CondExpr) - Method in class net.sourceforge.czt.animation.eval.FlattenVisitor
visitDiscreteSet(DiscreteSet) - Method in interface net.sourceforge.czt.animation.eval.result.DiscreteSetVisitor: Visits an DiscreteSet.
visitEvalSet(EvalSet) - Method in interface net.sourceforge.czt.animation.eval.result.EvalSetVisitor: Visits an EvalSet.
visitEvalSet(EvalSet) - Method in class net.sourceforge.czt.animation.eval.ResultTreeToZVisitor
visitExistsPred(ExistsPred) - Method in class net.sourceforge.czt.animation.eval.FlattenVisitor: TODO: see if we can optimize more aggressively here.
visitFalsePred(FalsePred) - Method in class net.sourceforge.czt.animation.eval.FlattenVisitor
visitFlatBinding(FlatBinding) - Method in interface net.sourceforge.czt.animation.eval.flatvisitor.FlatBindingVisitor
visitFlatBindingSel(FlatBindSel) - Method in interface net.sourceforge.czt.animation.eval.flatvisitor.FlatBindSelVisitor: Visits a FlatBindSel.
visitFlatCard(FlatCard) - Method in interface net.sourceforge.czt.animation.eval.flatvisitor.FlatCardVisitor: Visits a FlatCard.
visitFlatConst(FlatConst) - Method in interface net.sourceforge.czt.animation.eval.flatvisitor.FlatConstVisitor: Visits a FlatConst.
visitFlatDiscreteSet(FlatDiscreteSet) - Method in interface net.sourceforge.czt.animation.eval.flatvisitor.FlatDiscreteSetVisitor: Visits a FlatDiscreteSet
visitFlatDiv(FlatDiv) - Method in interface net.sourceforge.czt.animation.eval.flatvisitor.FlatDivVisitor: Visits a FlatDiv.
visitFlatEquals(FlatEquals) - Method in interface net.sourceforge.czt.animation.eval.flatvisitor.FlatEqualsVisitor: Visits a FlatEquals.
visitFlatExists(FlatExists) - Method in interface net.sourceforge.czt.animation.eval.flatvisitor.FlatExistsVisitor: Visits a FlatExists
visitFlatFalse(FlatFalse) - Method in interface net.sourceforge.czt.animation.eval.flatvisitor.FlatFalseVisitor: Visits a FlatFalse
visitFlatForall(FlatForall) - Method in interface net.sourceforge.czt.animation.eval.flatvisitor.FlatForallVisitor: Visits a FlatForall
visitFlatGivenSet(FlatGivenSet) - Method in interface net.sourceforge.czt.animation.eval.flatvisitor.FlatGivenSetVisitor: Visits a FlatGivenSet
visitFlatIfThenElse(FlatIfThenElse) - Method in interface net.sourceforge.czt.animation.eval.flatvisitor.FlatIfThenElseVisitor: Visits a FlatIfThenElse
visitFlatLessThan(FlatLessThan) - Method in interface net.sourceforge.czt.animation.eval.flatvisitor.FlatLessThanVisitor: Visits a FlatLessThan.
visitFlatLessThanEquals(FlatLessThanEquals) - Method in interface net.sourceforge.czt.animation.eval.flatvisitor.FlatLessThanEqualsVisitor: Visits a FlatLessThanEquals.
visitFlatMember(FlatMember) - Method in interface net.sourceforge.czt.animation.eval.flatvisitor.FlatMemberVisitor: Visits a FlatMember.
visitFlatMod(FlatMod) - Method in interface net.sourceforge.czt.animation.eval.flatvisitor.FlatModVisitor: Visits a FlatMod.
visitFlatMu(FlatMu) - Method in interface net.sourceforge.czt.animation.eval.flatvisitor.FlatMuVisitor: Visits a FlatMu
visitFlatMult(FlatMult) - Method in interface net.sourceforge.czt.animation.eval.flatvisitor.FlatMultVisitor: Visits a FlatMult.
visitFlatNegate(FlatNegate) - Method in interface net.sourceforge.czt.animation.eval.flatvisitor.FlatNegateVisitor: Visits a FlatNegate.
visitFlatNot(FlatNot) - Method in interface net.sourceforge.czt.animation.eval.flatvisitor.FlatNotVisitor: Visits a FlatNot
visitFlatOr(FlatOr) - Method in interface net.sourceforge.czt.animation.eval.flatvisitor.FlatOrVisitor: Visits a FlatOr
visitFlatPlus(FlatPlus) - Method in interface net.sourceforge.czt.animation.eval.flatvisitor.FlatPlusVisitor: Visits a FlatPlus.
visitFlatPowerSet(FlatPowerSet) - Method in interface net.sourceforge.czt.animation.eval.flatvisitor.FlatPowerSetVisitor: Visits a FlatPowerSet
visitFlatPred(FlatPred) - Method in interface net.sourceforge.czt.animation.eval.flatvisitor.FlatPredVisitor: Visits a FlatPred.
visitFlatProd(FlatProd) - Method in interface net.sourceforge.czt.animation.eval.flatvisitor.FlatProdVisitor: Visits a FlatProd.
visitFlatRangeSet(FlatRangeSet) - Method in interface net.sourceforge.czt.animation.eval.flatvisitor.FlatRangeSetVisitor: Visits a FlatRangeSet
visitFlatRelSet(FlatRelSet) - Method in interface net.sourceforge.czt.animation.eval.flatvisitor.FlatRelSetVisitor: Visits a FlatRelSet
visitFlatSetComp(FlatSetComp) - Method in interface net.sourceforge.czt.animation.eval.flatvisitor.FlatSetCompVisitor: Visits a FlatSetComp
visitFlatTuple(FlatTuple) - Method in interface net.sourceforge.czt.animation.eval.flatvisitor.FlatTupleVisitor: Visits a FlatTuple
visitFlatTupleSel(FlatTupleSel) - Method in interface net.sourceforge.czt.animation.eval.flatvisitor.FlatTupleSelVisitor: Visits a FlatTupleSel.
visitFlatUnion(FlatUnion) - Method in interface net.sourceforge.czt.animation.eval.flatvisitor.FlatUnionVisitor: Visits a FlatUnion.
visitForallPred(ForallPred) - Method in class net.sourceforge.czt.animation.eval.FlattenVisitor
visitIffPred(IffPred) - Method in class net.sourceforge.czt.animation.eval.FlattenVisitor
visitImpliesPred(ImpliesPred) - Method in class net.sourceforge.czt.animation.eval.FlattenVisitor
visitLetExpr(LetExpr) - Method in class net.sourceforge.czt.animation.eval.FlattenVisitor: This translates our special LET isFun==1;...
visitLetExpr(LetExpr) - Method in class net.sourceforge.czt.animation.eval.ResultTreeToZVisitor: Convert the strange LET expressions that ZLive uses for function/relation spaces back into normal function/relation spaces.
visitMemPred(MemPred) - Method in class net.sourceforge.czt.animation.eval.FlattenVisitor
visitMuExpr(MuExpr) - Method in class net.sourceforge.czt.animation.eval.FlattenVisitor
visitNegPred(NegPred) - Method in class net.sourceforge.czt.animation.eval.FlattenVisitor
visitNumExpr(NumExpr) - Method in class net.sourceforge.czt.animation.eval.FlattenVisitor: NumExpr objects are converted into tmp = Num.
visitOrPred(OrPred) - Method in class net.sourceforge.czt.animation.eval.FlattenVisitor
visitPowerExpr(PowerExpr) - Method in class net.sourceforge.czt.animation.eval.FlattenVisitor
visitPowerSet(PowerSet) - Method in interface net.sourceforge.czt.animation.eval.result.PowerSetVisitor: Visits a PowerSet.
visitPowerSet(PowerSet) - Method in class net.sourceforge.czt.animation.eval.ResultTreeToZVisitor
visitProdExpr(ProdExpr) - Method in class net.sourceforge.czt.animation.eval.FlattenVisitor
visitProdSet(ProdSet) - Method in interface net.sourceforge.czt.animation.eval.result.ProdSetVisitor: Visits a ProdSet.
visitProdSet(ProdSet) - Method in class net.sourceforge.czt.animation.eval.ResultTreeToZVisitor
visitQntExpr(QntExpr) - Method in class net.sourceforge.czt.animation.eval.Preprocess.FixIdVisitor
visitQntPred(QntPred) - Method in class net.sourceforge.czt.animation.eval.Preprocess.FixIdVisitor
visitRefExpr(RefExpr) - Method in class net.sourceforge.czt.animation.eval.FlattenVisitor: Simple RefExpr objects are returned unchanged.
visitRelSet(RelSet) - Method in interface net.sourceforge.czt.animation.eval.result.RelSetVisitor: Visits a RelSet.
visitRelSet(RelSet) - Method in class net.sourceforge.czt.animation.eval.ResultTreeToZVisitor: We do not attempt to enumerate function spaces, since this is rarely useful -- they are usually too big, and they are usually used for membership tests.
visitSchExpr(SchExpr) - Method in class net.sourceforge.czt.animation.eval.FlattenVisitor: This does [D | P] = \{ D | P @ \theta [D | true] \} because this is currently hard to do in preprocess.tex.
visitSetCompExpr(SetCompExpr) - Method in class net.sourceforge.czt.animation.eval.FlattenVisitor
visitSetExpr(SetExpr) - Method in class net.sourceforge.czt.animation.eval.FlattenVisitor
visitTerm(Term) - Method in class net.sourceforge.czt.animation.eval.FlattenVisitor: We throw an error if we reach a kind of term that we do not handle.
visitTerm(Term) - Method in class net.sourceforge.czt.animation.eval.Preprocess.FixIdVisitor
visitTerm(Term) - Method in class net.sourceforge.czt.animation.eval.ResultTreeToZVisitor
visitTruePred(TruePred) - Method in class net.sourceforge.czt.animation.eval.FlattenVisitor
visitTupleExpr(TupleExpr) - Method in class net.sourceforge.czt.animation.eval.FlattenVisitor
visitTupleSelExpr(TupleSelExpr) - Method in class net.sourceforge.czt.animation.eval.FlattenVisitor
visitZName(ZName) - Method in class net.sourceforge.czt.animation.eval.FlattenVisitor: Name objects are returned unchanged, except for \emptyset, which is unfolded into {}.
visitZName(ZName) - Method in class net.sourceforge.czt.animation.eval.Preprocess.FixIdVisitor

W

wholeResult_ - Variable in class net.sourceforge.czt.animation.eval.flatpred.FlatIfThenElse: The name that the result of the whole IF-THEN-ELSE is bound to.

Z

ZFormatter - Class in net.sourceforge.czt.animation.eval: This is a Logger formatter that prints readable indented messages.
ZFormatter() - Constructor for class net.sourceforge.czt.animation.eval.ZFormatter
ZLive - Class in net.sourceforge.czt.animation.eval: This is the main class of the ZLive animator.
ZLive() - Constructor for class net.sourceforge.czt.animation.eval.ZLive
zlive_ - Variable in class net.sourceforge.czt.animation.eval.TextUI: The animator engine
ZLiveResult - Class in net.sourceforge.czt.animation.eval
ZLiveResult(String, Term, Envir, Term, FlatPredList, ZName, Mode, Term) - Constructor for class net.sourceforge.czt.animation.eval.ZLiveResult: Convenience constructor that records all information about the evaluated term.
ZLiveResult(String, Term) - Constructor for class net.sourceforge.czt.animation.eval.ZLiveResult: Record the result of an evaluation.
ZLiveResult.MoveException - Exception in net.sourceforge.czt.animation.eval: An exception for the ZLiveResult move method.
ZNameComparator - Class in net.sourceforge.czt.animation.eval: A comparator for evaluated ZNames.
ZNameComparator() - Constructor for class net.sourceforge.czt.animation.eval.ZNameComparator

A B C D E F G H I K L M N O P R S T U V W Z