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