public class JavascriptShell extends Object
Modifier and Type | Class and Description |
---|---|
static interface |
JavascriptShell.Messagable |
static class |
JavascriptShell.Options |
Constructor and Description |
---|
JavascriptShell() |
Modifier and Type | Method and Description |
---|---|
String |
exit()
Exit the program.
|
void |
init() |
String |
internals()
Returns information about the final Choco CSP.
|
String |
internals(boolean initial)
Returns information about the final Choco CSP.
|
String |
load()
Reload the previous successful file.
|
String |
load(File file)
Load a new file.
|
String |
load(String filename)
Load a new file.
|
static void |
main(String[] args) |
Object |
maximize(AstClafer clafer)
Find an instance where the Clafer's value is maximal.
|
Object |
minimize(AstClafer clafer)
Find an instance where the Clafer's value is minimal.
|
Pair<Set<AstConstraint>,InstanceModel> |
minUnsat()
Find the Min-Unsat and near-miss example.
|
Object |
solve()
Find the first instance or next instances upon subsequent invocations.
|
String |
stats() |
Set<AstConstraint> |
unsatCore()
Find the Min-Unsat-Core.
|
public JavascriptShell()
public void init() throws IOException
IOException
public String internals()
public String internals(boolean initial)
initial
- debug initial state or current statepublic String load() throws IOException
IOException
- something happened to the filepublic String load(String filename) throws IOException
filename
- the name of the fileIOException
- something happened to the filepublic String load(File file) throws IOException
file
- the fileIOException
- something happened to the filepublic Object solve()
public Object maximize(AstClafer clafer)
clafer
- maximize this Clafer's valuepublic Object minimize(AstClafer clafer)
clafer
- minimize this Clafer's valuepublic Pair<Set<AstConstraint>,InstanceModel> minUnsat()
public Set<AstConstraint> unsatCore()
public static void main(String[] args) throws IOException, ScriptException
IOException
ScriptException
Copyright © 2013. All Rights Reserved.