Package fr.inria.oadymppac.solver

Interface Summary
Annotation  
Awake  
BackTo  
Cause  
ChoiceConstraint  
ChoicePoint  
ChronoProvider  
Constraint  
ConstraintCollection  
ConstraintEvent  
ConstraintStatus  
ConstraintStatusCollection  
Delta  
DepthProvider  
Domain  
EndStage  
Explanation An Explanation consists of a cause list and a contraint list.
Failure  
Post  
Reduce  
ReferenceProxy  
Reject  
Remove  
Restore  
ResumeStage  
Schedule  
SearchNode  
Solution  
Solved  
Solver  
SolverElement  
SolverEventElement  
SolverMainElement  
SolverManagable  
SolverTypes  
Stage  
StageEvent  
StartStage  
State  
StateProvider  
Status  
Suspend  
SuspendStage  
Update  
UpdateCollection  
ValueList  
Variable  
VariableCollection  
VariableStatus  
VariableStatusCollection  
 

Class Summary
AbstractAnnotation  
AbstractConstraint  
AbstractSearchNode  
AbstractSolver This class provides the basic behavior for a Solver.
AbstractStage  
AbstractStatus  
AbstractVariable  
AnnotationManager A AnnotationManager is a utility class that manages the domain of all the variables declared and used during a session.
AnnotationProxy  
AwakeManager A AwakeManager is a utility class that manages the domain of all the variables declared and used during a session.
BackToManager A BackToManager is a utility class that manages the domain of all the variables declared and used during a session.
BasicSearchNode  
ChronoComparator  
ConstraintEventImpl  
ConstraintManager A ConstraintManager is a utility class that manages the constraints and their related constraints declared and used during a session.
ConstraintProxy  
DefaultAnnotation  
DefaultAwake  
DefaultCause  
DefaultChoicePoint  
DefaultConstraint  
DefaultConstraintStatus  
DefaultDelta  
DefaultDomain  
DefaultExplanation  
DefaultFailure  
DefaultPost  
DefaultReduce  
DefaultReject  
DefaultRemove  
DefaultSchedule  
DefaultSolution  
DefaultSolved  
DefaultSolver  
DefaultStage  
DefaultState  
DefaultSuspend  
DefaultUpdate  
DefaultValueList  
DefaultVariable  
DefaultVariableStatus  
DeltaManager A DeltaManager is a utility class that manages the domain of all the variables declared and used during a session.
DepthComparator  
DomainManager A VarDomainManager is a utility class that manages the domain of all the variables declared and used during a session.
EMNCountingBitSet A BitSet that maintains the count of bits set to 1.
ExceptionManager A VariableManager is a utility class that manages the domain of all the variables declared and used during a session.
OrderedManager A VariableManager is a utility class that manages the domain of all the variables declared and used during a session.
PostManager A PostManager is a utility class that manages the domain of all the variables declared and used during a session.
ReduceManager A VariableManager is a utility class that manages the domain of all the variables declared and used during a session.
RejectManager A RejectManager is a utility class that manages the domain of all the variables declared and used during a session.
RemoveManager A RemoveManager is a utility class that manages the domain of all the variables declared and used during a session.
RestoreManager A RestoreManager is a utility class that manages the domain of all the variables declared and used during a session.
ScheduleManager A ScheduleManager is a utility class that manages the domain of all the variables declared and used during a session.
SearchNodeManager A SearchNodeManager is a utility class that manages the constraints and their related constraints declared and used during a session.
SearchNodeProxy  
SolvedManager A SolvedManager is a utility class that manages the domain of all the variables declared and used during a session.
SolverElementImpl  
SolverEventElementImpl  
SolverMainElementImpl  
SolverObjectManager  
StageManager A StageManager is a utility class that manages the domain of all the variables declared and used during a session.
StageProxy  
StateManager A StateManager is a utility class that manages the domain of all the variables declared and used during a session.
SuspendManager A SuspendManager is a utility class that manages the domain of all the variables declared and used during a session.
UpdateManager A UpdateManager is a utility class that manages the domain of all the variables declared and used during a session.
ValueListImpl  
VariableManager A VariableManager is a utility class that manages the domain of all the variables declared and used during a session.
VariableProxy  
 

Exception Summary
SolverException