All Packages Class Hierarchy This Package Previous Next Index
Class ia_solver.Interpreter
java.lang.Object
|
+----java.lang.Thread
|
+----ia_solver.Interpreter
- public class Interpreter
- extends Thread
this class implements the core constraint solving
operations. It is meant to be called from a user interface
which could be an applet, GUI application, or a
text-based application. The user interface is abstracted
as an "interface" class which define methods that allow
the interpreter to have access to the constraint set,
variable list, etc.
-
ABSOLVE
-
-
NARROW
-
-
narrow(Exp, int)
- This returns true if the tree can be narrowed max_narrow times.
-
narrow(Exp, int, boolean)
-
-
run()
-
NARROW
public static final int NARROW
ABSOLVE
public static final int ABSOLVE
run
public void run()
- Overrides:
- run in class Thread
narrow
public boolean narrow(Exp tree,
int max_narrow)
- This returns true if the tree can be narrowed max_narrow times.
narrow
public boolean narrow(Exp tree,
int max_narrow,
boolean show)
All Packages Class Hierarchy This Package Previous Next Index