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

A B C D E F G H I J L M N O P Q R S T U V W X

## A

activeJenrls() - Method in class ttsolver.model.Lecture
  Active jenrl constraints (active mean that there is at least one student between its classes)
Activity - Class in ifs.example.tt
  Activity (variable).
Activity(int, String, String) - Constructor for class ifs.example.tt.Activity
add(double[], Object) - Method in class ttsolver.heuristics.HeuristicSelector
  Adds an object to selection
addActiveJenrl(JenrlConstraint) - Method in class ttsolver.model.Lecture
  Add active jenrl constraint (active mean that there is at least one student between its classes)
addAssignment(Assignment) - Method in class ifs.extension.AssignmentSet
  Adds an assignment
addAssignment(long, Value, double) - Method in class ifs.extension.AssignmentSet
  Adds an assignment
addConstraint(Constraint) - Method in class ifs.extension.MacPropagation
  Adds a constraint on which arc-consistency is to be maintained
addConstraint(Constraint) - Method in class ifs.model.Model
  Adds a constraint to the model
addConstraint(Constraint) - Method in class ttsolver.TimetableModel
addConstraintListener(ConstraintListener) - Method in class ifs.model.Constraint
  Adds a constraint listener
addContstraint(Constraint) - Method in class ifs.model.Variable
  Adds a constraint.
addContstraint(Constraint) - Method in class ttsolver.model.Lecture
addDiscouragedSlot(int, int) - Method in class ifs.example.tt.Activity
addDiscouragedSlot(int) - Method in class ifs.example.tt.Activity
addDiscouragedSlot(int, int) - Method in class ifs.example.tt.Resource
addDiscouragedSlot(int) - Method in class ifs.example.tt.Resource
addExtension(Extension) - Method in class ifs.solver.Solver
  Add an IFS extension
addModelListener(ModelListener) - Method in class ifs.model.Model
  Adds a model listener
addProgressListener(ProgressListener) - Method in class ifs.util.Progress
  Adds progress listener
addProhibitedSlot(int, int) - Method in class ifs.example.tt.Activity
addProhibitedSlot(int) - Method in class ifs.example.tt.Activity
addProhibitedSlot(int, int) - Method in class ifs.example.tt.Resource
addProhibitedSlot(int) - Method in class ifs.example.tt.Resource
addResourceGroup(Vector) - Method in class ifs.example.tt.Activity
addResourceGroup(Resource[]) - Method in class ifs.example.tt.Activity
addResourceGroup(Resource) - Method in class ifs.example.tt.Activity
addSameLectureStudent(String) - Method in class ttsolver.model.Lecture
  Add a student enrolled to a cross-listed class
addSolutionListener(SolutionListener) - Method in class ifs.solution.Solution
  Adds solution listner
addSolverListener(SolverListener) - Method in class ifs.solver.Solver
  Adds a solver listener
addStudent(String) - Method in class ttsolver.model.CrossListedLecture
  Add student enrollment
addStudent(String) - Method in class ttsolver.model.Lecture
  Add an enrolled student
addVariable(Variable) - Method in class ifs.model.BinaryConstraint
addVariable(Variable) - Method in class ifs.model.Constraint
  Add a variable to this constraint
addVariable(Variable) - Method in class ifs.model.Model
  Adds a variable to the model
addVariableListener(VariableListener) - Method in class ifs.model.Variable
  Adds variable listener
after(Location) - Method in class ifs.example.jobshop.Location
  Returnts true if after the given location
afterAssigned(long, Value) - Method in class ifs.dbt.DbtPropagation
  Propagation takes place every time a value is assigned to a variable.
afterAssigned(long, Value) - Method in class ifs.extension.Extension
  Called after a value is assigned to a variable
afterAssigned(long, Value) - Method in class ifs.extension.MacPropagation
  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.
afterAssigned(long, Value) - Method in class ifs.model.Model
  Called after a value is assigned to its variable
afterAssigned(long, Value) - Method in interface ifs.model.ModelListener
  Called after a value is assigned to its variable (`Value.variable()`).
afterAssigned(long, Value) - Method in class ttsolver.TimetableModel
  When a value is assigned to a variable -- update gloval preferences
afterUnassigned(long, Value) - Method in class ifs.dbt.DbtPropagation
  Undo propagation when a value is unassigned.
afterUnassigned(long, Value) - Method in class ifs.extension.Extension
  Called after a value is unassigned from a variable
afterUnassigned(long, Value) - Method in class ifs.extension.MacPropagation
  After a value is unassigned: explanations of all values of unassigned variable are recomputed (`Value.conflicts()`), propagation undo over the unassigned variable takes place.
afterUnassigned(long, Value) - Method in class ifs.model.Model
  Called after a value is unassigned from its variable
afterUnassigned(long, Value) - Method in interface ifs.model.ModelListener
  Called after a value is unassigned from its variable (`Value.variable()`).
afterUnassigned(long, Value) - Method in class ttsolver.TimetableModel
  When a value is unassigned from a variable -- update gloval preferences
allStudents() - Method in class ttsolver.model.Lecture
  List of enrolled students of this class and of all its cross-listed classes
another(Variable) - Method in class ifs.model.BinaryConstraint
  Returns the variable out of the constraints variables which is different from the given variable.
assign(long, Value) - Method in class ifs.model.Variable
  Assign value to this variable.
assigned(long, Value) - Method in class ifs.example.rpp.ResourceConstraint
  Notification, when a rectangle is placed.
assigned(long, Value) - Method in class ifs.example.tt.Resource
assigned(long, Value) - Method in class ifs.model.Constraint
  Given value is to be assigned to its varable.
assigned(long) - Method in class ifs.model.Value
  Notification (called by variable) that this value is assigned
assigned(long, Value) - Method in class ttsolver.constraint.DepartmentSpreadConstraint
assigned(long, Value) - Method in class ttsolver.constraint.GroupConstraint
assigned(long, Value) - Method in class ttsolver.constraint.JenrlConstraint
assigned(long, Value) - Method in class ttsolver.constraint.ResourceConstraint
assigned(long, Value) - Method in class ttsolver.constraint.RoomConstraint
assignedVariables() - Method in class ifs.model.Constraint
  The list of variables of this constraint that are assigned
assignedVariables() - Method in class ifs.model.Model
  The list of assigned variables in the model
Assignment - Class in ifs.extension
  This class describing an assignment of a value to a variable together with a counter (used by CBS).
Assignment(long, Value, double) - Constructor for class ifs.extension.Assignment
  Constructor
Assignment.AssignmentComparator - Class in ifs.extension
  Assignment comparator
Assignment.AssignmentComparator(long) - Constructor for class ifs.extension.Assignment.AssignmentComparator
AssignmentSet - Class in ifs.extension
  This class describing a set of assignment (used by CBS).
AssignmentSet() - Constructor for class ifs.extension.AssignmentSet
AssignmentSet(Assignment[]) - Constructor for class ifs.extension.AssignmentSet
AssignmentSet(Collection) - Constructor for class ifs.extension.AssignmentSet
autoConfigure() - Method in class ifs.solver.Solver
  Automatic configuratin of the solver -- when Solver.AutoConfigure is true

## B

before(Location) - Method in class ifs.example.jobshop.Location
  Returnts true if before the given location
beforeAssigned(long, Value) - Method in class ifs.extension.Extension
  Called before a value is assigned to a variable
beforeAssigned(long, Value) - Method in class ifs.extension.MacPropagation
  Before a value is unassigned: until the value is inconsistent with the current solution, an assignment from its explanation is picked and unassigned.
beforeAssigned(long, Value) - Method in class ifs.model.Model
  Called before a value is assigned to its variable
beforeAssigned(long, Value) - Method in interface ifs.model.ModelListener
  Called before a value is assigned to its variable (`Value.variable()`).
beforeUnassigned(long, Value) - Method in class ifs.extension.Extension
  Called after a value is unassigned from a variable
beforeUnassigned(long, Value) - Method in class ifs.model.Model
  Called before a value is unassigned from its variable
beforeUnassigned(long, Value) - Method in interface ifs.model.ModelListener
  Called before a value is unassigned from its variable (`Value.variable()`).
bestCleared(Solution) - Method in class ifs.extension.ConflictStatistics
bestCleared(Solution) - Method in interface ifs.solution.SolutionListener
  Called by the solution when method `Solution.clearBest()` is called.
bestCleared(Solution) - Method in class ttsolver.Test
bestDepartmentSpreadPenalty() - Method in class ttsolver.TimetableModel
  Overall departmental spread penalty of the best solution ever found
bestGlobalGroupConstraintPreference() - Method in class ttsolver.TimetableModel
  Overall group constraint preference of the best solution ever found
bestGlobalRoomPreference() - Method in class ttsolver.TimetableModel
  Overall room preference of the best solution ever found
bestGlobalTimePreference() - Method in class ttsolver.TimetableModel
  Overall time preference of the best solution ever found
bestHardStudentConflicts() - Method in class ttsolver.TimetableModel
  Overall number of student conflicts between single section classes of the best solution ever found
bestInstructorDistancePreference() - Method in class ttsolver.TimetableModel
  Overall instructor distance preference of the best solution ever found
bestRestored(Solution) - Method in class ifs.extension.ConflictStatistics
bestRestored(Solution) - Method in interface ifs.solution.SolutionListener
  Called by the solution when method `Solution.restoreBest()` is called.
bestRestored(Solution) - Method in class ttsolver.Test
bestSaved(Solution) - Method in class ifs.extension.ConflictStatistics
bestSaved(Solution) - Method in interface ifs.solution.SolutionListener
  Called by the solution when method `Solution.saveBest()` is called.
bestSaved(Solution) - Method in class ttsolver.Test
bestTooBigRooms() - Method in class ttsolver.TimetableModel
  Overall number of too big rooms of the best solution ever found
bestUnassignedVariables() - Method in class ifs.model.Model
  The list of unassigned variables in the best ever found solution
bestUselessSlots() - Method in class ttsolver.TimetableModel
  Overall number of useless slots of the best solution ever found
bestViolatedStudentConflicts() - Method in class ttsolver.TimetableModel
  Overall number of student conflicts of the best solution ever found
BinaryConstraint - Class in ifs.model
  Binary constraint.
BinaryConstraint() - Constructor for class ifs.model.BinaryConstraint

## C

canContinue(Solution) - Method in class ifs.termination.GeneralTerminationCondition
canContinue(Solution) - Method in class ifs.termination.MPPTerminationCondition
canContinue(Solution) - Method in interface ifs.termination.TerminationCondition
  Returns true when the solver can continue with the next iteration
check() - Method in class ifs.example.rpp.ResourceConstraint
checkJenrl() - Method in class ttsolver.TimetableModel
  Check validity of JENRL constraints from student enrollments
clearBest() - Method in class ifs.solution.Solution
  Clear the best ever found solution
clearBest() - Method in class ifs.solver.Solver
  Clears best solution
clone() - Method in class ifs.util.PrologFile.Term
col2string(Collection, int) - Static method in class ifs.util.ToolBox
  Multiline representation of a colection
combine(int, int) - Static method in class ifs.extension.Assignment
  Combine two integers (for hash code)
compare(Object, Object) - Method in class ifs.extension.Assignment.AssignmentComparator
compareTo(long, Assignment) - Method in class ifs.extension.Assignment
  Compare two assignments (their counters)
compareTo(Object) - Method in class ifs.model.Value
compareTo(Object) - Method in class ifs.model.Variable
computeConflicts(Value, Set) - Method in class ifs.example.csp.CSPBinaryConstraint
  Add the other variable to the set of conflicts, if it is not compatible with the given value.
computeConflicts(Value, Set) - Method in class ifs.example.jobshop.Job
  Adds conflicting operations into the set of conflicts.
computeConflicts(Value, Set) - Method in class ifs.example.jobshop.Machine
  Adds conflicting operations into the set of conflicts.
computeConflicts(Value, Set) - Method in class ifs.example.rpp.ResourceConstraint
  Compute conflicts with the given placement of the rectangle.
computeConflicts(Value, Set) - Method in class ifs.example.tt.Dependence
computeConflicts(Value, Set) - Method in class ifs.example.tt.Resource
computeConflicts(Value, Set) - Method in class ifs.model.Constraint
  The only method which has to be implemented by any constraint.
computeConflicts(Value, Set) - Method in class ttsolver.constraint.DepartmentSpreadConstraint
computeConflicts(Value, Set) - Method in class ttsolver.constraint.GroupConstraint
computeConflicts(Value, Set) - Method in class ttsolver.constraint.InstructorConstraint
computeConflicts(Value, Set) - Method in class ttsolver.constraint.JenrlConstraint
computeConflicts(Value, Set) - Method in class ttsolver.constraint.ResourceConstraint
computeConflicts(Value, Set) - Method in class ttsolver.constraint.RoomConstraint
computeNrOfDiscouragedSlots() - Method in class ifs.example.tt.Location
  Computes number of discouraged slots (over all resources and the activity)
computeValues() - Method in class ifs.example.tt.Activity
computeValues() - Method in class ttsolver.model.Lecture
  Domain -- all combinations of room and time locations
configureLogging() - Static method in class ifs.util.ToolBox
  Configurates log4j loging
configureLogging(String, Properties) - Static method in class ifs.util.ToolBox
  Configurates log4j loging
configureLogging(String, Properties, boolean) - Static method in class ifs.util.ToolBox
  Configurates log4j loging
conflictConstraints(Value) - Method in class ifs.model.Model
  The list of constraints which are in a conflict with the given value if it is assigned to its variable.
conflictLectures(String) - Method in class ttsolver.model.Lecture
  Lectures different from this one, where it is student conflict of the given student between this and the lecture
conflictLectures(Value) - Method in class ttsolver.model.Lecture
  Lectures different from this one, which are in a student conflict with the given assignment (of this lecture)
conflictLectures() - Method in class ttsolver.model.Lecture
  Lectures different from this one, which are in a student conflict with the this lecture
conflictLecturesNames(String) - Method in class ttsolver.model.Lecture
  Names of lectures different from this one, where it is student conflict of the given student between this and the lecture
conflicts() - Method in class ifs.model.Value
  Returns a set of conflicting values with this value.
ConflictStatistics - Class in ifs.extension
  Conflict-based statistics.
ConflictStatistics(Solver, DataProperties) - Constructor for class ifs.extension.ConflictStatistics
conflictStudents(Value, Variable) - Method in class ttsolver.model.Lecture
  List of students which are in conflict with the given two classes
conflictStudents(Value) - Method in class ttsolver.model.Lecture
  List of students of this class in conflict with the given assignment
conflictStudents() - Method in class ttsolver.model.Lecture
  List of students of this class which are in conflict with any other assignment
conflictValues(Value) - Method in class ifs.model.Model
  Returns the set of confliction variables with this value, if it is assigned to its variable
Constants - Class in ifs
  IFS common constants.
Constants() - Constructor for class ifs.Constants
CONSTR_PREFERENCE_WEIGHT - Static variable in class ttsolver.heuristics.TimetableComparator
Constraint - Class in ifs.model
  Generic constraint.
Constraint() - Constructor for class ifs.model.Constraint
  Constructor
constraintAdded(Constraint) - Method in class ifs.extension.ConflictStatistics
constraintAdded(Constraint) - Method in class ifs.extension.Extension
  Called when a constraint is added to the model
constraintAdded(Constraint) - Method in interface ifs.model.ModelListener
  Constraint is added to the model
constraintAfterAssigned(long, Constraint, Value, Set) - Method in class ifs.extension.ConflictStatistics
  Increments appropriate counters when there is a value unassigned
constraintAfterAssigned(long, Constraint, Value, Set) - Method in interface ifs.model.ConstraintListener
  Called by the constraint, after a value is assigned to its variable.
constraintBeforeAssigned(long, Constraint, Value, Set) - Method in class ifs.extension.ConflictStatistics
constraintBeforeAssigned(long, Constraint, Value, Set) - Method in interface ifs.model.ConstraintListener
  Called by the constraint, before a value is assigned to its variable.
ConstraintListener - Interface in ifs.model
  IFS constraint listener.
constraintRemoved(Constraint) - Method in class ifs.extension.ConflictStatistics
constraintRemoved(Constraint) - Method in class ifs.extension.Extension
  Called when a constraint is removed from the model
constraintRemoved(Constraint) - Method in interface ifs.model.ModelListener
  Constraint is removed from the model
constraints() - Method in class ifs.model.Model
  The list of constraints in the model
constraints() - Method in class ifs.model.Variable
  Return the list of constraints associated with this variable
constraintVariables() - Method in class ifs.model.Variable
  Returns a table of all variables linked with this variable by a constraint.
containResource(Resource) - Method in class ifs.example.tt.Location
  Returns true if the given resource is used by this location
contains(Assignment) - Method in class ifs.extension.AssignmentSet
  Returns true if it contains the given assignment
contains(AssignmentSet) - Method in class ifs.extension.AssignmentSet
contains(Value) - Method in class ifs.extension.AssignmentSet
  Returns true if it contains the given assignment
contains(Variable) - Method in class ifs.extension.AssignmentSet
  Returns true if it contains the given assignment (assigned variable)
contains(Collection) - Method in class ifs.extension.AssignmentSet
contains(Constraint) - Method in class ifs.extension.MacPropagation
  Returns true, if arc-consistency is to be maintained on the given constraint
contains(Object) - Method in class ifs.util.Queue
  Returns true if queue contains the given object
containsPropery(String) - Method in class ifs.util.DataProperties
  Returns true if there is such property
countAssignedVariables() - Method in class ifs.model.Constraint
  The number of variables of this constraint that are assigned
countAssignments() - Method in class ifs.model.Value
  Returns the number of assignments of this value to its variable.
countAssignments() - Method in class ifs.model.Variable
  Return how many times was this variable assigned in the past.
countConstraints() - Method in class ifs.model.Model
  The number of constraints in the model
Counter - Class in ifs.util
  Counter.
Counter() - Constructor for class ifs.util.Counter
countInitialStudentConflicts() - Method in class ttsolver.model.Lecture
  Number of student conflicts caused by the initial assignment of this lecture
countJobs() - Method in class ifs.example.jobshop.JobShopModel
  Count number of jobs in the model
countMachines() - Method in class ifs.example.jobshop.JobShopModel
  Count number of machines in the model
countOperations() - Method in class ifs.example.jobshop.Job
  Count job operations for the job (i.e., the number of variables in this constraint)
countPotentialConflicts(long, Value, int) - Method in class ifs.extension.ConflictStatistics
  Counts potential number of unassignments of if the given value is selected.
countRemovals(long, Collection, Value) - Method in class ifs.extension.ConflictStatistics
  Counts number of unassignments of the given conflicting values caused by the assignment of the given value.
countRemovals(long, Value, Value) - Method in class ifs.extension.ConflictStatistics
  Counts number of unassignments of the given conflicting value caused by the assignment of the given value.
countStudentConflicts(Value) - Method in class ttsolver.model.Lecture
  Number of student conflicts caused by the given assignment of this lecture
countStudents() - Method in class ttsolver.model.Lecture
  Expected capacity
countTooBigRooms() - Method in class ttsolver.TimetableModel
  Overall number of too big rooms (rooms with more than 3/2 seats than needed)
countUselessSlots() - Method in class ttsolver.constraint.ResourceConstraint
  Number of useless slots for this resource
countUselessSlots() - Method in class ttsolver.constraint.RoomConstraint
  Number of useless slots for this room
countVariables() - Method in class ifs.model.Constraint
  The number of variables of this constraint
countVariables() - Method in class ifs.model.Model
  The number of variables in the model
countViolatedStudentConflicts() - Method in class ttsolver.TimetableModel
  Number of student conflicts
createAssignmentSet(long, Collection, double) - Static method in class ifs.extension.AssignmentSet
  Create set of assignments from the list of Assignments, Values or (assigned) Variables
CrossListedLecture - Class in ttsolver.model
  Cross-listed lectures of a lecture.
CrossListedLecture(String, String, String, int) - Constructor for class ttsolver.model.CrossListedLecture
  Constructor
CrossListedLecture(String, String, String, int, String) - Constructor for class ttsolver.model.CrossListedLecture
  Constructor
crossListedLectures() - Method in class ttsolver.model.Lecture
CSPBinaryConstraint - Class in ifs.example.csp
  CSP binary constraint.
CSPBinaryConstraint(int, int) - Constructor for class ifs.example.csp.CSPBinaryConstraint
  Constructor
CSPModel - Class in ifs.example.csp
  Random Binary CSP with uniform distribution.
CSPModel(int, int, int, int, long) - Constructor for class ifs.example.csp.CSPModel
  Constructor
CSPValue - Class in ifs.example.csp
  CSP value.
CSPValue(Variable, int) - Constructor for class ifs.example.csp.CSPValue
  Constructor
CSPVariable - Class in ifs.example.csp
  CSP variable.
CSPVariable(int, int) - Constructor for class ifs.example.csp.CSPVariable
  Constructor
CSPVariable(int, int, int) - Constructor for class ifs.example.csp.CSPVariable
  Constructor
currentSolution() - Method in class ifs.solver.Solver
  Current solution (during the search)
currentTimeSec() - Static method in class ifs.util.JProf
  Current CPU time of this thread in seconds

## D

DataProperties - Class in ifs.util
  Data properties.
DataProperties() - Constructor for class ifs.util.DataProperties
  Constructor
DataProperties(Properties) - Constructor for class ifs.util.DataProperties
  Constructor
DataProperties(Dictionary) - Constructor for class ifs.util.DataProperties
  Constructor
DbtPropagation - Class in ifs.dbt
  Maintenance of arc consistency in dynamic backtracking.
DbtPropagation(Solver, DataProperties) - Constructor for class ifs.dbt.DbtPropagation
  Constructor.
DbtValueSelection - Class in ifs.dbt
  Selection of a value for dynamic backtracking.
DbtValueSelection(DataProperties) - Constructor for class ifs.dbt.DbtValueSelection
DbtVariableSelection - Class in ifs.dbt
  Selection of a variable for dynamic backtracking.
DbtVariableSelection(DataProperties) - Constructor for class ifs.dbt.DbtVariableSelection
DEBUG - Static variable in class ttsolver.TimetableXMLSaver
dec(long) - Method in class ifs.util.Counter
  Decrement counter
decJenrl() - Method in class ttsolver.constraint.JenrlConstraint
  Decrement the number of joined enrollments (during student final sectioning)
DefaultPerturbationsCounter - Class in ifs.perturbations
  Default computation of perturbation penalty (minimal perturbation problem).
DefaultPerturbationsCounter(DataProperties) - Constructor for class ifs.perturbations.DefaultPerturbationsCounter
  Constructor
DELTA_INITIAL_ASSIGNMENT_WEIGHT - Static variable in class ttsolver.heuristics.PlacementSelection
DELTA_TIME_PREFERENCE_WEIGHT - Static variable in class ttsolver.heuristics.PlacementSelection
DepartmentSpreadConstraint - Class in ttsolver.constraint
  Departmental ballancing constraint.
DepartmentSpreadConstraint(DataProperties, String) - Constructor for class ttsolver.constraint.DepartmentSpreadConstraint
Dependence - Class in ifs.example.tt
  Binary dependence between two activities.
Dependence(String, int) - Constructor for class ifs.example.tt.Dependence
DEPT_SPREAD_PENALTY_WEIGHT - Static variable in class ttsolver.heuristics.TimetableComparator
DEPT_SPREAD_WEIGHT - Static variable in class ttsolver.heuristics.PlacementSelection
dict2string(Dictionary, int) - Static method in class ifs.util.ToolBox
  Multiline representation of a dictionary
DISTANCE_INSTRUCTOR_PREFERENCE_WEIGHT - Static variable in class ttsolver.heuristics.PlacementSelection
DISTANCE_INSTRUCTOR_PREFERENCE_WEIGHT - Static variable in class ttsolver.heuristics.TimetableComparator

## E

element(String) - Method in class ifs.util.PrologFile.Term
  element of content named name
elementAt(int) - Method in class ifs.util.PrologFile.Term
  idx-th element of content
elements() - Method in class ifs.util.FastVector
equals(Object) - Method in class ifs.example.jobshop.Operation
  Compares two operations -- job number and operation number must match
equals(Object) - Method in class ifs.example.rpp.Location
  Compare two coordinates.
equals(Object) - Method in class ifs.example.rpp.Rectangle
  Compares two rectangles (based on rectangle names)
equals(Object) - Method in class ifs.extension.Assignment
equals(Object) - Method in class ifs.extension.AssignmentSet
  Compares two assignment sets -- name, size and content (assignments) has to match.
equals(Object) - Method in class ifs.model.Value
  By default, comparison is made on unique ids
equals(Object) - Method in class ifs.model.Variable
equals(Object) - Method in class ifs.util.PrologFile.Term
equals(Object) - Method in class ttsolver.model.CrossListedLecture
equals(Object) - Method in class ttsolver.model.Lecture
equals(Object) - Method in class ttsolver.model.Placement
Extension - Class in ifs.extension
  Generic extension of IFS solver.
Extension(Solver, DataProperties) - Constructor for class ifs.extension.Extension
  Constructor

## F

FastVector - Class in ifs.util
  Vector extension with faster enumeration.
FastVector() - Constructor for class ifs.util.FastVector
FastVector(int) - Constructor for class ifs.util.FastVector
FastVector(int, int) - Constructor for class ifs.util.FastVector
FastVector(Collection) - Constructor for class ifs.util.FastVector
first() - Method in class ifs.model.BinaryConstraint
  First variable

## G

GeneralSolutionComparator - Class in ifs.solution
  General implementation of solution comparator.
GeneralSolutionComparator() - Constructor for class ifs.solution.GeneralSolutionComparator
GeneralSolutionComparator(DataProperties) - Constructor for class ifs.solution.GeneralSolutionComparator
  No parameters are used so far.
GeneralTerminationCondition - Class in ifs.termination
  General implementation of termination condition.
GeneralTerminationCondition(DataProperties) - Constructor for class ifs.termination.GeneralTerminationCondition
GeneralValueSelection - Class in ifs.heuristics
  General implementation of value selection criterion.
GeneralValueSelection() - Constructor for class ifs.heuristics.GeneralValueSelection
GeneralValueSelection(DataProperties) - Constructor for class ifs.heuristics.GeneralValueSelection
  Constructor
GeneralVariableSelection - Class in ifs.heuristics
  General implementation of variable selection criterion.
GeneralVariableSelection(DataProperties) - Constructor for class ifs.heuristics.GeneralVariableSelection
  Constructor
GeneralVariableSelection() - Constructor for class ifs.heuristics.GeneralVariableSelection
generate(DataProperties) - Static method in class ifs.example.tt.TimetableModel
generateInitialValue(Random) - Method in class ifs.example.csp.CSPVariable
  Generate an intial value (for MPP and for forcing of existance of a solution)
get() - Method in class ifs.util.Counter
  Returns current value
get() - Method in class ifs.util.Queue
  Gets first element of the queue
getActivityId() - Method in class ifs.example.tt.Activity
getAssignment(Value) - Method in class ifs.extension.AssignmentSet
  Returns assignment that corresponds to the given value (if it is present in the set)
getAssignment() - Method in class ifs.model.Variable
  Returns current assignment
getBestAssignment() - Method in class ifs.model.Variable
  Returns the value from the best ever found soultion.
getBestAssignmentIteration() - Method in class ifs.model.Variable
  Returns the iteration when the best value was assigned
getBestInfo() - Method in class ifs.solution.Solution
  Info of the best ever found solution
getBestIteration() - Method in class ifs.solution.Solution
  Iteration when the best ever found solution was found
getBestPertirbations() - Method in class ifs.solution.Solution
  Number of perturbation variables (variables with non-initial value assigned) if the best ever solution found
getBestPerturbations() - Method in class ifs.model.Model
  Returns the number of perturbation variables in the best ever found solution
getBestPerturbationsPenalty() - Method in class ifs.solution.Solution
  Perturbation penalty of the best ever found solution (see `PerturbationsCounter`)
getBestRoomPreference() - Method in class ttsolver.model.Lecture
  Best room preference of this lecture
getBestRoomPreference() - Method in class ttsolver.TimetableModel
  Overall room preference of the best solution ever found
getBestTime() - Method in class ifs.solution.Solution
  Solution time when the best ever found solution was found
getBestTimePreference() - Method in class ttsolver.model.Lecture
  Best time preference of this lecture
getBestTimePreference() - Method in class ttsolver.TimetableModel
  Overall time preference of the best solution ever found
getBestUnassignedVariables() - Method in class ifs.model.Model
  Returns the number of unassigned variables in the best ever found solution
getBestValue() - Method in class ifs.solution.Solution
  Total value of the best ever found solution -- sum of all assigned values (see `Value.toInt()`).
getBuildingId() - Method in class ttsolver.model.Placement
  Building id
getBuildingId() - Method in class ttsolver.model.RoomLocation
  Building id
getBuildNumber() - Static method in class ifs.Constants
  Build number
getClassId() - Method in class ttsolver.model.Lecture
  Class id
getCompactInfo(Solution, boolean, boolean) - Method in class ttsolver.heuristics.UniversalPerturbationsCounter
getComparator(long) - Static method in class ifs.extension.Assignment
  Returns comparator of assignments
getConstraint() - Method in class ifs.extension.AssignmentSet
  Returns constraint
getContent() - Method in class ifs.util.PrologFile.Term
  return content
getCounter(long) - Method in class ifs.extension.Assignment
  Get counter
getCounter() - Method in class ifs.extension.AssignmentSet
  Returns counter
getCourseNbr() - Method in class ttsolver.model.CrossListedLecture
  Course number
getCurrentPreference() - Method in class ttsolver.constraint.GroupConstraint
  Current constraint preference (0 if prohibited or reqired, depends on current satisfaction of the constraint)
getCurrentPreference(Placement) - Method in class ttsolver.constraint.GroupConstraint
  Current constraint preference (if given placement is assigned)
getCurrentThreadCpuTime() - Static method in class ifs.util.JProf
  Current CPU time of this thread (will fail when jprof is not loaded).
getDayCode() - Method in class ttsolver.model.TimeLocation
  Days (combination of 1 for Monday, 2 for Tuesday, ...)
getDayHeader() - Method in class ttsolver.model.TimeLocation
  Days for printing purposes
getDays() - Method in class ttsolver.constraint.ResourceConstraint
  Number of days
getDays() - Method in class ttsolver.constraint.RoomConstraint
  Number of days
getDepartment() - Method in class ttsolver.model.Lecture
  Department
getDepartmentSpreadConstraints() - Method in class ttsolver.TimetableModel
  The list of all departmental spread constraints
getDepartmentSpreadPenalty() - Method in class ttsolver.TimetableModel
  Overall departmental spread penalty
getDeptSpreadConstraint() - Method in class ttsolver.model.Lecture
  Departmental spreading constraint
getDescription() - Method in class ifs.extension.AssignmentSet
  Returns description
getDescription() - Method in class ifs.model.Constraint
  Constraint's description -- for printing purposes
getDescription() - Method in class ifs.model.Value
  Values description -- for printing purposes
getDescription() - Method in class ifs.model.Variable
  Variable's description -- for printing purposes
getDescription() - Method in class ttsolver.constraint.GroupConstraint
getDescription() - Method in class ttsolver.constraint.RoomConstraint
  Room description
getDescription() - Method in class ttsolver.model.Lecture
  Description
getDescription() - Method in class ttsolver.model.Placement
getDiscouragedSlots() - Method in class ifs.example.tt.Activity
getDiscouragedSlots() - Method in class ifs.example.tt.Resource
getDistance(Placement, Placement) - Static method in class ttsolver.model.Placement
  Distance between two placements
getDistancePreference(Placement, Placement) - Static method in class ttsolver.constraint.InstructorConstraint
  Back-to-back preference of two placements (3 means prohibited)
getDueTime() - Method in class ifs.example.jobshop.Job
  Get due time
getEndTimeHeader() - Method in class ttsolver.model.TimeLocation
  End time for printing purposes
getExtensions() - Method in class ifs.solver.Solver
  Returns list of all used extensions
getExtra() - Method in class ifs.model.Value
  Extra information to which can be used by an extension (see `Extension`).
getExtra() - Method in class ifs.model.Variable
  Extra information to which can be used by an extension (see `Extension`).
getFinishingTime() - Method in class ifs.example.jobshop.JobShopModel
  Get finishing time of the current (partial) solution
getFinishingTime() - Method in class ifs.example.jobshop.Location
  Get finishing time of the location (start time + operation processing time)
getGlobalGroupConstraintPreference() - Method in class ttsolver.TimetableModel
  Overall group constraint preference
getGlobalGroupConstraintPreferenceCounter() - Method in class ttsolver.TimetableModel
  Overall group constraint preference
getGlobalPreference() - Method in class ttsolver.constraint.GroupConstraint
  Global preference counter
getGlobalRoomPreference() - Method in class ttsolver.TimetableModel
  Overall room preference
getGlobalTimePreference() - Method in class ttsolver.TimetableModel
  Overall time preference
getGroupConstraints() - Method in class ttsolver.TimetableModel
  The list of all group constraints
getHardStudentConflicts() - Method in class ttsolver.TimetableModel
  Overall hard student conflicts (student conflict between single section classes)
getHeight() - Method in class ifs.example.rpp.Rectangle
  Returns height of the rectangle
getId() - Method in class ifs.model.Constraint
  Unique id
getId() - Method in class ifs.model.Value
  Unique id
getId() - Method in class ifs.model.Variable
  Unique id
getId() - Method in class ttsolver.constraint.GroupConstraint
  Constraint id
getId() - Method in class ttsolver.model.Lecture
  Class id
getId() - Method in class ttsolver.model.RoomLocation
  Room id
getInfo() - Method in class ifs.example.csp.StructuredCSPModel
  Return information table
getInfo() - Method in class ifs.example.jobshop.JobShopModel
  Get information table
getInfo(Hashtable) - Method in class ifs.extension.ConflictStatistics
getInfo(Solution, Dictionary) - Method in class ifs.extension.ConflictStatistics
getInfo(Hashtable) - Method in class ifs.extension.Extension
  Put some information from the extension to the solution info table
getInfo(Dictionary) - Method in class ifs.model.Constraint
  Adds some information into the table with information about the solution
getInfo() - Method in class ifs.model.Model
  Returns information about the current solution.
getInfo(Hashtable) - Method in interface ifs.model.ModelListener
  Query for info about the model.
getInfo(Dictionary, Solution) - Method in class ifs.perturbations.DefaultPerturbationsCounter
getInfo(Dictionary, Solution) - Method in interface ifs.perturbations.PerturbationsCounter
  Some (perturbation) information about the solution might be returned here.
getInfo() - Method in class ifs.solution.Solution
  Solution information.
getInfo(Solution, Dictionary) - Method in interface ifs.solution.SolutionListener
  Called by the solution when it is asked to produce info table, see `Solution.getInfo()`.
getInfo(Dictionary, Solution) - Method in class ttsolver.heuristics.UniversalPerturbationsCounter
getInfo(Solution, Dictionary) - Method in class ttsolver.Test
getInfo() - Method in class ttsolver.TimetableModel
  Global info
getInitialAssignment() - Method in class ifs.model.Variable
  Returns initial assignment
getInitialStudentConflicts() - Method in class ttsolver.model.Lecture
  Table of student conflicts caused by the initial assignment of this lecture in format (another lecture, number)
getInstance() - Static method in class ifs.util.Progress
  Progress instance
getInstructorConstraint() - Method in class ttsolver.model.Lecture
  Instructor constraint
getInstructorConstraints() - Method in class ttsolver.TimetableModel
  The list of all instructor constraints
getInstructorDistancePreference() - Method in class ttsolver.TimetableModel
  Overall instructor distance (back-to-back) preference
getInstructorId() - Method in class ttsolver.model.Lecture
  Instructor id
getInstructorId() - Method in class ttsolver.model.Placement
  Instructor id
getInstructorName() - Method in class ttsolver.model.Lecture
  Instructor name
getInstructorWorstDistancePreference() - Method in class ttsolver.TimetableModel
  The worst instructor distance (back-to-back) preference
getIntersection(TimeLocation) - Method in class ttsolver.model.TimeLocation
  Set of overlapping slots
getIteration() - Method in class ifs.solution.Solution
  Current iteration
getIType() - Method in class ttsolver.model.CrossListedLecture
  Instructional type
getJenrl() - Method in class ttsolver.constraint.JenrlConstraint
  Number of joined enrollments (during student final sectioning)
getJenrlConstraints() - Method in class ttsolver.TimetableModel
  The list of all jenrl constraints
getJob(int) - Method in class ifs.example.jobshop.JobShopModel
  Get job of the given number
getJob() - Method in class ifs.example.jobshop.Operation
  Get job
getJobNumber() - Method in class ifs.example.jobshop.Operation
  Get job number
getJobNumner() - Method in class ifs.example.jobshop.Job
  Get job number
getKernelId() - Method in class ifs.example.csp.CSPVariable
  Get kernel id
getLecture() - Method in class ttsolver.model.CrossListedLecture
  Parent lecture
getLength() - Method in class ifs.example.tt.Activity
getLength() - Method in class ttsolver.model.TimeLocation
  Length
getMachine(int) - Method in class ifs.example.jobshop.JobShopModel
  Get machine of the given numbner
getMachine() - Method in class ifs.example.jobshop.Operation
  Get machine
getMachineNumber() - Method in class ifs.example.jobshop.Machine
  Get machine number
getMachineNumber() - Method in class ifs.example.jobshop.Operation
  Get machine number
getMaxCapacity(long) - Static method in class ttsolver.TimetableModel
  Max capacity for too big rooms (3/2 of the number of students)
getMaxStartTime() - Method in class ifs.example.jobshop.Operation
  Get maximal starting time
getMaxX() - Method in class ifs.example.rpp.Rectangle
getMaxY() - Method in class ifs.example.rpp.Rectangle
getMinStartTime() - Method in class ifs.example.jobshop.Operation
  Get minimal starting time
getMinX() - Method in class ifs.example.rpp.Rectangle
getMinY() - Method in class ifs.example.rpp.Rectangle
getModel() - Method in class ifs.extension.Extension
  Returns the model
getModel() - Method in class ifs.model.Constraint
  The model which the constraint belongs to
getModel() - Method in class ifs.model.Variable
  Model, the variable belong to
getModel() - Method in class ifs.solution.Solution
  The model associated with the solution
getModel() - Method in class ttsolver.model.TimeLocation
  Time pattern model (can be null)
getModel() - Method in class ttsolver.TimetableLoader
getModel() - Method in class ttsolver.TimetableSaver
  Model of the solution
getModelListeners() - Method in class ifs.model.Model
  The list of model listeners
getName() - Method in class ifs.example.csp.CSPBinaryConstraint
getName() - Method in class ifs.example.csp.CSPValue
getName() - Method in class ifs.example.csp.CSPVariable
getName() - Method in class ifs.example.jobshop.Job
  Name of the job (e.g.
getName() - Method in class ifs.example.jobshop.Location
  Name -- start time
getName() - Method in class ifs.example.jobshop.Machine
  Name of the machine (e.g.
getName() - Method in class ifs.example.jobshop.Operation
  Operation's name (e.g., O[2,4] where 2 is the job number and 4 is the operation number
getName() - Method in class ifs.example.rpp.Location
  Location's name.
getName() - Method in class ifs.example.rpp.Rectangle
  Returns name of the rectangle
getName() - Method in class ifs.example.tt.Activity
getName() - Method in class ifs.example.tt.Dependence
getName() - Method in class ifs.example.tt.Location
getName() - Method in class ifs.example.tt.Resource
getName() - Method in class ifs.extension.AssignmentSet
  Returns name
getName() - Method in class ifs.model.Constraint
  Constraint's name -- for printing purposes
getName() - Method in class ifs.model.Value
  Values name -- for printing purposes (E.g., Monday 7:30)
getName() - Method in class ifs.model.Variable
  Variable's name -- for printing purposes
getName() - Method in class ttsolver.constraint.GroupConstraint
getName() - Method in class ttsolver.constraint.ResourceConstraint
  Resource name
getName() - Method in class ttsolver.constraint.RoomConstraint
  Room name
getName() - Method in class ttsolver.model.CrossListedLecture
  Name
getName() - Method in class ttsolver.model.Lecture
  Class name
getName() - Method in class ttsolver.model.Placement
getName() - Method in class ttsolver.model.RoomLocation
  Room name
getNormalizedPreference() - Method in class ttsolver.model.TimeLocation
  Normalized preference
getNrDays() - Method in class ifs.example.tt.TimetableModel
getNrHalfHoursPerMeeting() - Method in class ttsolver.model.TimeLocation
  Length
getNrHours() - Method in class ifs.example.tt.TimetableModel
getNrMeetings() - Method in class ttsolver.model.TimeLocation
  Number of meetings
getNrOfDiscouragedSlots() - Method in class ifs.example.tt.Location
  Number of slots (over all resources) which are discouraged
getObject() - Method in class ttsolver.heuristics.HeuristicSelector.Element
  given object
getOperation(int) - Method in class ifs.example.jobshop.Job
  Get operation of the given index (0..countOperations()-1)
getOperationNumber() - Method in class ifs.example.jobshop.Operation
  Get operation number
getPenalty(Value, Value) - Method in class ifs.perturbations.DefaultPerturbationsCounter
  Computes perturbation penalty between assigned and initial value of the same lecture.
getPenalty() - Method in class ttsolver.constraint.DepartmentSpreadConstraint
  Department balancing penalty for this department
getPenalty(Placement) - Method in class ttsolver.constraint.DepartmentSpreadConstraint
  Department balancing penalty of the given placement
getPenalty(Value, Value) - Method in class ttsolver.heuristics.UniversalPerturbationsCounter
getPenaltyA(Value, Value) - Method in class ifs.perturbations.DefaultPerturbationsCounter
  Case A: initial value of a different unassigned variable cannot be assigned (computed by `ViolatedInitials`)
getPenaltyB(Value, Value, Value) - Method in class ifs.perturbations.DefaultPerturbationsCounter
  Case B: initial value is unassigned from a conflicting variable.
getPenaltyC(Value, Value, Value) - Method in class ifs.perturbations.DefaultPerturbationsCounter
  Case C: non-initial value is unassigned from a conflicting variable.
getPenaltyD(Value, Value) - Method in class ifs.perturbations.DefaultPerturbationsCounter
  Case D: different than initial value is assigned to the varaible
getPerturbationPenalty(Solution) - Method in class ifs.perturbations.DefaultPerturbationsCounter
getPerturbationPenalty(Solution, Value, Collection) - Method in class ifs.perturbations.DefaultPerturbationsCounter
getPerturbationPenalty(Solution) - Method in interface ifs.perturbations.PerturbationsCounter
  Returns perturbation penalty, i.e., the distance between current solution and the solution of the initial problem (see `Variable.getInitialAssignment()`).
getPerturbationPenalty(Solution, Value, Collection) - Method in interface ifs.perturbations.PerturbationsCounter
  Returns perturbation penalty of the solution which become from the current solution when given conflicting values are unassigned and the selected value is assigned.
getPerturbationsCounter() - Method in class ifs.solution.Solution
  Returns perturbation counter
getPerturbationsCounter() - Method in class ifs.solver.Solver
  Returns perturbation counter (minimal perturbation problem)
getPhase() - Method in class ifs.util.Progress
  Current phase
getPosX() - Method in class ttsolver.model.RoomLocation
  X-position of the building
getPosY() - Method in class ttsolver.model.RoomLocation
  Y-position of the building
getPrecedingOperation() - Method in class ifs.example.jobshop.Operation
  Get the preceeding operation (if any)
getPreference() - Method in class ttsolver.constraint.GroupConstraint
  Constraint preference (0 if prohibited or reqired)
getPreference(Value) - Method in class ttsolver.constraint.InstructorConstraint
  Back-to-back preference of the given placement
getPreference() - Method in class ttsolver.constraint.InstructorConstraint
  Overall back-to-back preference of this instructor
getPreference() - Method in class ttsolver.model.RoomLocation
  Room preference
getPreference() - Method in class ttsolver.model.TimeLocation
  Preference
getProcessingTime() - Method in class ifs.example.jobshop.Operation
  Get processing time
getProgress() - Method in class ifs.util.Progress
  Current progress
getProgressMax() - Method in class ifs.util.Progress
  Maximum of current progress
getProhibitedSlots() - Method in class ifs.example.tt.Activity
getProhibitedSlots() - Method in class ifs.example.tt.Resource
getProhibitedX() - Method in class ifs.example.rpp.Rectangle
getProhibitedY() - Method in class ifs.example.rpp.Rectangle
getPrologPreference() - Method in class ttsolver.constraint.GroupConstraint
  Prolog reference: "R" for required, "P" for prohibited", "-2",.."2" for preference
getProperties() - Method in class ifs.extension.Extension
  Returns input configuration
getProperties() - Method in class ifs.solver.Solver
  Returns configuration
getProperties() - Method in class ttsolver.TimetableModel
getProperty(String, String) - Method in class ifs.util.DataProperties
  Returns string property
getPropertyBoolean(String, boolean) - Method in class ifs.util.DataProperties
  Returns boolean property
getPropertyDouble(String, double) - Method in class ifs.util.DataProperties
  Returns double property
getPropertyFloat(String, float) - Method in class ifs.util.DataProperties
  Returns float property
getPropertyInt(String, int) - Method in class ifs.util.DataProperties
  Returns int property
getPropertyLong(String, long) - Method in class ifs.util.DataProperties
  Returns long property
getRandom() - Static method in class ifs.util.ToolBox
  Gets random number generator
getRectangle(String) - Method in class ifs.example.rpp.RPPModel
  Returns rectangle of the given name
getReleaseDate() - Static method in class ifs.Constants
  Release date
getResource(int) - Method in class ifs.example.tt.Location
  Gets given resource
getResource() - Method in class ttsolver.constraint.ResourceConstraint
  Lookup table getResource()[slot] -> lecture using this resource placed in the given time slot (null if empty)
getResource() - Method in class ttsolver.constraint.RoomConstraint
  Lookup table getResource()[slot] -> lecture using this room placed in the given time slot (null if empty)
getResourceGroup(int) - Method in class ifs.example.tt.Activity
getResourceGroups() - Method in class ifs.example.tt.Activity
getResourceId() - Method in class ifs.example.tt.Dependence
getResourceId() - Method in class ifs.example.tt.Resource
getResourceId() - Method in class ttsolver.constraint.ResourceConstraint
  Resource id
getResourceId() - Method in class ttsolver.constraint.RoomConstraint
  Room id
getResources() - Method in class ifs.example.tt.Location
  Gets selection of resources
getRoomConstraints() - Method in class ttsolver.TimetableModel
  The list of all room constraints
getRoomId() - Method in class ttsolver.model.Placement
  Room id
getRoomLocation() - Method in class ttsolver.model.Placement
  Room location
getRoomSize() - Method in class ttsolver.model.RoomLocation
  Room size
getSameRoomValues(String) - Method in class ttsolver.model.Lecture
  All values which uses the given room
getSection() - Method in class ttsolver.model.CrossListedLecture
  Section
getSeed() - Static method in class ifs.util.ToolBox
  Gets current seed
getSet() - Method in class ifs.extension.AssignmentSet
  Returns set of assignments
getSlot() - Method in class ifs.example.tt.Location
  Gets slot
getSlots() - Method in class ttsolver.model.TimeLocation
  Used slots
getSlotsPerDay() - Method in class ttsolver.constraint.ResourceConstraint
  Number of slots per day
getSlotsPerDay() - Method in class ttsolver.constraint.RoomConstraint
  Number of slots per day
getSolution() - Method in class ttsolver.TimetableSaver
  Solution to be saved
getSolutionComparator() - Method in class ifs.solver.Solver
  Returns solution comparator
getSolver() - Method in class ifs.extension.Extension
  Returns the solver
getSolverThread() - Method in class ifs.solver.Solver
  Returns solver's thread
getStartSlot() - Method in class ttsolver.model.TimeLocation
  Start slot
getStartSlots() - Method in class ttsolver.model.TimeLocation
  Used start slots (for each meeting)
getStartTime() - Method in class ifs.example.jobshop.Location
  Get start time of the location
getStartTimeHeader() - Method in class ttsolver.model.TimeLocation
  Start time for printing purposes
getStatus() - Method in class ifs.util.Progress
  Current status
getStudentDistanceConflicts() - Method in class ttsolver.TimetableModel
  Overall number of student conflicts caused by distancies (back-to-back classes are too far)
getSubject() - Method in class ttsolver.model.CrossListedLecture
  Subject
getSubsequentOperation() - Method in class ifs.example.jobshop.Operation
  Get the subsequent operation (if any)
getTerminationCondition() - Method in class ifs.solver.Solver
  Returns termination condition
getText() - Method in class ifs.util.PrologFile.Term
  return text
getText() - Method in class ttsolver.model.TimeLocation
  Text representation
getTime() - Method in class ifs.solution.Solution
  Current solution time (time in seconds from the start of the solver)
getTimeCode() - Method in class ttsolver.model.TimeLocation
  Used slots in a day (combination of 1..first, 2..second,...)
getTimeLocation() - Method in class ttsolver.model.Placement
  Time location
getTotalNumberOfSlots() - Method in class ifs.example.jobshop.JobShopModel
  Get total number of slots
getTotalValue() - Method in class ifs.model.Model
  Value of the current solution.
getType() - Method in class ifs.example.tt.Dependence
getType() - Method in class ifs.example.tt.Resource
getType() - Method in class ttsolver.constraint.GroupConstraint
  Constraint type (e.g, `GroupConstraint.TYPE_SAME_TIME`
getTypeStr() - Method in class ttsolver.constraint.GroupConstraint
  Constraint type (e.g, "SAME_TIME")
getUselessSlots() - Method in class ttsolver.TimetableModel
  Overall number of useless time slots
getValue() - Method in class ifs.extension.Assignment
  Returns value
getValue(int) - Method in class ttsolver.heuristics.HeuristicSelector.Element
  weighted sum in the given level
getValues() - Method in class ttsolver.heuristics.HeuristicSelector.Element
  weighted sum in each level
getValueSelection() - Method in class ifs.solver.Solver
  Returns values selection criterion
getValuesString() - Method in class ttsolver.model.Lecture
getVariableSelection() - Method in class ifs.solver.Solver
  Returns variable selection criterion
getViolatedInitials(Value) - Method in class ifs.extension.ViolatedInitials
  Initial values that cannot be assigned when the given value is assigned
getViolatedInitials() - Method in class ifs.perturbations.DefaultPerturbationsCounter
getViolatedStudentConflicts() - Method in class ttsolver.TimetableModel
  Number of student conflicts
getViolatedStudentConflictsCounter() - Method in class ttsolver.TimetableModel
  Number of student conflicts
getWidth() - Method in class ifs.example.rpp.Rectangle
  Returns width of the rectangle
getWorstPreference() - Method in class ttsolver.constraint.InstructorConstraint
  Worst back-to-back preference of this instructor
getX() - Method in class ifs.example.rpp.Location
  Gets x coordinate
getY() - Method in class ifs.example.rpp.Location
  Gets y coordinate
GOOD_SELECTION_PROB - Static variable in class ttsolver.heuristics.PlacementSelection
goodValues(Variable) - Method in class ifs.extension.MacPropagation
  good values of a variable (values not removed from variables domain)
GroupConstraint - Class in ttsolver.constraint
  Group constraint.
GroupConstraint(long, int, String) - Constructor for class ttsolver.constraint.GroupConstraint
  Constructor
GroupConstraint(long, String, String) - Constructor for class ttsolver.constraint.GroupConstraint
  Constructor

## H

HARD_STUDENT_CONFLICT_WEIGHT - Static variable in class ttsolver.heuristics.TimetableComparator
hardConstraints() - Method in class ifs.model.Variable
  Return the list of hard constraints associated with this variable
hasAssignment() - Method in class ifs.model.Variable
  Returns true if the variable is assigned
hashCode() - Method in class ifs.extension.Assignment
hashCode() - Method in class ifs.extension.AssignmentSet
hashCode() - Method in class ifs.model.Constraint
hashCode() - Method in class ifs.model.Value
hashCode() - Method in class ifs.model.Variable
hashCode() - Method in class ttsolver.model.TimeLocation
hasInitialAssignment() - Method in class ifs.model.Variable
  Returns true if the variable has an initial assignment
hasIntersection(Location) - Method in class ifs.example.rpp.Location
  Returns true if the given location intersects with this location
hasIntersection(Location) - Method in class ifs.example.tt.Location
  Returns true if the location intersects with another location.
hasIntersection(TimeLocation) - Method in class ttsolver.model.TimeLocation
  true if overlap
hasNext() - Method in class ifs.util.PrologFile
hasStudent(String) - Method in class ttsolver.model.CrossListedLecture
  Has given student enrollment
hasStudent(String) - Method in class ttsolver.model.Lecture
  Returns true if the given student is enrolled
HeuristicSelector - Class in ttsolver.heuristics
  General hierarchical selection.
HeuristicSelector(double[]) - Constructor for class ttsolver.heuristics.HeuristicSelector
  Constructor
HeuristicSelector.Element - Class in ttsolver.heuristics
  An element in heuristical selection

## I

iConstraints - Variable in class ifs.extension.MacPropagation
  List of constraints on which arc-consistency is to be maintained
iCurrentSolution - Variable in class ifs.solver.Solver
  current solution
iDays - Variable in class ttsolver.constraint.ResourceConstraint
  Number of days
IdGenerator - Class in ifs.util
  ID generator.
IdGenerator() - Constructor for class ifs.util.IdGenerator
iDone - Variable in class ifs.solver.Solver
  solver status: done
ifs - package ifs
  Iterative Forward Search Algorithm (root package)
ifs.dbt - package ifs.dbt
  Dynamic backtracking extension of IFS solver
ifs.example.csp - package ifs.example.csp
  Random Binary CSP with uniform distribution.
ifs.example.jobshop - package ifs.example.jobshop
  JobShop Problem.
ifs.example.rpp - package ifs.example.rpp
  Random Placement Problem.
ifs.example.tt - package ifs.example.tt
  Simple Timetabling Problem.
ifs.extension - package ifs.extension
  IFS Extensions (conflict-based statistics, maintenance of arc consistency)
ifs.heuristics - package ifs.heuristics
  IFS Heuristics (value and variable selection criteria)
ifs.model - package ifs.model
  IFS Model (description of a problem)
ifs.perturbations - package ifs.perturbations
  Minimal Perturbation Problem: counting of perturbations
ifs.solution - package ifs.solution
  IFS Solution (also contains solution comparator)
ifs.solver - package ifs.solver
  IFS Solver
ifs.termination - package ifs.termination
  IFS Termination (termination condition)
ifs.util - package ifs.util
  Utilities
ignoredClasses() - Method in class ttsolver.TimetableModel
  For MPP generator
iIteration - Variable in class ifs.extension.MacPropagation
  Current iteration
iLastSolution - Variable in class ifs.solver.Solver
  last solution (after IFS Solver finishes)
inc(long) - Method in class ifs.util.Counter
  Increment counter
incCounter(long) - Method in class ifs.extension.Assignment
  Increments counter
incCounter() - Method in class ifs.extension.AssignmentSet
  Increment counter
incJenrl() - Method in class ttsolver.constraint.JenrlConstraint
  Increment the number of joined enrollments (during student final sectioning)
inConflict(Value) - Method in class ifs.example.jobshop.Job
  True if there is an operation from the same job which violates with the given assignment.
inConflict(Value) - Method in class ifs.example.jobshop.Machine
  True if there is an operation from the machine which violates with the given assignment.
inConflict(Value) - Method in class ifs.example.rpp.ResourceConstraint
  Returns true if there is a rectangle which overlaps with the given assignment.
inConflict(Value) - Method in class ifs.example.tt.Dependence
inConflict(Value) - Method in class ifs.example.tt.Resource
inConflict(Value) - Method in class ifs.model.Constraint
  Returns true if the given assignment is inconsistent with the existing assignments respecting this constraint.
inConflict(Value) - Method in class ttsolver.constraint.DepartmentSpreadConstraint
inConflict(Value) - Method in class ttsolver.constraint.GroupConstraint
inConflict(Value) - Method in class ttsolver.constraint.InstructorConstraint
inConflict(Value) - Method in class ttsolver.constraint.JenrlConstraint
inConflict(Value) - Method in class ttsolver.constraint.ResourceConstraint
inConflict(Value) - Method in class ttsolver.constraint.RoomConstraint
incProgress() - Method in class ifs.util.Progress
  Increment current progress
incUnassignmentCounter(Value) - Method in class ttsolver.constraint.DepartmentSpreadConstraint
  Increment unassignment counter
indexOf(String) - Method in class ifs.util.PrologFile.Term
  index of element of content named name
init(Solver) - Method in class ifs.dbt.DbtValueSelection
  Heuristics initialization
init(Solver) - Method in class ifs.dbt.DbtVariableSelection
  Heuristics initialization
init(Random) - Method in class ifs.example.csp.CSPBinaryConstraint
  Initializes the constraint.
init() - Method in class ifs.example.jobshop.Operation
  Initialozation -- fills the variable's domain
init() - Method in class ifs.example.tt.Activity
init(Solver) - Method in class ifs.extension.Extension
  Initialization -- called before the solver is started
init(Solver) - Method in class ifs.extension.MacPropagation
  Initialization.
init() - Method in class ifs.extension.ViolatedInitials
  Compute the violations between any value and all other initial values
init(Solver) - Method in class ifs.heuristics.GeneralValueSelection
  Initialization
init(Solver) - Method in class ifs.heuristics.GeneralVariableSelection
  Initialization
init(Solver) - Method in interface ifs.heuristics.ValueSelection
  Initialization
init(Solver) - Method in interface ifs.heuristics.VariableSelection
  Initialization
init(Solver) - Method in class ifs.model.Model
  Model initialization
init(Solver) - Method in interface ifs.model.ModelListener
  Notification that the model was initialized by the solver.
init(Solver) - Method in class ifs.perturbations.DefaultPerturbationsCounter
  Initialization
init(Solver) - Method in interface ifs.perturbations.PerturbationsCounter
  Initialization
init(Solver) - Method in class ifs.solution.Solution
  Initialization
init() - Method in class ifs.solver.Solver
  Initialization
init() - Method in class ttsolver.constraint.DepartmentSpreadConstraint
  Initialize constraint (to be called after all variables are added to this constraint)
init(Solver) - Method in class ttsolver.heuristics.LectureSelection
init(Solver) - Method in class ttsolver.heuristics.PlacementSelection
init(Solver) - Method in class ttsolver.Test
INITIAL_SELECTION_PROB - Static variable in class ttsolver.heuristics.PlacementSelection
initialStudentConflicts() - Method in class ttsolver.model.Lecture
  List of student conflicts caused by the initial assignment of this lecture
InstructorConstraint - Class in ttsolver.constraint
  Instructor constraint.
InstructorConstraint(String, String, int, int) - Constructor for class ttsolver.constraint.InstructorConstraint
  Constructor
intersect(Collection, Collection) - Static method in class ifs.util.ToolBox
  Returns intersection of two collections
iResource - Variable in class ttsolver.constraint.ResourceConstraint
  table iResource[slot] = lecture using this resource placed in the given time slot (null if empty)
iRunning - Variable in class ifs.solver.Solver
  solver status: running
isBestComplete() - Method in class ifs.solution.Solution
  Returns true, if all variables of the best ever solution found are assigned
isBetterThanBestSolution(Solution) - Method in class ifs.solution.GeneralSolutionComparator
isBetterThanBestSolution(Solution) - Method in class ifs.solution.MPPSolutionComparator
isBetterThanBestSolution(Solution) - Method in interface ifs.solution.SolutionComparator
  Compares two solutions.
isBetterThanBestSolution(Solution) - Method in class ttsolver.heuristics.TimetableComparator
isConsistent(Value, Value) - Method in class ifs.example.csp.CSPBinaryConstraint
  True if the pair of given values is compatible.
isConsistent(Value, Value) - Method in class ifs.example.jobshop.Job
  True if the two assignments (placement of opeartions of the same job in time) violates each other.
isConsistent(Value, Value) - Method in class ifs.example.jobshop.Machine
  True if the two assignments (placement of opeartions of the machine in time) violates each other.
isConsistent(Value, Value) - Method in class ifs.example.rpp.ResourceConstraint
  Returns true if the given rectangles (assignments) do not overlap.
isConsistent(int, int, int, int) - Method in class ifs.example.tt.Dependence
isConsistent(Value, Value) - Method in class ifs.example.tt.Dependence
isConsistent(Value, Value) - Method in class ifs.example.tt.Resource
isConsistent(Value, Value) - Method in class ifs.model.Constraint
  Returns true if the given assignments are consistent respecting this constraint.
isConsistent(Value, Value) - Method in class ttsolver.constraint.DepartmentSpreadConstraint
isConsistent(Value, Value) - Method in class ttsolver.constraint.GroupConstraint
isConsistent(Value, Value) - Method in class ttsolver.constraint.InstructorConstraint
isConsistent(Value, Value) - Method in class ttsolver.constraint.JenrlConstraint
isConsistent(Value, Value) - Method in class ttsolver.constraint.ResourceConstraint
isConsistent(Value, Value) - Method in class ttsolver.constraint.RoomConstraint
isDiscouragedSlot(int, int) - Method in class ifs.example.tt.Activity
isDiscouragedSlot(int) - Method in class ifs.example.tt.Activity
isDiscouragedSlot(int, int) - Method in class ifs.example.tt.Resource
isDiscouragedSlot(int) - Method in class ifs.example.tt.Resource
isDone() - Method in class ifs.solver.Solver
  Solver status: solver is done
isEmpty() - Method in class ifs.util.Queue
  Returns true if the queue is empty
isFirst(Variable) - Method in class ifs.model.BinaryConstraint
  True, id the given variable is the first one
isGood(Value) - Method in class ifs.extension.MacPropagation
  is variable good
isHard() - Method in class ifs.model.Constraint
  Returns true if the constraint is hard.
isHard() - Method in class ttsolver.constraint.GroupConstraint
isHard() - Method in class ttsolver.constraint.JenrlConstraint
isInConflict(Placement, Placement) - Static method in class ttsolver.constraint.JenrlConstraint
  Returns true if the given placements are overlapping or they are back-to-back and too far for students.
isInConflict() - Method in class ttsolver.constraint.JenrlConstraint
  True if the given two lectures overlap in time
isInConflict(String) - Method in class ttsolver.model.Lecture
  True if this lecture is in a student conflict with the given student
isInConflictPrecise() - Method in class ttsolver.constraint.JenrlConstraint
  True if the given two lectures overlap in time
isInitial() - Method in class ttsolver.model.Placement
  Is initial placement
iSlotsPerDay - Variable in class ttsolver.constraint.ResourceConstraint
  Number of slots per day
iSolverThread - Variable in class ifs.solver.Solver
  solver thread
isPrecise() - Static method in class ifs.util.JProf
  Measurement is based on profiler extension (precise CPU time is returned).
isProhibited(int, int) - Method in class ifs.example.rpp.Rectangle
  Returns true if the given location is prohibited.
isProhibited(int, int, int) - Method in class ifs.example.tt.Activity
isProhibited() - Method in class ifs.example.tt.Location
  Returns true if the location is prohibited.
isProhibited(int, int, int) - Method in class ifs.example.tt.Resource
isProhibited() - Method in class ttsolver.constraint.GroupConstraint
  Is constraint prohibited
isProhibitedSlot(int, int) - Method in class ifs.example.tt.Activity
isProhibitedSlot(int) - Method in class ifs.example.tt.Activity
isProhibitedSlot(int, int) - Method in class ifs.example.tt.Resource
isProhibitedSlot(int) - Method in class ifs.example.tt.Resource
isRegistered() - Method in class ifs.extension.Extension
  Returns true if there is a model registered to this extension, i.e., when extension is registered.
isRequired() - Method in class ttsolver.constraint.GroupConstraint
  Is constraint required
isRunning() - Method in class ifs.solver.Solver
  Solver status: solver is running
isStopped() - Method in class ifs.solver.Solver
  Solver status: solver is stopped
isSwapTabu(String, String) - Method in class ttsolver.model.Lecture
  Prohibited swaps
iStop - Variable in class ifs.solver.Solver
  solver status: stopped
iValue - Variable in class ifs.model.Value
  Integer value
iValue - Variable in class ifs.model.Variable
  Assigned value

## J

jenrl(Variable, Value) - Method in class ttsolver.constraint.JenrlConstraint
  Number of joined enrollments if the given value is assigned to the given variable
JenrlConstraint - Class in ttsolver.constraint
  Join student enrollment constraint.
JenrlConstraint(long, Counter) - Constructor for class ttsolver.constraint.JenrlConstraint
  Constructor
jenrlConstraints() - Method in class ttsolver.model.Lecture
  All JENRL constraints of this lecture
Job - Class in ifs.example.jobshop
  Job constraint.
Job(int) - Constructor for class ifs.example.jobshop.Job
  Constructor
JobShopModel - Class in ifs.example.jobshop
  Job Shop model.
JobShopModel(int, int) - Constructor for class ifs.example.jobshop.JobShopModel
  Constructor
JProf - Class in ifs.util
  CPU time measurement.
JProf() - Constructor for class ifs.util.JProf

## L

lastAssignmentIteration() - Method in class ifs.model.Value
  Returns the iteration when the value was assigned at last (-1 if never).
lastAssignmentIteration() - Method in class ifs.model.Variable
  Returns the iteration when the variable was assigned for the last time (-1 if never)
lastSolution() - Method in class ifs.solver.Solver
  Last solution (when solver finishes)
lastUnassignmentIteration() - Method in class ifs.model.Value
  Returns the iteration when the value was unassigned at last (-1 if never).
lastUnassignmentIteration() - Method in class ifs.model.Variable
  Returns the iteration when the variable was unassigned for the last time (-1 if never)
Lecture - Class in ttsolver.model
  Lecture (variable).
Lecture(long, String, Vector, double, String, Vector, int, Placement, int, String, String) - Constructor for class ttsolver.model.Lecture
  Constructor
LectureSelection - Class in ttsolver.heuristics
  Lecture (variable) selection.
LectureSelection(DataProperties) - Constructor for class ttsolver.heuristics.LectureSelection
load(InputStream) - Method in class ifs.util.DataProperties
  Loads properties from an input stream
load(PrintWriter) - Method in class ttsolver.TimetableLoader
  Load the model.
load(PrintWriter) - Method in class ttsolver.TimetableXMLLoader
loadFromXML(File, boolean) - Static method in class ifs.example.tt.TimetableModel
loadModel(String) - Static method in class ifs.example.jobshop.JobShopModel
  Loads the model from the given file
loadProperties(File) - Static method in class ifs.util.ToolBox
  Loads data properties.
Location - Class in ifs.example.jobshop
  Location of an operation.
Location(Operation, int) - Constructor for class ifs.example.jobshop.Location
  Constructor
Location - Class in ifs.example.rpp
  Location (value, i.e., a single placement of the rectangle).
Location(Rectangle, int, int) - Constructor for class ifs.example.rpp.Location
  Constructor
Location - Class in ifs.example.tt
  Location (value, i.e., a single placement of the activity).
Location(Activity, int, Resource[]) - Constructor for class ifs.example.tt.Location
  Constructor.
Location(Activity, int, int, Resource[]) - Constructor for class ifs.example.tt.Location
  Constructor. slot = nrHours * day + hour

## M

Machine - Class in ifs.example.jobshop
  Machine constraint.
Machine(int) - Constructor for class ifs.example.jobshop.Machine
  Constructor
MacPropagation - Class in ifs.extension
  MAC propagation.
MacPropagation(Solver, DataProperties) - Constructor for class ifs.extension.MacPropagation
  Constructor
main(String[]) - Static method in class ifs.example.csp.SimpleTest
  run the test
main(String[]) - Static method in class ifs.example.csp.Test
main(String[]) - Static method in class ifs.example.jobshop.Test
main(String[]) - Static method in class ifs.example.rpp.Test
  RPP test.
main(String[]) - Static method in class ifs.example.tt.Test
main(String[]) - Static method in class ifs.example.tt.TimetableModel
main(String[]) - Static method in class ttsolver.Test
merge(Vector, Collection) - Static method in class ifs.util.ToolBox
  Merge source with target
Model - Class in ifs.model
  Generic model (definition of a problem).
Model() - Constructor for class ifs.model.Model
  Constructor
ModelListener - Interface in ifs.model
  IFS model listener.
modelListenerOfType(Class) - Method in class ifs.model.Model
  The list of model listeners that are of the given class
MPPSolutionComparator - Class in ifs.solution
  General implementation of solution comparator for minimal perturbation problem.
MPPSolutionComparator() - Constructor for class ifs.solution.MPPSolutionComparator
MPPSolutionComparator(DataProperties) - Constructor for class ifs.solution.MPPSolutionComparator
  No parameters are used so far.
MPPTerminationCondition - Class in ifs.termination
  General implementation of termination condition for minimal perturbation problem.
MPPTerminationCondition(DataProperties) - Constructor for class ifs.termination.MPPTerminationCondition
MPPTerminationCondition(int, double, int) - Constructor for class ifs.termination.MPPTerminationCondition

## N

newId() - Method in class ifs.util.IdGenerator
  Generates new id
next() - Method in class ifs.util.PrologFile
noGood(Value) - Method in class ifs.extension.MacPropagation
  variables explanation
notify(Solution) - Method in class ttsolver.Test
NR_ASSIGNMENTS_WEIGHT - Static variable in class ttsolver.heuristics.PlacementSelection
NR_CONFLICTS_WEIGHT - Static variable in class ttsolver.heuristics.PlacementSelection
NR_HARD_STUDENT_CONF_WEIGHT - Static variable in class ttsolver.heuristics.PlacementSelection
NR_MPP_LIMIT - Static variable in class ttsolver.heuristics.PlacementSelection
NR_MPP_PENALTY_LIMIT - Static variable in class ttsolver.heuristics.PlacementSelection
NR_POTENTIAL_CONFLICTS_WEIGHT - Static variable in class ttsolver.heuristics.PlacementSelection
NR_STUDENT_CONF_WEIGHT - Static variable in class ttsolver.heuristics.PlacementSelection
NR_THRESHOLD_KOEF - Static variable in class ttsolver.heuristics.PlacementSelection

## O

Operation - Class in ifs.example.jobshop
  Operation.
Operation(Job, Machine, int, int) - Constructor for class ifs.example.jobshop.Operation
  Constructor
overlap(Location) - Method in class ifs.example.jobshop.Location
  Returns true if overlap with the given location

## P

parameters() - Static method in class ttsolver.heuristics.LectureSelection
parameters() - Static method in class ttsolver.heuristics.PlacementSelection
parameters() - Static method in class ttsolver.heuristics.TimetableComparator
parameters() - Static method in class ttsolver.heuristics.UniversalPerturbationsCounter
PERTURBATION_PENALTY_WEIGHT - Static variable in class ttsolver.heuristics.TimetableComparator
PerturbationsCounter - Interface in ifs.perturbations
  Counter of perturbation penalty (minimal perturbation problem).
perturbVariables() - Method in class ifs.model.Model
  The list of perturbation variables in the model, i.e., the variables which has an initial value but which are not assigned with this value.
phaseChanged(String) - Method in interface ifs.util.ProgressListener
  Progress phase is changed
phaseChanged(String) - Method in class ifs.util.ProgressWriter
Placement - Class in ttsolver.model
  Placement (value).
Placement(Lecture, TimeLocation, RoomLocation) - Constructor for class ttsolver.model.Placement
  Constructor
PlacementSelection - Class in ttsolver.heuristics
  Placement (value) selection.
PlacementSelection(DataProperties) - Constructor for class ttsolver.heuristics.PlacementSelection
print(PrintWriter, long) - Method in class ifs.extension.ConflictStatistics
  Print conflict-based statistics
printHtml(long, PrintWriter, long, long, long, int) - Method in class ifs.extension.ConflictStatistics
  Print conflict-based statistics in HTML format
printHtml(long, PrintWriter, DataProperties) - Method in class ifs.extension.ConflictStatistics
  Print conflict-based statistics in HTML format
printHtml(long, PrintWriter, boolean, long, long, long, String, int) - Method in class ifs.extension.ConflictStatistics
  Print conflict-based statistics in HTML format
printUsage(StringBuffer) - Method in class ttsolver.constraint.ResourceConstraint
  Resource usage usage
printUsage(StringBuffer) - Method in class ttsolver.constraint.RoomConstraint
  Room usage
Progress - Class in ifs.util
  Progress bar.
progressChanged(long, long) - Method in interface ifs.util.ProgressListener
  Progress bar is changed
progressChanged(long, long) - Method in class ifs.util.ProgressWriter
ProgressListener - Interface in ifs.util
  Progress bar listener.
progressRestored() - Method in interface ifs.util.ProgressListener
  Progress is restored
progressRestored() - Method in class ifs.util.ProgressWriter
progressSaved() - Method in interface ifs.util.ProgressListener
  Progress is saved
progressSaved() - Method in class ifs.util.ProgressWriter
ProgressWriter - Class in ifs.util
  Prints current progres to `PrintStream`.
ProgressWriter(PrintStream) - Constructor for class ifs.util.ProgressWriter
PrologFile - Class in ifs.util
  A class for reading prolog files.
PrologFile(String) - Constructor for class ifs.util.PrologFile
PrologFile.Term - Class in ifs.util
  Term -- it can contain a text and a content (set of terms)
PrologFile.Term(String) - Constructor for class ifs.util.PrologFile.Term
  constructor
PrologFile.Term(Vector) - Constructor for class ifs.util.PrologFile.Term
  constructor
PrologFile.Term(String, Vector) - Constructor for class ifs.util.PrologFile.Term
  constructor
PrologFile.Term(String, PrologFile.Term[]) - Constructor for class ifs.util.PrologFile.Term
  constructor
PrologFile.Term(PrologFile.Term[]) - Constructor for class ifs.util.PrologFile.Term
  constructor
propagate(Variable) - Method in class ifs.extension.MacPropagation
  Propagation over the given variable.
propagate(Queue) - Method in class ifs.extension.MacPropagation
  Propagation over the queue of variables.
propagate(Variable, Variable, Vector) - Method in class ifs.extension.MacPropagation
propagate(Variable, Variable) - Method in class ifs.extension.MacPropagation
put(Object) - Method in class ifs.util.Queue
  Puts object at the end of the queue

## Q

Queue - Class in ifs.util
  Queue.
Queue(int) - Constructor for class ifs.util.Queue
  Constructor
Queue(int, Collection) - Constructor for class ifs.util.Queue
  Constructor

## R

random(int) - Static method in class ifs.util.ToolBox
  Returns random number (int) from the set 0 .. limit - 1
random(Collection) - Static method in class ifs.util.ToolBox
  Returns random element from the given set of elements
random() - Static method in class ifs.util.ToolBox
  Generates random double number
readTermsFromStream(InputStream, String) - Static method in class ifs.util.PrologFile
  Reads a prolog file.
Rectangle - Class in ifs.example.rpp
  Rectangle (variable).
Rectangle(String, int, int, int, int, int, int, Location) - Constructor for class ifs.example.rpp.Rectangle
  Constructor.
register(Model) - Method in class ifs.extension.ConflictStatistics
register(Model) - Method in class ifs.extension.Extension
  Registration of a model.
remove() - Method in class ifs.util.PrologFile
removeActiveJenrl(JenrlConstraint) - Method in class ttsolver.model.Lecture
  Remove active jenrl constraint (active mean that there is at least one student between its classes)
removeConstraint(Constraint) - Method in class ifs.model.Model
  Removes a constraint from the model
removeConstraint(Constraint) - Method in class ttsolver.TimetableModel
removeConstraintListener(ConstraintListener) - Method in class ifs.model.Constraint
  Removes a constraint listener
removeContstraint(Constraint) - Method in class ifs.model.Variable
  Removes a constraint.
removeContstraint(Constraint) - Method in class ttsolver.model.Lecture
removeInitialValue() - Method in class ifs.model.Variable
  Permanently remove the initial value from the variable's domain -- for testing MPP
removeModelListener(ModelListener) - Method in class ifs.model.Model
  Removes a model listener
removeProgressListener(ProgressListener) - Method in class ifs.util.Progress
  Remove progress listener
removeSolutionListener(SolutionListener) - Method in class ifs.solution.Solution
  Removes solution listener
removeSolverListener(SolverListener) - Method in class ifs.solver.Solver
  Removes a solver listener
removeValue(long, Value) - Method in class ifs.model.Variable
  Permanently remove a value from variables domain.
removeVariable(Variable) - Method in class ifs.model.Constraint
  Remove a variable from this constraint
removeVariable(Variable) - Method in class ifs.model.Model
  Removes a variable from the model
removeVariableListener(VariableListener) - Method in class ifs.model.Variable
  Removess variable listener
Resource - Class in ifs.example.tt
  Resource constraint
Resource(String, int, String) - Constructor for class ifs.example.tt.Resource
ResourceConstraint - Class in ifs.example.rpp
  Resource constraint (rectangular area where the rectangles are to be placed).
ResourceConstraint(int, int) - Constructor for class ifs.example.rpp.ResourceConstraint
  Constructor.
ResourceConstraint - Class in ttsolver.constraint
  Resource constraint.
ResourceConstraint(String, String, int, int) - Constructor for class ttsolver.constraint.ResourceConstraint
  Constructor
restore() - Method in class ifs.util.Progress
  Resore the progress from the heap memory
restoreBest() - Method in class ifs.model.Model
  Restore the best ever found assignment into the current assignment
restoreBest() - Method in class ifs.solution.Solution
  Restore the best ever found solution into the current solution (it also calls `Model.restoreBest()`)
revise(long) - Method in class ifs.extension.Assignment
  Revise counter.
rms(int, double, double) - Static method in class ifs.util.ToolBox
  Root mean square
ROOM_PREFERENCE_WEIGHT - Static variable in class ttsolver.heuristics.TimetableComparator
RoomConstraint - Class in ttsolver.constraint
  Room constraint.
RoomConstraint(String, String, int, int, String) - Constructor for class ttsolver.constraint.RoomConstraint
  Constructor
RoomLocation - Class in ttsolver.model
  Room part of placement.
RoomLocation(String, String, String, int, long, long, long) - Constructor for class ttsolver.model.RoomLocation
  Constructor
RoomLocation(String, String, String, int, long) - Constructor for class ttsolver.model.RoomLocation
  Constructor
roomLocations() - Method in class ttsolver.model.Lecture
  All room locations
RPPModel - Class in ifs.example.rpp
  RPP model.
RPPModel() - Constructor for class ifs.example.rpp.RPPModel
  Constructor.
run() - Method in class ifs.solver.Solver.SolverThread
  Solving rutine
RW_SELECTION_PROB - Static variable in class ttsolver.heuristics.PlacementSelection

## S

sameLectures() - Method in class ttsolver.model.Lecture
  Set of lectures of the same class (only section is different)
sameStudentLectures(String) - Method in class ttsolver.model.Lecture
  Lectures which share the given student, different from this one
sameStudents(Lecture) - Method in class ttsolver.model.Lecture
  List of students enrolled in this class as well as in the given class
save(String) - Method in class ifs.example.jobshop.JobShopModel
  Save the solution into the given file
save() - Method in class ifs.util.Progress
  Save current progress to the heap memory
save(PrintWriter) - Method in class ttsolver.TimetableSaver
  Save the solution
save(PrintWriter) - Method in class ttsolver.TimetableXMLSaver
saveAsXML(DataProperties, boolean, Solution, File) - Method in class ifs.example.tt.TimetableModel
saveBest() - Method in class ifs.model.Model
  Save the current assignment as the best ever found assignment
saveBest() - Method in class ifs.solution.Solution
  Save the current solution as the best ever found solution (it also calls `Model.saveBest()`)
saveBest() - Method in class ttsolver.TimetableModel
sDiscouragedLimit - Static variable in class ttsolver.constraint.InstructorConstraint
  Back-to-back classes: maximal distance for discouraged prefernce
sDoubleFormat - Static variable in class ifs.perturbations.DefaultPerturbationsCounter
second() - Method in class ifs.model.BinaryConstraint
  Second variable
selection() - Method in class ttsolver.heuristics.HeuristicSelector
  Do the selection.
selectValue(Solution, Variable) - Method in class ifs.dbt.DbtValueSelection
  Value selection
selectValue(Solution, Variable) - Method in class ifs.heuristics.GeneralValueSelection
  Value selecion
selectValue(Solution, Variable) - Method in interface ifs.heuristics.ValueSelection
  Value selection
selectValue(Solution, Variable) - Method in class ttsolver.heuristics.PlacementSelection
selectVariable(Solution) - Method in class ifs.dbt.DbtVariableSelection
  Variable selection
selectVariable(Solution) - Method in class ifs.heuristics.GeneralVariableSelection
  Variable selection
selectVariable(Solution) - Method in interface ifs.heuristics.VariableSelection
  Variable selection
selectVariable(Solution) - Method in class ttsolver.heuristics.LectureSelection
set(long) - Method in class ifs.util.Counter
  Set counter
setBestAssignment(Value) - Method in class ifs.model.Variable
  Sets variable's value of the best ever found solution.
setBestRoomPreference(long) - Method in class ttsolver.TimetableModel
  Sets overall room preference of the best solution ever found
setBestTimePreference(double) - Method in class ttsolver.TimetableModel
  Sets overall time preference of the best solution ever found
setBounds(int, int, int, int) - Method in class ifs.example.rpp.Rectangle
  Set the bounds (minimal and maximal values of X and Y coordinates).
setConstraint(Constraint) - Method in class ifs.extension.AssignmentSet
  Sets constraint
setCoordinates(long, long) - Method in class ttsolver.model.RoomLocation
  Position of the building
setCounter(double) - Method in class ifs.extension.Assignment
  Set counter
setCrossListedLectures(Vector) - Method in class ttsolver.model.Lecture
setDepartment(String) - Method in class ttsolver.model.Lecture
  Department
setDescription(String) - Method in class ifs.extension.AssignmentSet
  Sets description
setDueTime(int) - Method in class ifs.example.jobshop.Job
  Set due time
setExtra(Object) - Method in class ifs.model.Value
  Extra information to which can be used by an extension (see `Extension`).
setExtra(Object) - Method in class ifs.model.Variable
  Extra information to which can be used by an extension (see `Extension`).
setGlobalPreference(Counter) - Method in class ttsolver.constraint.GroupConstraint
  Global preference counter
setGood(Value) - Method in class ifs.extension.MacPropagation
  sets value to be good
setInitalSolution(Solution) - Method in class ifs.solver.Solver
  Sets initial solution
setInitalSolution(Model) - Method in class ifs.solver.Solver
  Sets initial solution
setInitial(boolean) - Method in class ttsolver.model.Placement
  Is initial placement
setInitialAssignment(Value) - Method in class ifs.model.Variable
  Sets initial assignment
setLecture(Lecture) - Method in class ttsolver.model.CrossListedLecture
  Parent lecture
setModel(Model) - Method in class ifs.example.tt.Resource
setModel(Model) - Method in class ifs.model.Constraint
  Sets the model which the constraint belongs to
setModel(Model) - Method in class ifs.model.Variable
  Set the model to which the variable belongs to
setName(String) - Method in class ifs.extension.AssignmentSet
  Sets name
setNoGood(Value, Set) - Method in class ifs.extension.MacPropagation
  sets value's explanation
setPerturbationsCounter(PerturbationsCounter) - Method in class ifs.solver.Solver
  Sets perturbation counter (minimal perturbation problem)
setPhase(String, long) - Method in class ifs.util.Progress
  Sets current phase
setPhase(String) - Method in class ifs.util.Progress
  Sets current phase.
setProgress(long) - Method in class ifs.util.Progress
  Update progress bar.
setProhibited(int, int) - Method in class ifs.example.rpp.Rectangle
  Prohibits given X and Y coordinates (for MPP).
setProhibited() - Method in class ifs.example.rpp.Rectangle
  Prohibits given initial location (for MPP).
setProperty(String, String) - Method in class ifs.util.DataProperties
  Sets string property
setSameLectures(Vector) - Method in class ttsolver.model.Lecture
  Set of lectures of the same class (only section is different)
setSeed(long) - Static method in class ifs.util.ToolBox
  Sets seeds for `ToolBox.getRandom()` and `ToolBox.random()` methods.
setSolution(Solution) - Method in class ttsolver.TimetableXMLSaver
setSolutionComparator(SolutionComparator) - Method in class ifs.solver.Solver
  Sets solution comparator
setStatus(String) - Method in class ifs.util.Progress
  Sets current status
setTerminalCondition(TerminationCondition) - Method in class ifs.solver.Solver
  Sets termination condition
setValues(Vector) - Method in class ifs.model.Variable
  Sets the domain
setValueSelection(ValueSelection) - Method in class ifs.solver.Solver
  Sets value selection criterion
setVariable(Variable) - Method in class ifs.model.Value
  Sets the variable which this value belongs to
setVariableSelection(VariableSelection) - Method in class ifs.solver.Solver
  Sets variable selection criterion
setViolatedCounter(Counter) - Method in class ttsolver.constraint.JenrlConstraint
  Set global counter of student conflicts
shareDays(Placement, Placement) - Static method in class ttsolver.model.Placement
  True if the two given placements are using at one same day
shareDays(TimeLocation) - Method in class ttsolver.model.TimeLocation
  true if days overlap
shareHours(TimeLocation) - Method in class ttsolver.model.TimeLocation
  true if hours overlap
SimpleTest - Class in ifs.example.csp
  Simple test of IFS CBS algorithm on random binary CSP problem CSP(25,12,198/300,36/144).
SimpleTest() - Constructor for class ifs.example.csp.SimpleTest
size() - Method in class ifs.extension.AssignmentSet
  Returns number of assignments in the set
size() - Method in class ifs.util.PrologFile.Term
  content size
size() - Method in class ifs.util.Queue
  Returns size of the queue
sLogger - Static variable in class ifs.solver.Solver
  log
sLogger - Static variable in class ifs.termination.GeneralTerminationCondition
sLogger - Static variable in class ifs.termination.MPPTerminationCondition
sLogger - Static variable in class ttsolver.heuristics.TimetableComparator
sNoPreferenceLimit - Static variable in class ttsolver.constraint.InstructorConstraint
  Back-to-back classes: maximal distance for no prefernce
softConstraints() - Method in class ifs.model.Variable
  Return the list of soft constraints associated with this variable
Solution - Class in ifs.solution
  Generic solution.
Solution(Model) - Constructor for class ifs.solution.Solution
  Constructor
Solution(Model, long, double) - Constructor for class ifs.solution.Solution
  Constructor
SolutionComparator - Interface in ifs.solution
  IFS solution comparator.
SolutionListener - Interface in ifs.solution
  IFS solution listener.
solutionUpdated(Solution) - Method in class ifs.extension.ConflictStatistics
solutionUpdated(Solution) - Method in interface ifs.solution.SolutionListener
  Called by the solution when it is updated, see `Solution.update(double)`.
solutionUpdated(Solution) - Method in class ttsolver.Test
Solver - Class in ifs.solver
  IFS Solver.
Solver(DataProperties) - Constructor for class ifs.solver.Solver
  Constructor.
Solver.SolverThread - Class in ifs.solver
  Solver thread
Solver.SolverThread() - Constructor for class ifs.solver.Solver.SolverThread
SolverListener - Interface in ifs.solver
  IFS Solver Listener.
sortEnumeration(Enumeration) - Static method in class ifs.util.ToolBox
  Sort enumeration
sortEnumeration(Enumeration, Comparator) - Static method in class ifs.util.ToolBox
  Sort enumeration
sProhibitedLimit - Static variable in class ttsolver.constraint.InstructorConstraint
  Back-to-back classes: maximal distance for strongly discouraged prefernce (everything above is prohibited)
start() - Method in class ifs.solver.Solver
  Starts solver
statusChanged(String) - Method in interface ifs.util.ProgressListener
  Progress status is changed
statusChanged(String) - Method in class ifs.util.ProgressWriter
stopSolver() - Method in class ifs.solver.Solver
  Stops the running solver
StructuredCSPModel - Class in ifs.example.csp
  Random Binary CSP with kernels.
StructuredCSPModel(DataProperties, long) - Constructor for class ifs.example.csp.StructuredCSPModel
  Constructor
STUDENT_CONFLICT_WEIGHT - Static variable in class ttsolver.heuristics.TimetableComparator
students() - Method in class ttsolver.model.CrossListedLecture
  List of enrolled students
students() - Method in class ttsolver.model.Lecture
  List of enrolled students
subSet(Collection, double) - Static method in class ifs.util.ToolBox
  Returns a randomly generated subset of the given set
subSet(Collection, double, int) - Static method in class ifs.util.ToolBox
  Returns a randomly generated subset of the given set
SUM_CONSTR_PREFERENCE_WEIGHT - Static variable in class ttsolver.heuristics.PlacementSelection
SUM_ROOM_PREFERENCE_WEIGHT - Static variable in class ttsolver.heuristics.PlacementSelection
SUM_TIME_PREFERENCE_WEIGHT - Static variable in class ttsolver.heuristics.PlacementSelection
swapStudents() - Method in class ttsolver.model.Lecture
  Swap students between this and the same lectures (lectures which differ only in the section)
switchStudents() - Method in class ttsolver.TimetableModel
  Student final sectioning (switching students between sections of the same class in order to minimize overall number of student conflicts)

## T

TABU_LENGTH - Static variable in class ttsolver.heuristics.PlacementSelection
TerminationCondition - Interface in ifs.termination
  Termination condition.
Test - Class in ifs.example.csp
  Test of Structured CSP problems.
Test() - Constructor for class ifs.example.csp.Test
Test - Class in ifs.example.jobshop
  Test of Job Shop problem.
Test() - Constructor for class ifs.example.jobshop.Test
test(DataProperties) - Static method in class ifs.example.jobshop.Test
Test - Class in ifs.example.rpp
  RPP test.
Test() - Constructor for class ifs.example.rpp.Test
Test - Class in ifs.example.tt
  Test
Test() - Constructor for class ifs.example.tt.Test
test(File, String, String, String, String) - Static method in class ifs.example.tt.Test
Test - Class in ttsolver
  A main class for running of the solver from command line.
Test(String[]) - Constructor for class ttsolver.Test
test2(DataProperties) - Static method in class ifs.example.tt.Test
test3(DataProperties, File) - Static method in class ifs.example.tt.Test
TIME_PREFERENCE_WEIGHT - Static variable in class ttsolver.heuristics.TimetableComparator
TimeLocation - Class in ttsolver.model
  Time part of placement.
TimeLocation(TimePatternModel, int, int) - Constructor for class ttsolver.model.TimeLocation
  Constructor
TimeLocation(int, int, int, int) - Constructor for class ttsolver.model.TimeLocation
  Constructor
timeLocations() - Method in class ttsolver.model.Lecture
  All time locations
TimetableComparator - Class in ttsolver.heuristics
  Timetable (solution) comparator.
TimetableComparator(DataProperties) - Constructor for class ttsolver.heuristics.TimetableComparator
TimetableLoader - Class in ttsolver
  Abstract timetable loader class.
TimetableLoader(TimetableModel) - Constructor for class ttsolver.TimetableLoader
  Constructor
TimetableModel - Class in ifs.example.tt
  Simple Timetabling Problem.
TimetableModel(int, int) - Constructor for class ifs.example.tt.TimetableModel
TimetableModel - Class in ttsolver
  Timetable model.
TimetableModel(DataProperties) - Constructor for class ttsolver.TimetableModel
TimetableSaver - Class in ttsolver
  Abstract timetable saver class.
TimetableSaver(Solution) - Constructor for class ttsolver.TimetableSaver
  Constructor
TimetableXMLLoader - Class in ttsolver
  This class loads the input model from XML file.
TimetableXMLLoader(TimetableModel) - Constructor for class ttsolver.TimetableXMLLoader
TimetableXMLSaver - Class in ttsolver
  This class saves the resultant solution in the XML format.
TimetableXMLSaver(Solution) - Constructor for class ttsolver.TimetableXMLSaver
toBoolean() - Method in class ifs.util.PrologFile.Term
  return text as boolean
toBooleanArray() - Method in class ifs.util.PrologFile.Term
  return content as boolean array
toDict() - Method in class ifs.util.DataProperties
  Returns properties as dictionary.
toDouble() - Method in class ifs.util.PrologFile.Term
  return text as fouble
toInt() - Method in class ifs.example.jobshop.Location
  Start time of the location
toInt() - Method in class ifs.example.tt.Location
  Int value (for optimization) -- getNrOfDiscouragedSlots() is returned
toInt() - Method in class ifs.model.Value
  Integer representaion.
toInt() - Method in class ifs.util.PrologFile.Term
  return text as int
toIntArray() - Method in class ifs.util.PrologFile.Term
  return content as int array
toLong() - Method in class ifs.util.PrologFile.Term
  return text as long
TOO_BIG_ROOM_WEIGHT - Static variable in class ttsolver.heuristics.PlacementSelection
TOO_BIG_ROOM_WEIGHT - Static variable in class ttsolver.heuristics.TimetableComparator
ToolBox - Class in ifs.util
  Several auxiliary static methods.
ToolBox() - Constructor for class ifs.util.ToolBox
toString() - Method in class ifs.example.jobshop.Job
  String representation -- for debuging and printing purposes
toString() - Method in class ifs.example.jobshop.Location
  String representation (operation name = start time)
toString() - Method in class ifs.example.jobshop.Machine
  string representation -- for debuging and printing purposes
toString() - Method in class ifs.example.jobshop.Operation
  string representation -- for debuging and printing purposes
toString() - Method in class ifs.example.rpp.Location
  String representation (for debugging and printing purposes).
toString() - Method in class ifs.example.rpp.Rectangle
  String representation (for printing and debugging purposes)
toString() - Method in class ifs.example.rpp.ResourceConstraint
  String representation of the constraint (for debugging and printing purposes).
toString() - Method in class ifs.extension.Assignment
  String representation
toString(long, boolean) - Method in class ifs.extension.Assignment
  String representation (e.g., 10x A := a)
toString() - Method in class ifs.extension.ConflictStatistics
toString() - Method in class ifs.model.Model
toString() - Method in class ifs.model.Value
toString() - Method in class ifs.model.Variable
toString() - Method in class ifs.solution.Solution
toString() - Method in class ifs.util.FastVector
toString() - Method in class ifs.util.PrologFile.Term
  string representation of term
toString() - Method in class ttsolver.constraint.DepartmentSpreadConstraint
toString() - Method in class ttsolver.constraint.GroupConstraint
toString() - Method in class ttsolver.constraint.JenrlConstraint
toString() - Method in class ttsolver.constraint.ResourceConstraint
toString() - Method in class ttsolver.constraint.RoomConstraint
toString() - Method in class ttsolver.heuristics.HeuristicSelector.Element
toString() - Method in class ttsolver.model.Lecture
toString() - Method in class ttsolver.model.Placement
toString() - Method in class ttsolver.model.RoomLocation
toString() - Method in class ttsolver.model.TimeLocation
toString() - Method in class ttsolver.TimetableModel
toStringArray() - Method in class ifs.util.PrologFile.Term
  return content as string array
trim(String, int) - Static method in class ifs.util.ToolBox
  Trim a string to have given length
ttsolver - package ttsolver
  Purdue University Timetabling.
ttsolver.constraint - package ttsolver.constraint
  Purdue University Timetabling: Constraints.
ttsolver.heuristics - package ttsolver.heuristics
  Purdue University Timetabling: Heuristics.
ttsolver.model - package ttsolver.model
  Purdue University Timetabling: Model.
TYPE_AFTER - Static variable in class ifs.example.tt.Dependence
TYPE_BEFORE - Static variable in class ifs.example.tt.Dependence
TYPE_BTB - Static variable in class ttsolver.constraint.GroupConstraint
  Back-to-back constraint: given classes have to be taught in the same room and they have to follow one strictly after another.
TYPE_BTB_TIME - Static variable in class ttsolver.constraint.GroupConstraint
  Back-to-back constraint: given classes have to follow one strictly after another, but they can be taught in different rooms.
TYPE_CLASS - Static variable in class ifs.example.tt.Resource
TYPE_CLOSELY_AFTER - Static variable in class ifs.example.tt.Dependence
TYPE_CLOSELY_BEFORE - Static variable in class ifs.example.tt.Dependence
TYPE_CONCURRENCY - Static variable in class ifs.example.tt.Dependence
TYPE_DIFF_TIME - Static variable in class ttsolver.constraint.GroupConstraint
  Different time: given classes cannot overlap in time.
TYPE_INSTRUCTOR - Static variable in class ifs.example.tt.Resource
TYPE_NHB_1 - Static variable in class ttsolver.constraint.GroupConstraint
  One hour between: between the given classes, the exact number of hours have to be kept.
TYPE_NHB_1_5 - Static variable in class ttsolver.constraint.GroupConstraint
  One and half hour between: between the given classes, the exact number of hours have to be kept.
TYPE_NHB_2 - Static variable in class ttsolver.constraint.GroupConstraint
  Two hours between: between the given classes, the exact number of hours have to be kept.
TYPE_NHB_3 - Static variable in class ttsolver.constraint.GroupConstraint
  Three hours between: between the given classes, the exact number of hours have to be kept.
TYPE_NHB_4 - Static variable in class ttsolver.constraint.GroupConstraint
  Four hours between: between the given classes, the exact number of hours have to be kept.
TYPE_NHB_4_5 - Static variable in class ttsolver.constraint.GroupConstraint
  Four and half hours between: between the given classes, the exact number of hours have to be kept.
TYPE_NHB_5 - Static variable in class ttsolver.constraint.GroupConstraint
  Five hours between: between the given classes, the exact number of hours have to be kept.
TYPE_NHB_6 - Static variable in class ttsolver.constraint.GroupConstraint
  Six hours between: between the given classes, the exact number of hours have to be kept.
TYPE_NHB_7 - Static variable in class ttsolver.constraint.GroupConstraint
  Seven hours between: between the given classes, the exact number of hours have to be kept.
TYPE_NHB_8 - Static variable in class ttsolver.constraint.GroupConstraint
  Eight hours between: between the given classes, the exact number of hours have to be kept.
TYPE_NHB_GTE_1 - Static variable in class ttsolver.constraint.GroupConstraint
  Greater than or equal to 1 hour between: between the given classes, the number of hours have to be one or more.
TYPE_NHB_LT_6 - Static variable in class ttsolver.constraint.GroupConstraint
  Less than 6 hours between: between the given classes, the number of hours have to be less than six.
TYPE_NO_DEPENDENCE - Static variable in class ifs.example.tt.Dependence
TYPE_OTHER - Static variable in class ifs.example.tt.Resource
TYPE_ROOM - Static variable in class ifs.example.tt.Resource
TYPE_SAME_DAYS - Static variable in class ttsolver.constraint.GroupConstraint
  Same days: given classes have to be taught in the same day.
TYPE_SAME_ROOM - Static variable in class ttsolver.constraint.GroupConstraint
  Same room: given classes have to placed in the same room.
TYPE_SAME_START - Static variable in class ttsolver.constraint.GroupConstraint
  Same room: given classes have to placed in the same room.
TYPE_SAME_TIME - Static variable in class ttsolver.constraint.GroupConstraint
  Same time: given classes have to be taught in the same hours.

## U

unassign(long) - Method in class ifs.model.Variable
  Unassign value from this variable.
unassigned(long, Value) - Method in class ifs.example.rpp.ResourceConstraint
  Notification, when a rectangle is unplaced.
unassigned(long, Value) - Method in class ifs.example.tt.Resource
unassigned(long, Value) - Method in class ifs.model.Constraint
  Given value is unassigned from its varable.
unassigned(long) - Method in class ifs.model.Value
  Notification (called by variable) that this value is unassigned
unassigned(long, Value) - Method in class ttsolver.constraint.DepartmentSpreadConstraint
unassigned(long, Value) - Method in class ttsolver.constraint.GroupConstraint
unassigned(long, Value) - Method in class ttsolver.constraint.JenrlConstraint
unassigned(long, Value) - Method in class ttsolver.constraint.ResourceConstraint
unassigned(long, Value) - Method in class ttsolver.constraint.RoomConstraint
unassignedHardConstraints() - Method in class ifs.model.Model
  The list of hard constraints which contain at least one variable that is not assigned.
unassignedVariables() - Method in class ifs.model.Model
  The list of unassigned variables in the model
undoPropagate(Variable) - Method in class ifs.extension.MacPropagation
  Propagation undo over the given variable.
UniversalPerturbationsCounter - Class in ttsolver.heuristics
  Perturbation penalty computation.
UniversalPerturbationsCounter(DataProperties) - Constructor for class ttsolver.heuristics.UniversalPerturbationsCounter
unregister(Model) - Method in class ifs.extension.ConflictStatistics
unregister(Model) - Method in class ifs.extension.Extension
  Unregistration of a model.
update(double) - Method in class ifs.solution.Solution
  Update time, increment current iteration
USELESS_SLOT_WEIGHT - Static variable in class ttsolver.heuristics.TimetableComparator
USELESS_SLOTS_WEIGHT - Static variable in class ttsolver.heuristics.PlacementSelection
useValueExtra() - Method in class ifs.extension.Extension
  Should return true when `Value.setExtra(Object)`, `Value.getExtra()` are used by the extension
useVariableExtra() - Method in class ifs.extension.Extension
  Should return true when `Variable.setExtra(Object)`, `Variable.getExtra()` are used by the extension

## V

Value - Class in ifs.model
  Generic value.
Value(Variable) - Constructor for class ifs.model.Value
  Constructor
Value(Variable, int) - Constructor for class ifs.model.Value
  Constructor
valueEquals(Value) - Method in class ifs.model.Value
  Comparison of two values which is based only on the value (not appropriate variable etc.). toInt() is compared by default.
valueRemoved(long, Value) - Method in interface ifs.model.VariableListener
  Called by the variable when a value is permanently removed from its domain
values() - Method in class ifs.model.Variable
  Domain
values() - Method in class ttsolver.model.Lecture
  All values
valueSelected(long, Variable, Value) - Method in class ifs.dbt.DbtPropagation
  If no value is selected (because of a dead end), make some unassignments.
valueSelected(long, Variable, Value) - Method in interface ifs.solver.SolverListener
  A value was selected
ValueSelection - Interface in ifs.heuristics
  Value selection criterion.
variable() - Method in class ifs.model.Value
  Returns the variable which this value belongs to
Variable - Class in ifs.model
  Generic variable.
Variable() - Constructor for class ifs.model.Variable
  Constructor
Variable(Value) - Constructor for class ifs.model.Variable
  Constructor
variableAdded(Variable) - Method in class ifs.extension.Extension
  Called when a variable is added to the model
variableAdded(Variable) - Method in interface ifs.model.ModelListener
  Variable is added to the model
variableAssigned(long, Value) - Method in interface ifs.model.VariableListener
  Called by the variable when a value is assigned to it
VariableListener - Interface in ifs.model
  IFS variable listener.
variableRemoved(Variable) - Method in class ifs.extension.Extension
  Called when a variable is removed from the model
variableRemoved(Variable) - Method in interface ifs.model.ModelListener
  Variable is removed from the model
variables() - Method in class ifs.model.Constraint
  The list of variables of this constraint
variables() - Method in class ifs.model.Model
  The list of variables in the model
variableSelected(long, Variable) - Method in class ifs.dbt.DbtPropagation
  If no variable is selected (all variables are assinged), unassign the last assigned variable.
variableSelected(long, Variable) - Method in interface ifs.solver.SolverListener
  A variable was selected
VariableSelection - Interface in ifs.heuristics
  Variable selection criterion.
variablesWithoutInitialValue() - Method in class ifs.model.Model
  The list of variales without initial value
variableUnassigned(long, Value) - Method in interface ifs.model.VariableListener
  Called by the variable when a value is unassigned from it
ViolatedInitials - Class in ifs.extension
  Computation of violated initial values (minimal perturbation problem).
ViolatedInitials(Solver, DataProperties) - Constructor for class ifs.extension.ViolatedInitials

## W

WEIGHTED_CONFLICTS_WEIGHT - Static variable in class ttsolver.heuristics.PlacementSelection
writeTerms(PrintWriter, Vector) - Static method in class ifs.util.PrologFile
  Writes a set of terms.

## X

xor(int, int) - Static method in class ifs.extension.AssignmentSet

A B C D E F G H I J L M N O P Q R S T U V W X

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

Copyright © 2005 Tomáš Müller