public class EvalSetResult extends Object implements EvalResult
| Constructor and Description |
|---|
EvalSetResult(EvalSet evalSet)
For zlive evaluator
|
EvalSetResult(List<net.sourceforge.czt.z.ast.Expr> list)
For manual evaluator
|
| Modifier and Type | Method and Description |
|---|---|
HashMap<String,net.sourceforge.czt.z.ast.Expr> |
first() |
boolean |
hasNext() |
boolean |
hasPrevious() |
boolean |
isFinite() |
HashMap<String,net.sourceforge.czt.z.ast.Expr> |
last() |
HashMap<String,net.sourceforge.czt.z.ast.Expr> |
next() |
HashMap<String,net.sourceforge.czt.z.ast.Expr> |
previous() |
public EvalSetResult(List<net.sourceforge.czt.z.ast.Expr> list)
public EvalSetResult(EvalSet evalSet)
evalSet - public boolean isFinite()
isFinite in interface EvalResultpublic boolean hasNext()
hasNext in interface EvalResultpublic boolean hasPrevious()
hasPrevious in interface EvalResultpublic HashMap<String,net.sourceforge.czt.z.ast.Expr> first()
first in interface EvalResultpublic HashMap<String,net.sourceforge.czt.z.ast.Expr> last()
last in interface EvalResultpublic HashMap<String,net.sourceforge.czt.z.ast.Expr> next()
next in interface EvalResultpublic HashMap<String,net.sourceforge.czt.z.ast.Expr> previous()
previous in interface EvalResultCopyright © 2003–2016 Community Z Tools Project. All rights reserved.