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.


Variable Index

 o ABSOLVE
 o NARROW

Method Index

 o narrow(Exp, int)
This returns true if the tree can be narrowed max_narrow times.
 o narrow(Exp, int, boolean)
 o run()

Variables

 o NARROW
 public static final int NARROW
 o ABSOLVE
 public static final int ABSOLVE

Methods

 o run
 public void run()
Overrides:
run in class Thread
 o narrow
 public boolean narrow(Exp tree,
                       int max_narrow)
This returns true if the tree can be narrowed max_narrow times.

 o narrow
 public boolean narrow(Exp tree,
                       int max_narrow,
                       boolean show)

All Packages  Class Hierarchy  This Package  Previous  Next  Index