fr.inria.oadymppac.solver
Interface Solver

All Superinterfaces:
Properties, SolverTypes
All Known Implementing Classes:
AbstractSolver

public interface Solver
extends Properties, SolverTypes

Author:
raf To change the template for this generated type comment go to Window - Preferences - Java - Code Generation - Code and Comments

Field Summary
static int CHRONO_MAX
           
static int CHRONO_MIN
           
static int CURRENT_CHRONO
           
static int CURRENT_DEPTH
           
static int DEPTH_MAX
           
static int DEPTH_MIN
           
static int SOLVER_VALUES
           
 
Fields inherited from interface fr.inria.oadymppac.utils.Properties
logger
 
Fields inherited from interface fr.inria.oadymppac.solver.SolverTypes
ANNOTATION, AWAKE, BACKTO, CAUSE, CONSTRAINT, CONSTRAINT_STATUS, DELTA, DOMAIN, EVENT_SIZE, EXCEPTION, EXPLANATION, POST, REDUCE, REJECT, REMOVE, RESTORE, SCHEDULE, SEARCHNODE, SOLVED, STAGE, STAGE_EVENT, STATE, SUSPEND, UPDATE, VALUELIST, VARIABLE, VARIABLE_STATUS
 
Method Summary
 int add(int type, java.lang.Object element)
           
 SolverMainElement buildProxy(int type, java.lang.Object identifier)
           
 ObjectManager get(int i)
           
 java.lang.Object get(int type, int i)
           
 int get(int type, java.lang.Object key)
           
 int getIntValue(int index)
           
 void reset()
           
 void setIntValue(int index, int value)
           
 
Methods inherited from interface fr.inria.oadymppac.utils.Properties
getProperties, getProperty, setProperties, setProperty
 

Field Detail

CHRONO_MIN

public static final int CHRONO_MIN
See Also:
Constant Field Values

CHRONO_MAX

public static final int CHRONO_MAX
See Also:
Constant Field Values

CURRENT_CHRONO

public static final int CURRENT_CHRONO
See Also:
Constant Field Values

DEPTH_MIN

public static final int DEPTH_MIN
See Also:
Constant Field Values

DEPTH_MAX

public static final int DEPTH_MAX
See Also:
Constant Field Values

CURRENT_DEPTH

public static final int CURRENT_DEPTH
See Also:
Constant Field Values

SOLVER_VALUES

public static final int SOLVER_VALUES
See Also:
Constant Field Values
Method Detail

getIntValue

public int getIntValue(int index)

setIntValue

public void setIntValue(int index,
                        int value)

add

public int add(int type,
               java.lang.Object element)

get

public int get(int type,
               java.lang.Object key)

get

public java.lang.Object get(int type,
                            int i)

get

public ObjectManager get(int i)

buildProxy

public SolverMainElement buildProxy(int type,
                                    java.lang.Object identifier)

reset

public void reset()