| Package | Description |
|---|---|
| net.sourceforge.czt.animation.eval |
CZT ZLive Animator
|
| net.sourceforge.czt.animation.eval.flatpred | |
| net.sourceforge.czt.animation.eval.result |
| Class and Description |
|---|
| Envir
An Environment is conceptually a mapping from variable names
(ZName) to values (Expr).
|
| EvalException |
| ExprComparator
A comparator for evaluated Z expressions.
|
| Flatten
Flattens a Pred/Expr term into a list of FlatPred objects.
|
| Preprocess
Preprocesses a term to get it ready for evaluation.
|
| ZLive
This is the main class of the ZLive animator.
|
| ZLiveResult |
| ZNameComparator
A comparator for evaluated ZNames.
|
| Class and Description |
|---|
| Envir
An Environment is conceptually a mapping from variable names
(ZName) to values (Expr).
|
| EvalException |
| ZLive
This is the main class of the ZLive animator.
|
| Class and Description |
|---|
| Envir
An Environment is conceptually a mapping from variable names
(ZName) to values (Expr).
|
Copyright © 2003–2016 Community Z Tools Project. All rights reserved.