Uses of Class
ifs.model.Value

Packages that use Value

ifs.dbt	Dynamic backtracking extension of IFS solver
ifs.example.csp	Random Binary CSP with uniform distribution.
ifs.example.jobshop	JobShop Problem.
ifs.example.rpp	Random Placement Problem.
ifs.example.tt	Simple Timetabling Problem.
ifs.extension	IFS Extensions (conflict-based statistics, maintenance of arc consistency)
ifs.heuristics	IFS Heuristics (value and variable selection criteria)
ifs.model	IFS Model (description of a problem)
ifs.perturbations	Minimal Perturbation Problem: counting of perturbations
ifs.solver	IFS Solver
ttsolver	Purdue University Timetabling.
ttsolver.constraint	Purdue University Timetabling: Constraints.
ttsolver.heuristics	Purdue University Timetabling: Heuristics.
ttsolver.model	Purdue University Timetabling: Model.

Uses of Value in ifs.dbt

Methods in ifs.dbt that return Value

Value

DbtValueSelection.selectValue(Solution solution, Variable selectedVariable) Value selection

Methods in ifs.dbt with parameters of type Value

void	DbtPropagation.afterAssigned(long iteration, Value value) Propagation takes place every time a value is assigned to a variable.
void	DbtPropagation.afterUnassigned(long iteration, Value value) Undo propagation when a value is unassigned.
boolean	DbtPropagation.valueSelected(long iteration, Variable variable, Value value) If no value is selected (because of a dead end), make some unassignments.

Uses of Value in ifs.example.csp

Subclasses of Value in ifs.example.csp

class

CSPValue CSP value.

Methods in ifs.example.csp with parameters of type Value

void	CSPBinaryConstraint.computeConflicts(Value aValue, Set conflicts) Add the other variable to the set of conflicts, if it is not compatible with the given value.
boolean	CSPBinaryConstraint.isConsistent(Value value1, Value value2) True if the pair of given values is compatible.

Uses of Value in ifs.example.jobshop

Subclasses of Value in ifs.example.jobshop

class

Location Location of an operation.

Methods in ifs.example.jobshop with parameters of type Value

void	Job.computeConflicts(Value value, Set conflicts) Adds conflicting operations into the set of conflicts.
void	Machine.computeConflicts(Value value, Set conflicts) Adds conflicting operations into the set of conflicts.
boolean	Job.inConflict(Value value) True if there is an operation from the same job which violates with the given assignment.
boolean	Machine.inConflict(Value value) True if there is an operation from the machine which violates with the given assignment.
boolean	Job.isConsistent(Value value1, Value value2) True if the two assignments (placement of opeartions of the same job in time) violates each other.
boolean	Machine.isConsistent(Value value1, Value value2) True if the two assignments (placement of opeartions of the machine in time) violates each other.

Uses of Value in ifs.example.rpp

Methods in ifs.example.rpp with parameters of type Value

void	ResourceConstraint.assigned(long iteration, Value value) Notification, when a rectangle is placed.
void	ResourceConstraint.computeConflicts(Value value, Set conflicts) Compute conflicts with the given placement of the rectangle.
boolean	ResourceConstraint.inConflict(Value value) Returns true if there is a rectangle which overlaps with the given assignment.
boolean	ResourceConstraint.isConsistent(Value value1, Value value2) Returns true if the given rectangles (assignments) do not overlap.
void	ResourceConstraint.unassigned(long iteration, Value value) Notification, when a rectangle is unplaced.

Uses of Value in ifs.example.tt

Methods in ifs.example.tt with parameters of type Value

void	Resource.assigned(long iteration, Value value)
void	Dependence.computeConflicts(Value value, Set conflicts)
void	Resource.computeConflicts(Value value, Set conflicts)
boolean	Dependence.inConflict(Value value)
boolean	Resource.inConflict(Value value)
boolean	Dependence.isConsistent(Value value1, Value value2)
boolean	Resource.isConsistent(Value value1, Value value2)
void	Resource.unassigned(long iteration, Value value)

Uses of Value in ifs.extension

Methods in ifs.extension that return Value

Value

Assignment.getValue() Returns value

Methods in ifs.extension with parameters of type Value

void	AssignmentSet.addAssignment(long iteration, Value value, double ageing) Adds an assignment
void	Extension.afterAssigned(long iteration, Value value) Called after a value is assigned to a variable
void	MacPropagation.afterAssigned(long iteration, Value value) After a value is assigned: explanations of other values of the value's variable are reset (to contain only the assigned value), propagation over the assigned variable takes place.
void	Extension.afterUnassigned(long iteration, Value value) Called after a value is unassigned from a variable
void	MacPropagation.afterUnassigned(long iteration, Value value) After a value is unassigned: explanations of all values of unassigned variable are recomputed (conflicts()), propagation undo over the unassigned variable takes place.
void	Extension.beforeAssigned(long iteration, Value value) Called before a value is assigned to a variable
void	MacPropagation.beforeAssigned(long iteration, Value value) Before a value is unassigned: until the value is inconsistent with the current solution, an assignment from its explanation is picked and unassigned.
void	Extension.beforeUnassigned(long iteration, Value value) Called after a value is unassigned from a variable
void	ConflictStatistics.constraintAfterAssigned(long iteration, Constraint constraint, Value assigned, Set unassigned) Increments appropriate counters when there is a value unassigned
void	ConflictStatistics.constraintBeforeAssigned(long iteration, Constraint constraint, Value assigned, Set unassigned)
boolean	AssignmentSet.contains(Value value) Returns true if it contains the given assignment
long	ConflictStatistics.countPotentialConflicts(long iteration, Value value, int limit) Counts potential number of unassignments of if the given value is selected.
double	ConflictStatistics.countRemovals(long iteration, Collection conflictValues, Value value) Counts number of unassignments of the given conflicting values caused by the assignment of the given value.
double	ConflictStatistics.countRemovals(long iteration, Value conflictValue, Value value) Counts number of unassignments of the given conflicting value caused by the assignment of the given value.
Assignment	AssignmentSet.getAssignment(Value value) Returns assignment that corresponds to the given value (if it is present in the set)
Set	ViolatedInitials.getViolatedInitials(Value value) Initial values that cannot be assigned when the given value is assigned
boolean	MacPropagation.isGood(Value value) is variable good
Set	MacPropagation.noGood(Value value) variables explanation
protected void	MacPropagation.setGood(Value value) sets value to be good
void	MacPropagation.setNoGood(Value value, Set reason) sets value's explanation

Constructors in ifs.extension with parameters of type Value

Assignment(long iteration, Value value, double ageing)
Constructor

Uses of Value in ifs.heuristics

Methods in ifs.heuristics that return Value

Value	GeneralValueSelection.selectValue(Solution solution, Variable selectedVariable) Value selecion
Value	ValueSelection.selectValue(Solution solution, Variable selectedVariable) Value selection

Uses of Value in ifs.model

Fields in ifs.model declared as Value

protected Value

Variable.iValue Assigned value

Methods in ifs.model that return Value

Value	Variable.getAssignment() Returns current assignment
Value	Variable.getBestAssignment() Returns the value from the best ever found soultion.
Value	Variable.getInitialAssignment() Returns initial assignment

Methods in ifs.model with parameters of type Value

void	Model.afterAssigned(long iteration, Value value) Called after a value is assigned to its variable
void	ModelListener.afterAssigned(long iteration, Value value) Called after a value is assigned to its variable (variable()).
void	Model.afterUnassigned(long iteration, Value value) Called after a value is unassigned from its variable
void	ModelListener.afterUnassigned(long iteration, Value value) Called after a value is unassigned from its variable (variable()).
void	Variable.assign(long iteration, Value value) Assign value to this variable.
void	Constraint.assigned(long iteration, Value value) Given value is to be assigned to its varable.
void	Model.beforeAssigned(long iteration, Value value) Called before a value is assigned to its variable
void	ModelListener.beforeAssigned(long iteration, Value value) Called before a value is assigned to its variable (variable()).
void	Model.beforeUnassigned(long iteration, Value value) Called before a value is unassigned from its variable
void	ModelListener.beforeUnassigned(long iteration, Value value) Called before a value is unassigned from its variable (variable()).
abstract void	Constraint.computeConflicts(Value value, Set conflicts) The only method which has to be implemented by any constraint.
Hashtable	Model.conflictConstraints(Value value) The list of constraints which are in a conflict with the given value if it is assigned to its variable.
Set	Model.conflictValues(Value value) Returns the set of confliction variables with this value, if it is assigned to its variable
void	ConstraintListener.constraintAfterAssigned(long iteration, Constraint constraint, Value assigned, Set unassigned) Called by the constraint, after a value is assigned to its variable.
void	ConstraintListener.constraintBeforeAssigned(long iteration, Constraint constraint, Value assigned, Set unassigned) Called by the constraint, before a value is assigned to its variable.
boolean	Constraint.inConflict(Value value) Returns true if the given assignment is inconsistent with the existing assignments respecting this constraint.
boolean	Constraint.isConsistent(Value value1, Value value2) Returns true if the given assignments are consistent respecting this constraint.
void	Variable.removeValue(long iteration, Value value) Permanently remove a value from variables domain.
void	Variable.setBestAssignment(Value value) Sets variable's value of the best ever found solution.
void	Variable.setInitialAssignment(Value initialValue) Sets initial assignment
void	Constraint.unassigned(long iteration, Value value) Given value is unassigned from its varable.
boolean	Value.valueEquals(Value value) Comparison of two values which is based only on the value (not appropriate variable etc.). toInt() is compared by default.
void	VariableListener.valueRemoved(long iteration, Value value) Called by the variable when a value is permanently removed from its domain
void	VariableListener.variableAssigned(long iteration, Value value) Called by the variable when a value is assigned to it
void	VariableListener.variableUnassigned(long iteration, Value value) Called by the variable when a value is unassigned from it

Constructors in ifs.model with parameters of type Value

Variable(Value initialValue)
Constructor

Uses of Value in ifs.perturbations

Methods in ifs.perturbations with parameters of type Value

protected double	DefaultPerturbationsCounter.getPenalty(Value assignedValue, Value initialValue) Computes perturbation penalty between assigned and initial value of the same lecture.
protected double	DefaultPerturbationsCounter.getPenaltyA(Value selectedValue, Value initialValue) Case A: initial value of a different unassigned variable cannot be assigned (computed by ViolatedInitials)
protected double	DefaultPerturbationsCounter.getPenaltyB(Value selectedValue, Value assignedValue, Value initialValue) Case B: initial value is unassigned from a conflicting variable.
protected double	DefaultPerturbationsCounter.getPenaltyC(Value selectedValue, Value assignedValue, Value initialValue) Case C: non-initial value is unassigned from a conflicting variable.
protected double	DefaultPerturbationsCounter.getPenaltyD(Value selectedValue, Value initialValue) Case D: different than initial value is assigned to the varaible
double	DefaultPerturbationsCounter.getPerturbationPenalty(Solution solution, Value selectedValue, Collection conflicts)
double	PerturbationsCounter.getPerturbationPenalty(Solution solution, Value selectedValue, Collection conflicts) Returns perturbation penalty of the solution which become from the current solution when given conflicting values are unassigned and the selected value is assigned.

Uses of Value in ifs.solver

Methods in ifs.solver with parameters of type Value

boolean

SolverListener.valueSelected(long iteration, Variable variable, Value value) A value was selected

Uses of Value in ttsolver

Methods in ttsolver with parameters of type Value

void	TimetableModel.afterAssigned(long iteration, Value value) When a value is assigned to a variable -- update gloval preferences
void	TimetableModel.afterUnassigned(long iteration, Value value) When a value is unassigned from a variable -- update gloval preferences

Uses of Value in ttsolver.constraint

Methods in ttsolver.constraint with parameters of type Value

void	DepartmentSpreadConstraint.assigned(long iteration, Value value)
void	GroupConstraint.assigned(long iteration, Value value)
void	JenrlConstraint.assigned(long iteration, Value value)
void	ResourceConstraint.assigned(long iteration, Value value)
void	RoomConstraint.assigned(long iteration, Value value)
void	DepartmentSpreadConstraint.computeConflicts(Value value, Set conflicts)
void	GroupConstraint.computeConflicts(Value value, Set conflicts)
void	InstructorConstraint.computeConflicts(Value value, Set conflicts)
void	JenrlConstraint.computeConflicts(Value value, Set conflicts)
void	ResourceConstraint.computeConflicts(Value value, Set conflicts)
void	RoomConstraint.computeConflicts(Value value, Set conflicts)
int	InstructorConstraint.getPreference(Value value) Back-to-back preference of the given placement
boolean	DepartmentSpreadConstraint.inConflict(Value value)
boolean	GroupConstraint.inConflict(Value value)
boolean	InstructorConstraint.inConflict(Value value)
boolean	JenrlConstraint.inConflict(Value value)
boolean	ResourceConstraint.inConflict(Value value)
boolean	RoomConstraint.inConflict(Value value)
void	DepartmentSpreadConstraint.incUnassignmentCounter(Value value) Increment unassignment counter
boolean	DepartmentSpreadConstraint.isConsistent(Value value1, Value value2)
boolean	GroupConstraint.isConsistent(Value value1, Value value2)
boolean	InstructorConstraint.isConsistent(Value value1, Value value2)
boolean	JenrlConstraint.isConsistent(Value value1, Value value2)
boolean	ResourceConstraint.isConsistent(Value value1, Value value2)
boolean	RoomConstraint.isConsistent(Value value1, Value value2)
long	JenrlConstraint.jenrl(Variable variable, Value value) Number of joined enrollments if the given value is assigned to the given variable
void	DepartmentSpreadConstraint.unassigned(long iteration, Value value)
void	GroupConstraint.unassigned(long iteration, Value value)
void	JenrlConstraint.unassigned(long iteration, Value value)
void	ResourceConstraint.unassigned(long iteration, Value value)
void	RoomConstraint.unassigned(long iteration, Value value)

Uses of Value in ttsolver.heuristics

Methods in ttsolver.heuristics that return Value

Value

PlacementSelection.selectValue(Solution solution, Variable selectedVariable)

Methods in ttsolver.heuristics with parameters of type Value

protected double

UniversalPerturbationsCounter.getPenalty(Value assignedValue, Value initialValue)

Uses of Value in ttsolver.model

Subclasses of Value in ttsolver.model

class

Placement Placement (value).

Methods in ttsolver.model with parameters of type Value

Vector	Lecture.conflictLectures(Value value) Lectures different from this one, which are in a student conflict with the given assignment (of this lecture)
Vector	Lecture.conflictStudents(Value value) List of students of this class in conflict with the given assignment
Vector	Lecture.conflictStudents(Value value, Variable anotherVariable) List of students which are in conflict with the given two classes
int	Lecture.countStudentConflicts(Value value) Number of student conflicts caused by the given assignment of this lecture