org.clafer.javascript

Class JavascriptShell

java.lang.Object

org.clafer.javascript.JavascriptShell

public class JavascriptShell
extends Object

The Javascript CLI.

Author:

jimmy

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
static interface	JavascriptShell.Messagable
static class	JavascriptShell.Options

Constructor Summary

Constructors

Constructor and Description
JavascriptShell()

Method Summary

Methods

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.

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

JavascriptShell

public JavascriptShell()

Method Detail

init

public void init()
          throws IOException

Throws:

IOException

internals

public String internals()

Returns information about the final Choco CSP.

Returns:

information for debugging

internals

public String internals(boolean initial)

Returns information about the final Choco CSP.

Parameters:

initial - debug initial state or current state

Returns:

information for debugging

load

public String load()
            throws IOException

Reload the previous successful file.

Returns:

a message

Throws:

IOException - something happened to the file

load

public String load(String filename)
            throws IOException

Load a new file. The file must contain valid Javascript.

Parameters:

filename - the name of the file

Returns:

a message

Throws:

IOException - something happened to the file

load

public String load(File file)
            throws IOException

Load a new file. The file must contain valid Javascript.

Parameters:

file - the file

Returns:

a message

Throws:

IOException - something happened to the file

solve

public Object solve()

Find the first instance or next instances upon subsequent invocations.

Returns:

an instance

maximize

public Object maximize(AstClafer clafer)

Find an instance where the Clafer's value is maximal.

Parameters:

clafer - maximize this Clafer's value

Returns:

the maximal value and the optimal instance

minimize

public Object minimize(AstClafer clafer)

Find an instance where the Clafer's value is minimal.

Parameters:

clafer - minimize this Clafer's value

Returns:

the minimal value and the optimal instance

minUnsat

public Pair<Set<AstConstraint>,InstanceModel> minUnsat()

Find the Min-Unsat and near-miss example. The Min-Unsat is empty if the model is satisfiable, in which case the near-miss example is a real instance of the model.

Returns:

the Min-Unsat and near-miss example

unsatCore

public Set<AstConstraint> unsatCore()

Find the Min-Unsat-Core. Undefined if the model is satisfiable.

Returns:

the Min-Unsat-Core

stats

public String stats()

exit

public String exit()

Exit the program.

Returns:

a message

main

public static void main(String[] args)
                 throws IOException,
                        ScriptException

Throws:

IOException

ScriptException