Package | Description |
---|---|
net.sourceforge.czt.animation.eval |
CZT ZLive Animator
|
net.sourceforge.czt.animation.eval.flatpred |
Modifier and Type | Class and Description |
---|---|
class |
UndefException |
Modifier and Type | Method and Description |
---|---|
net.sourceforge.czt.z.ast.Expr |
ZLive.evalExpr(net.sourceforge.czt.z.ast.Expr expr)
Evaluate an Expr.
|
net.sourceforge.czt.z.ast.Pred |
ZLive.evalPred(net.sourceforge.czt.z.ast.Pred pred)
Evaluate a Pred.
|
net.sourceforge.czt.z.ast.Expr |
ZLive.schemaExpr(String schemaName)
Converts a schema name into an expression that can be evaluated.
|
void |
ZLive.typecheck(net.sourceforge.czt.base.ast.Term term)
Typechecks a term, to check its correctness and to
reestablish the unique-ids invariant of bound variables.
|
net.sourceforge.czt.base.ast.Term |
TextUI.unfoldTerm(net.sourceforge.czt.base.ast.Term term)
Returns the preprocessed form of a term, before evaluation
starts.
|
Modifier and Type | Method and Description |
---|---|
boolean |
FlatTupleSel.nextEvaluation()
Does the actual evaluation
|
boolean |
FlatMult.nextEvaluation()
Does the actual evaluation
|
boolean |
FlatMod.nextEvaluation()
Does the actual evaluation
|
boolean |
FlatDiv.nextEvaluation()
Does the actual evaluation
|
boolean |
FlatBindSel.nextEvaluation()
Does the actual evaluation
|
Copyright © 2003–2016 Community Z Tools Project. All rights reserved.