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.