public class JavascriptContext extends Object
Constructor and Description |
---|
JavascriptContext() |
Modifier and Type | Method and Description |
---|---|
void |
addMaximizeObjective(AstSetExpr expr) |
void |
addMinimizeObjective(AstSetExpr expr) |
AstModel |
getModel() |
Objective[] |
getObjectives() |
Scope |
getScope(org.mozilla.javascript.Scriptable engine) |
void |
setDefaultScope(int defaultScope) |
void |
setIntRange(int intLow,
int intHigh) |
void |
setScope(Map<String,Number> scope) |
public JavascriptContext()
public void setDefaultScope(int defaultScope)
public void setIntRange(int intLow, int intHigh)
public void addMaximizeObjective(AstSetExpr expr)
public void addMinimizeObjective(AstSetExpr expr)
public Objective[] getObjectives()
Copyright © 2013. All Rights Reserved.