Overview | Package | Class | Use | Tree | Deprecated | Index | Help
PREV NEXT | FRAMES NO FRAMES

## 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

Overview | Package | Class | Use | Tree | Deprecated | Index | Help
PREV NEXT | FRAMES NO FRAMES

Copyright © 2005 Tomáš Müller