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

C

c - Variable in class JaCoP.constraints.Not
It specifies the constraint which negation is being created.
c - Variable in class JaCoP.constraints.Reified
It specifies constraint c which status is being checked.
c - Variable in class JaCoP.constraints.XeqC
It specifies the constant to which a specified variable should be equal to.
c - Variable in class JaCoP.constraints.XgtC
It specifies a constant C from which a given variable must be greater.
c - Variable in class JaCoP.constraints.XgteqC
It specifies a constant c from which a given variable must be greater or equal.
c - Variable in class JaCoP.constraints.XltC
It specifies constant
c - Variable in class JaCoP.constraints.XlteqC
It specifies constant c from which a given variable must be smaller or equal.
c - Variable in class JaCoP.constraints.XmulCeqZ
It specifies constant c in constraint x * c = z.
c - Variable in class JaCoP.constraints.XmulYeqC
It specifies constant c in constraint x * y = c.
c - Variable in class JaCoP.constraints.XneqC
It specifies constant c in constraint x != c.
c - Variable in class JaCoP.constraints.Xor
It specifies constraint c, which status must satisfy xor relationship with variable b.
c - Variable in class JaCoP.constraints.XplusCeqZ
It specifies constant c in constraint x+c=z.
c - Variable in class JaCoP.constraints.XplusClteqZ
It specifies constant c in constraint x+c<=z.
c - Variable in class JaCoP.constraints.XplusYgtC
It specifies constant c in constraint x + y > c.
c - Variable in class JaCoP.set.constraints.AdiffBeqC
It specifies set variable c.
c - Variable in class JaCoP.set.constraints.AintersectBeqC
It specifies set variable c.
c - Variable in class JaCoP.set.constraints.AunionBeqC
It specifies set variable c.
c1 - Variable in class JaCoP.constraints.Eq
It specifies the first constraint which status must be equivalent to the status of the second constraint.
c2 - Variable in class JaCoP.constraints.Eq
It specifies the second constraint which status must be equivalent to the status of the first constraint.
canFinalize() - Method in class tlass.project.model.Schedule
Checks to see is a schedule can be published and is approved If so it signals that the schedule can be finalized.
canFinalizeTest() - Method in class tlass.unitTesting.model.TestSchedule
Tests the schedule canFinalize method
canPublish() - Method in class tlass.project.model.Schedule
A schedule can be published if all of it's positions have been filled.
canPublishTest() - Method in class tlass.unitTesting.model.TestSchedule
Tests the schedule canPublish method
capacity - Variable in class JaCoP.constraints.netflow.simplex.Arc
The unused (i.e.
card() - Method in class JaCoP.set.core.BoundSetDomain
Returns the cardinality of the setDomain as [glb.card(), lub.card()]
card() - Method in class JaCoP.set.core.SetDomain
Returns the cardinality of the setDomain as [glb.card(), lub.card()]
CardA - Class in JaCoP.set.constraints
The set cardinality constraint.
CardA(SetVar, int) - Constructor for class JaCoP.set.constraints.CardA
It constructs a cardinality constraint to restrict the number of elements in the set assigned to a set variable a.
CardA(SetVar, IntDomain) - Constructor for class JaCoP.set.constraints.CardA
It constructs a cardinality constraint to restrict the number of elements in the set assigned to set variable a.
CardA(SetVar, int, int) - Constructor for class JaCoP.set.constraints.CardA
It constructs a cardinality constraint to restrict the number of elements in the set assigned to set variable a.
CardAeqX - Class in JaCoP.set.constraints
The set cardinality constraint.
CardAeqX(SetVar, IntVar) - Constructor for class JaCoP.set.constraints.CardAeqX
It constructs a cardinality constraint to restrict the number of elements in the set assigned to set variable a.
cardinality - Variable in class JaCoP.set.constraints.CardA
It specifies variable c specifying the possible cardinality of variable x.
cardinality - Variable in class JaCoP.set.constraints.CardAeqX
It specifies integer variable c specifying the possible cardinality of set variable a.
cardinality - Variable in class JaCoP.set.core.BoundSetDomain
The cardinality of the set.
CARDINALITY - Static variable in class JaCoP.set.core.SetDomain
It specifies event that has changed the cardinality of the set.
cardInfeasible() - Method in class JaCoP.constraints.geost.AllowedArea
 
cardInfeasible() - Method in class JaCoP.constraints.geost.DomainHoles
 
cardInfeasible() - Method in class JaCoP.constraints.geost.ForbiddenArea
 
cardInfeasible() - Method in class JaCoP.constraints.geost.InternalConstraint
It provides an approximation of the number of infeasible points enforced by this constraint only.
cardInfeasible() - Method in class JaCoP.constraints.geost.ObstacleObject
 
cardInfeasible() - Method in class JaCoP.constraints.geost.ObstacleObjectFrame
 
changeCapacity(int, int) - Method in class JaCoP.constraints.netflow.ArcCompanion
Changes the lower and upper capacity of the arc in any way, performing the necessary changes to node balance and flow offset functions.
changeCostOffset(long) - Method in interface JaCoP.constraints.netflow.MutableNetwork
Changes the cost offset by some value.
changeCostOffset(long) - Method in class JaCoP.constraints.netflow.Network
 
changed - Variable in class JaCoP.core.Store
It stores constraints scheduled for reevaluation.
changeHistory4BooleanVariables - Variable in class JaCoP.core.Store
It stores boolean variables as soon as they change (become grounded or number of constraints being attached is changed).
changeMaxCapacity(int) - Method in class JaCoP.constraints.netflow.ArcCompanion
 
changeMinCapacity(int) - Method in class JaCoP.constraints.netflow.ArcCompanion
 
check(TimeStamp<Integer>[]) - Method in class JaCoP.constraints.regular.RegEdge
It checks if the edge is between active states.
checkBeforeUpdate(Arc, Arc) - Static method in class JaCoP.constraints.netflow.Assert
 
checkFlow(NetworkSimplex) - Static method in class JaCoP.constraints.netflow.Assert
 
checkIfAllowed(int[]) - Method in class JaCoP.util.MDD
It checks if the specified tuple is allowed.
checkIfAllowed() - Method in class JaCoP.util.MDD
 
checkInfeasibleNodes(NetworkSimplex) - Static method in class JaCoP.constraints.netflow.Assert
 
checkInt(String) - Method in class JaCoP.fz.Tables
It returns an Integer parameter of a given identity.
checkInvariants() - Method in class JaCoP.constraints.AndBool
It checks invariants required by the constraint.
checkInvariants() - Method in class JaCoP.constraints.EqBool
It checks invariants required by the constraint.
checkInvariants() - Method in class JaCoP.constraints.geost.AllowedArea
It checks that this constraint has consistent data structures.
checkInvariants() - Method in class JaCoP.constraints.geost.DBox
It checks whether the DBox is consistent.
checkInvariants() - Method in class JaCoP.constraints.geost.ForbiddenArea
It checks whether the ForbiddenArea is consistent.
checkInvariants() - Method in class JaCoP.constraints.geost.Geost
It checks that this constraint has consistent data structures.
checkInvariants() - Method in class JaCoP.constraints.geost.InArea
It checks whether the InArea is consistent.
checkInvariants() - Method in class JaCoP.constraints.geost.ObstacleObject
 
checkInvariants() - Method in class JaCoP.constraints.geost.ObstacleObjectFrame
It checks that this constraint has consistent data structures.
checkInvariants() - Method in class JaCoP.constraints.geost.PredefinedOrder
It checks the invariants for this order.
checkInvariants() - Method in class JaCoP.constraints.geost.Shape
It checks whether the shape object is consistent.
checkInvariants() - Method in class JaCoP.constraints.geost.ShiftOrder
It checks that this order has consistent data structures.
checkInvariants() - Method in class JaCoP.constraints.IfThenBool
It checks invariants required by the constraint.
checkInvariants() - Method in class JaCoP.constraints.OrBool
It checks invariants required by the constraint.
checkInvariants() - Method in class JaCoP.constraints.XorBool
It checks invariants required by the constraint.
checkInvariants() - Method in class JaCoP.core.BoundDomain
 
checkInvariants() - Method in class JaCoP.core.Domain
It checks if the domain has correct state.
checkInvariants() - Method in class JaCoP.core.IntervalDomain
It is a function to check if the object is in consistent state.
checkInvariants() - Method in class JaCoP.core.SmallDenseDomain
 
checkInvariants() - Method in class JaCoP.core.Store
It checks invariants to see if the execution went smoothly.
checkInvariants() - Method in class JaCoP.set.core.BoundSetDomain
 
checkInvariants() - Method in class JaCoP.set.core.SetDomain
 
checkOptimality(NetworkSimplex) - Static method in class JaCoP.constraints.netflow.Assert
 
checkRemoveInvariant(int) - Method in class JaCoP.core.IntervalBasedBacktrackableManager
It checks all backtrackable objects that they have not retained any level equal or above removedLevel.
checkStructure(NetworkSimplex) - Static method in class JaCoP.constraints.netflow.Assert
 
checkUser(User) - Method in class tlass.project.LoginHandler
Checks if the User is valid
childrenSolutionListeners - Variable in class JaCoP.search.SimpleSolutionListener
It contains children of the solution listener.
childSearches - Variable in class JaCoP.search.DepthFirstSearch
It stores searches which will be executed when this one has assign all its variables.
Circuit - Class in JaCoP.constraints
Circuit constraint assures that all variables build a Hamiltonian circuit.
Circuit(IntVar[]) - Constructor for class JaCoP.constraints.Circuit
It constructs a circuit constraint.
Circuit(ArrayList<IntVar>) - Constructor for class JaCoP.constraints.Circuit
It constructs a circuit constraint.
classVariable - Static variable in class JaCoP.core.XMLSaveSupport
 
clean() - Method in class tlass.project.model.Assistant
 
clean(ArrayList<Assistant>) - Method in class tlass.project.model.Instructor
Removes any assistants still in the instructors forbidden assistants list after that assistant has been deleted from the master list
clean(ArrayList<Position>, ArrayList<Assistant>) - Method in class tlass.project.model.Schedule
Consumes the positions and assistants in the system and checks if this schedule references resources that are missing.
clean(Position[], ArrayList<Assistant>) - Method in class tlass.project.model.Schedule
Removes all of the positions and assistants in the supplied array of positions and ArrayList of asssistants
clean(ArrayList<Assistant>, ArrayList<Skill>, ArrayList<Instructor>) - Method in class tlass.project.model.Section
Consumes an ArrayLIst of assistants, skills, and instructors and then removes all of the elements from the three arraylists
cleanAfterFailure() - Method in class JaCoP.constraints.Constraint
It is executed after the constraint has failed.
cleanAfterFailure() - Method in class JaCoP.constraints.knapsack.Knapsack
 
clear() - Method in class JaCoP.constraints.netflow.simplex.Arc
Clears an artificial arc
clear() - Method in class JaCoP.core.BoundDomain
 
clear() - Method in class JaCoP.core.Domain
It removes all elements.
clear() - Method in class JaCoP.core.IntervalDomain
It removes all elements.
clear() - Method in class JaCoP.core.SmallDenseDomain
 
clear() - Method in class JaCoP.set.core.BoundSetDomain
Sets the domain to an empty SetDomain.
clear() - Method in class JaCoP.set.core.SetDomain
Sets the domain to an empty SetDomain.
clear() - Method in class JaCoP.util.SimpleArrayList
Removes all of the elements from this list.
clear() - Method in class JaCoP.util.SimpleHashSet
Removes all elements from this set.
clear() - Method in class JaCoP.util.SparseSet
It removes all the elements by setting the number of members to zero.
clearChanged() - Method in class JaCoP.core.Store
It clears the queue of constraints which need to be reevaluated usefull if different scheme propagation scheme needs to be implemented.
clearNodeScope(Node) - Method in class JaCoP.fz.JJTParserState
 
clearNoGC() - Method in class JaCoP.util.SimpleArrayList
same as clear(), but references to objects are kept internally.
clearTable() - Method in class tlass.project.gui.panels.SchedulePanel.ScheduleTable
clear the table
clearTableTest() - Method in class tlass.unitTesting.gui.panels.TestSchedulePanel
 
clearWatchedConstraint() - Method in class JaCoP.core.Store
It removes all watches to constraints, therefore constraints are no longer watched, no longer part of the model.
clone() - Method in class JaCoP.core.BoundDomain
 
clone() - Method in class JaCoP.core.Domain
It clones the domain object.
clone() - Method in class JaCoP.core.Interval
 
clone() - Method in class JaCoP.core.IntervalDomain
It clones the domain object.
clone() - Method in class JaCoP.core.MutableDomainValue
 
clone() - Method in interface JaCoP.core.MutableVarValue
It clones the value of mutable variable.
clone() - Method in class JaCoP.core.SmallDenseDomain
 
clone() - Method in class JaCoP.set.core.BoundSetDomain
Clones the domain.
clone() - Method in class JaCoP.util.SimpleHashSet
Clones this set.
cloneLight() - Method in class JaCoP.core.BoundDomain
It clones this domain.
cloneLight() - Method in class JaCoP.core.Domain
It clones the domain object, only data responsible for encoding domain values is cloned.
cloneLight() - Method in class JaCoP.core.IntDomain
 
cloneLight() - Method in class JaCoP.core.IntervalDomain
It clones the domain object, only data responsible for encoding domain values is cloned.
cloneLight() - Method in class JaCoP.core.SmallDenseDomain
It clones the domain object, only data responsible for encoding domain values is cloned.
cloneLight() - Method in class JaCoP.set.core.BoundSetDomain
It clones the domain object, only data responsible for encoding domain values is cloned.
cloneLight() - Method in class JaCoP.set.core.SetDomain
It clones the domain object, only data responsible for encoding domain values is cloned.
close() - Method in class JaCoP.constraints.netflow.Pruning.PercentStrategy
 
close() - Method in class tlass.project.DataStoreConnection
Close the connection to the DataStore
close - Variable in class tlass.project.gui.MainMenu
 
closeAll - Variable in class tlass.project.gui.MainMenu
 
closeLoginWindow() - Method in class tlass.project.gui.View
close the login window
closeMainWindow() - Method in class tlass.project.gui.View
close the main window
closeNodeScope(Node, int) - Method in class JaCoP.fz.JJTParserState
 
closeNodeScope(Node, boolean) - Method in class JaCoP.fz.JJTParserState
 
closeSemesterDialog() - Method in class tlass.project.gui.View
close the semester dialog
closeServerSettingsWindow() - Method in class tlass.project.gui.View
close the server settings window
closeTab(Object) - Method in class tlass.project.gui.MainWindow
Given a Resource, closes an open tab associated with it.
closeTab(int) - Method in class tlass.project.gui.MainWindow
Given a tab index, closes that specific tab.
COLON - Static variable in interface JaCoP.fz.ParserConstants
RegularExpression Id.
COLONCOLON - Static variable in interface JaCoP.fz.ParserConstants
RegularExpression Id.
COLUMN_ASSISTANT - Static variable in class tlass.project.gui.panels.SchedulePanel
 
COLUMN_POSITION - Static variable in class tlass.project.gui.panels.SchedulePanel
 
COLUMN_RESPONSE - Static variable in class tlass.project.gui.panels.SchedulePanel
 
COLUMN_SECTION - Static variable in class tlass.project.gui.panels.SchedulePanel
 
COMMA - Static variable in interface JaCoP.fz.ParserConstants
RegularExpression Id.
companion - Variable in class JaCoP.constraints.netflow.simplex.Arc
The arc companion for constraint API.
ComparatorVariable<T extends Var> - Interface in JaCoP.search
Defines an interface for comparing variables.
compare(int[], int[]) - Method in interface JaCoP.constraints.geost.LexicographicalOrder
It compares two k-dimensional points.
compare(int[], int[]) - Method in class JaCoP.constraints.geost.PredefinedOrder
 
compare(int[], int[]) - Method in class JaCoP.constraints.geost.ShiftOrder
 
compare(float, T) - Method in interface JaCoP.search.ComparatorVariable
It compares the baseline metric to the variable metric.
compare(T, T) - Method in interface JaCoP.search.ComparatorVariable
It compares the metric of the left variable against the right one.
compare(float, T) - Method in class JaCoP.search.LargestDomain
 
compare(T, T) - Method in class JaCoP.search.LargestDomain
 
compare(float, T) - Method in class JaCoP.search.LargestMax
 
compare(T, T) - Method in class JaCoP.search.LargestMax
 
compare(float, T) - Method in class JaCoP.search.LargestMin
 
compare(T, T) - Method in class JaCoP.search.LargestMin
 
compare(float, T) - Method in class JaCoP.search.MaxRegret
 
compare(T, T) - Method in class JaCoP.search.MaxRegret
 
compare(float, T) - Method in class JaCoP.search.MinDomainOverDegree
 
compare(T, T) - Method in class JaCoP.search.MinDomainOverDegree
 
compare(float, T) - Method in class JaCoP.search.MostConstrainedDynamic
 
compare(T, T) - Method in class JaCoP.search.MostConstrainedDynamic
 
compare(float, T) - Method in class JaCoP.search.MostConstrainedStatic
 
compare(T, T) - Method in class JaCoP.search.MostConstrainedStatic
 
compare(float, T) - Method in class JaCoP.search.SmallestDomain
 
compare(T, T) - Method in class JaCoP.search.SmallestDomain
 
compare(float, T) - Method in class JaCoP.search.SmallestMax
 
compare(T, T) - Method in class JaCoP.search.SmallestMax
 
compare(float, T) - Method in class JaCoP.search.SmallestMin
 
compare(T, T) - Method in class JaCoP.search.SmallestMin
 
compare(float, T) - Method in class JaCoP.search.WeightedDegree
 
compare(T, T) - Method in class JaCoP.search.WeightedDegree
 
compare(float, T) - Method in class JaCoP.set.search.MaxCardDiff
Compares the cardinality difference of the variable to the float value.
compare(T, T) - Method in class JaCoP.set.search.MaxCardDiff
Compares the cardinality difference of the variables.
compare(float, T) - Method in class JaCoP.set.search.MaxGlbCard
Compares the cardinality of the variables glb to the float value.
compare(T, T) - Method in class JaCoP.set.search.MaxGlbCard
Compares the cardinality of the variables glbs.
compare(float, T) - Method in class JaCoP.set.search.MaxLubCard
Compares the cardinality of the variables lub to the float value.
compare(T, T) - Method in class JaCoP.set.search.MaxLubCard
Compares the cardinality of the variables lubs.
compare(float, T) - Method in class JaCoP.set.search.MinCardDiff
Compares the cardinality difference of the variable to the float value.
compare(T, T) - Method in class JaCoP.set.search.MinCardDiff
Compares the cardinality difference of the variables.
compare(float, T) - Method in class JaCoP.set.search.MinGlbCard
Compares the cardinality of the variables glb to the float value.
compare(T, T) - Method in class JaCoP.set.search.MinGlbCard
Compares the cardinality of the variables glbs.
compare(float, T) - Method in class JaCoP.set.search.MinLubCard
Compares the cardinality of the variables lub to the float value.
compare(T, T) - Method in class JaCoP.set.search.MinLubCard
Compares the cardinality of the variables lubs.
compare(ArrayList<Pair<String, String>>) - Method in class tlass.project.model.Schedule
Consumes a schedule represented by an arraylist of Assignments, and returns the username (Strings) of all the assistants who have had their assignment changed.
compareTo(KnapsackItem) - Method in class JaCoP.constraints.knapsack.KnapsackItem
Method used in the sorting of the items, we use profit and weight to know the less efficient item without using division.
compareTo(ArcCompanion) - Method in class JaCoP.constraints.netflow.ArcCompanion
 
complement() - Method in class JaCoP.core.BoundDomain
 
complement() - Method in class JaCoP.core.IntDomain
It creates a complement of a domain.
complement() - Method in class JaCoP.core.IntervalDomain
It creates a complement of a domain.
complement() - Method in class JaCoP.core.SmallDenseDomain
 
complement() - Method in class JaCoP.set.core.BoundSetDomain
It creates a complement of a domain.
componentCountTest() - Method in class tlass.unitTesting.gui.panels.TestConstraintPanel
check and make sure there is 1 component in the panel
componentCountTest() - Method in class tlass.unitTesting.gui.TestLoginMenu
Test componentCount of loginMenu to make sure that there is one component added
componentCountTest() - Method in class tlass.unitTesting.gui.TestLoginWindow
make sure the constructor makes the login window have 3 components
components() - Method in class JaCoP.constraints.geost.Shape
It returns the dboxes defining the shape.
computeForbidden() - Method in class JaCoP.constraints.knapsack.Knapsack
It searches through a subset of right items to find the ones which can not be fully included without violating the profit requirement in the knapsack constraint.
computeIntrusionWeight(int, int, int, double, double) - Method in class JaCoP.constraints.knapsack.Tree
It returns the amount of weight of a given item being checked which can be replaced by Right items given the amount of profitSlack.
computeMandatory() - Method in class JaCoP.constraints.knapsack.Knapsack
It computes the mandatory part of the knapsack pruning.
computeMinProfit(int) - Method in class JaCoP.constraints.knapsack.Tree
It computes the minimum of capacity variable for knapsack constraint given the minimum requirement for profit.
computeMinWeight(int) - Method in class JaCoP.constraints.knapsack.Tree
It computes the minimum of capacity variable for knapsack constraint given the minimum requirement for profit.
computeReplacableWeight(int, int, int, double, double) - Method in class JaCoP.constraints.knapsack.Tree
It returns the amount of weight of a given item being checked which can be replaced by Right items given the amount of profitSlack.
concatenation(FSM) - Method in class JaCoP.util.fsm.FSM
It does concatenation of two FSM.
Concatenation - Static variable in class JaCoP.util.fsm.RegularExpressionParser
The constant denoting concatenation expression.
condC - Variable in class JaCoP.constraints.IfThen
It specifies constraint condC in the IfThen constraint.
condC - Variable in class JaCoP.constraints.IfThenElse
It specifies constraint condC in the IfThenElse constraint.
consistency(Store) - Method in class JaCoP.constraints.AbsXeqY
 
consistency(Store) - Method in class JaCoP.constraints.Alldiff
 
consistency(Store) - Method in class JaCoP.constraints.Alldifferent
 
consistency(Store) - Method in class JaCoP.constraints.Alldistinct
 
consistency(Store) - Method in class JaCoP.constraints.Among
 
consistency(Store) - Method in class JaCoP.constraints.AmongVar
 
consistency(Store) - Method in class JaCoP.constraints.And
 
consistency(Store) - Method in class JaCoP.constraints.AndBool
 
consistency(Store) - Method in class JaCoP.constraints.Assignment
 
consistency(Store) - Method in class JaCoP.constraints.binpacking.Binpacking
 
consistency(Store) - Method in class JaCoP.constraints.Circuit
 
consistency(Store) - Method in class JaCoP.constraints.Constraint
It is a (most probably incomplete) consistency function which removes the values from variables domains.
consistency(Store) - Method in class JaCoP.constraints.Count
 
consistency(Store) - Method in class JaCoP.constraints.CountStudents
 
consistency(Store) - Method in class JaCoP.constraints.Cumulative
 
consistency(Store) - Method in class JaCoP.constraints.Diff
 
consistency(Store) - Method in class JaCoP.constraints.Distance
 
consistency(Store) - Method in class JaCoP.constraints.Element
 
consistency(Store) - Method in class JaCoP.constraints.ElementInteger
 
consistency(Store) - Method in class JaCoP.constraints.ElementVariable
 
consistency(Store) - Method in class JaCoP.constraints.Eq
 
consistency(Store) - Method in class JaCoP.constraints.EqBool
 
consistency(Store) - Method in class JaCoP.constraints.ExtensionalConflictVA
 
consistency(Store) - Method in class JaCoP.constraints.ExtensionalSupportMDD
 
consistency(Store) - Method in class JaCoP.constraints.ExtensionalSupportSTR
 
consistency(Store) - Method in class JaCoP.constraints.ExtensionalSupportVA
 
consistency(Store) - Method in class JaCoP.constraints.GCC
 
consistency(Store) - Method in class JaCoP.constraints.geost.Geost
 
consistency(Store) - Method in class JaCoP.constraints.IfThen
 
consistency(Store) - Method in class JaCoP.constraints.IfThenBool
 
consistency(Store) - Method in class JaCoP.constraints.IfThenElse
 
consistency(Store) - Method in class JaCoP.constraints.In
 
consistency(Store) - Method in class JaCoP.constraints.knapsack.Knapsack
 
consistency(Store) - Method in class JaCoP.constraints.Max
 
consistency(Store) - Method in class JaCoP.constraints.Min
 
consistency(Store) - Method in class JaCoP.constraints.netflow.NetworkFlow
 
consistency(Store) - Method in class JaCoP.constraints.NoGood
 
consistency(Store) - Method in class JaCoP.constraints.Not
 
consistency(Store) - Method in class JaCoP.constraints.Or
 
consistency(Store) - Method in class JaCoP.constraints.OrBool
 
consistency(Store) - Method in class JaCoP.constraints.regular.Regular
 
consistency(Store) - Method in class JaCoP.constraints.Reified
 
consistency(Store) - Method in class JaCoP.constraints.Sum
 
consistency(Store) - Method in class JaCoP.constraints.SumWeight
 
consistency(Store) - Method in class JaCoP.constraints.Values
 
consistency(Store) - Method in class JaCoP.constraints.XdivYeqZ
 
consistency(Store) - Method in class JaCoP.constraints.XeqC
 
consistency(Store) - Method in class JaCoP.constraints.XeqY
 
consistency(Store) - Method in class JaCoP.constraints.XexpYeqZ
 
consistency(Store) - Method in class JaCoP.constraints.XgtC
 
consistency(Store) - Method in class JaCoP.constraints.XgteqC
 
consistency(Store) - Method in class JaCoP.constraints.XgteqY
 
consistency(Store) - Method in class JaCoP.constraints.XgtY
 
consistency(Store) - Method in class JaCoP.constraints.XltC
 
consistency(Store) - Method in class JaCoP.constraints.XlteqC
 
consistency(Store) - Method in class JaCoP.constraints.XlteqY
 
consistency(Store) - Method in class JaCoP.constraints.XltY
 
consistency(Store) - Method in class JaCoP.constraints.XmodYeqZ
 
consistency(Store) - Method in class JaCoP.constraints.XmulCeqZ
 
consistency(Store) - Method in class JaCoP.constraints.XmulYeqC
 
consistency(Store) - Method in class JaCoP.constraints.XmulYeqZ
 
consistency(Store) - Method in class JaCoP.constraints.XneqC
 
consistency(Store) - Method in class JaCoP.constraints.XneqY
 
consistency(Store) - Method in class JaCoP.constraints.Xor
 
consistency(Store) - Method in class JaCoP.constraints.XorBool
 
consistency(Store) - Method in class JaCoP.constraints.XplusCeqZ
 
consistency(Store) - Method in class JaCoP.constraints.XplusClteqZ
 
consistency(Store) - Method in class JaCoP.constraints.XplusYeqC
 
consistency(Store) - Method in class JaCoP.constraints.XplusYeqZ
 
consistency(Store) - Method in class JaCoP.constraints.XplusYgtC
 
consistency(Store) - Method in class JaCoP.constraints.XplusYlteqZ
 
consistency(Store) - Method in class JaCoP.constraints.XplusYplusCeqZ
 
consistency(Store) - Method in class JaCoP.constraints.XplusYplusQeqZ
 
consistency(Store) - Method in class JaCoP.constraints.XplusYplusQgtC
 
consistency() - Method in class JaCoP.core.Store
This function computes the consistency function.
consistency(Store) - Method in class JaCoP.set.constraints.AdiffBeqC
 
consistency(Store) - Method in class JaCoP.set.constraints.AdisjointB
 
consistency(Store) - Method in class JaCoP.set.constraints.AeqB
 
consistency(Store) - Method in class JaCoP.set.constraints.AeqS
 
consistency(Store) - Method in class JaCoP.set.constraints.AinB
 
consistency(Store) - Method in class JaCoP.set.constraints.AinS
 
consistency(Store) - Method in class JaCoP.set.constraints.AintersectBeqC
 
consistency(Store) - Method in class JaCoP.set.constraints.AunionBeqC
 
consistency(Store) - Method in class JaCoP.set.constraints.CardA
 
consistency(Store) - Method in class JaCoP.set.constraints.CardAeqX
 
consistency(Store) - Method in class JaCoP.set.constraints.EinA
 
consistency(Store) - Method in class JaCoP.set.constraints.ElementSet
 
consistency(Store) - Method in class JaCoP.set.constraints.Lex
 
consistency(Store) - Method in class JaCoP.set.constraints.Match
 
consistency(Store) - Method in class JaCoP.set.constraints.SinA
 
consistency(Store) - Method in class JaCoP.set.constraints.SumWeightedSet
 
consistency(Store) - Method in class JaCoP.set.constraints.XeqA
 
consistency(Store) - Method in class JaCoP.set.constraints.XinA
 
CONSISTENCY_INFO_FROM - Variable in class JaCoP.constraints.knapsack.Knapsack
It specifies how many consistency functions must be executed before the information about the constraint is being printed out.
consistencyCalls - Static variable in class JaCoP.constraints.netflow.Statistics
 
consistencyChecks - Variable in class JaCoP.constraints.Alldistinct
It counts the number of executions of the consistency function.
consistencyDurationGtZero(Store) - Method in class JaCoP.constraints.geost.GeostObject.TimeBoundConstraint
It applies constraint enforcing that duration > 0
consistencyForX(Store) - Method in class JaCoP.constraints.AmongVar
Is called when all y are grounded and amongForSet is equivalent to simple version of Among.
consistencyForY(Store) - Method in class JaCoP.constraints.AmongVar
It is a function which makes Y consistent if all X's are grounded.
consistencyIterations - Static variable in class JaCoP.constraints.netflow.Statistics
 
ConsistencyListener - Interface in JaCoP.search
Defines an interface of an object which can be plugined into the search right after executing the consistency function (at the beginning of each search node).
consistencyListener - Variable in class JaCoP.search.DepthFirstSearch
It is invoked when consistency function has been executed.
consistencyPruningEvents - Variable in class JaCoP.constraints.Constraint
It specifies the event which must occur in order for the consistency function to be called.
consistencyStartPlusDurationEqEnd(Store) - Method in class JaCoP.constraints.geost.GeostObject.TimeBoundConstraint
It evaluates part of the constraint that ensures that start + duration = end
consistencyWhen_LB0_EQ_UB0(Store) - Method in class JaCoP.constraints.AmongVar
The number of x in lbsDom is equal to the number of X intersecting ubSDom.
Constraint - Class in JaCoP.constraints
Standard unified interface/abstract class for all constraints.
Constraint() - Constructor for class JaCoP.constraints.Constraint
 
CONSTRAINT - Static variable in interface JaCoP.fz.ParserConstants
RegularExpression Id.
Constraint - Class in tlass.project.model
 
Constraint() - Constructor for class tlass.project.model.Constraint
Simple constructor
constraint_elem() - Method in class JaCoP.fz.Parser
 
constraint_item() - Method in class JaCoP.fz.Parser
 
constraint_items() - Method in class JaCoP.fz.Parser
 
ConstraintPanel - Class in tlass.project.gui.panels
 
ConstraintPanel(Controller, Constraint) - Constructor for class tlass.project.gui.panels.ConstraintPanel
Create a Constraint Panel
constraints - Variable in class JaCoP.constraints.geost.InArea
It holds all the constraints which have been generated from this external constraints.
constraints() - Method in class JaCoP.core.Domain
It returns all the constraints attached currently to the domain.
Constraints - Class in JaCoP.fz
The part of the parser responsible for parsing constraints.
Constraints(Store) - Constructor for class JaCoP.fz.Constraints
It creates an object to parse the constraint part of the flatzinc file.
constraintsToTrace - Static variable in class JaCoP.core.Store
It stores all constraints for which reevaluation should be traced.
constraintTest() - Method in class tlass.unitTesting.constraintTypes.TestForbidAssignmentConstraint
 
constraintTest() - Method in class tlass.unitTesting.constraintTypes.TestForbidInstructorAssignementConstraint
 
constraintTest() - Method in class tlass.unitTesting.constraintTypes.TestLimitStudentTotalConstraint
 
constraintTest() - Method in class tlass.unitTesting.constraintTypes.TestPreventScheduleConflictsConstraint
 
constraintTest() - Method in class tlass.unitTesting.constraintTypes.TestPreventSectionConflictsConstraint
 
constraintTest() - Method in class tlass.unitTesting.constraintTypes.TestRequireAssignmentConstraint
 
constraintTest() - Method in class tlass.unitTesting.constraintTypes.TestRequireTagsConstraint
 
constructorTest() - Method in class tlass.unitTesting.gui.TestMainMenu
test that the constructor worked correctly
constructorTest() - Method in class tlass.unitTesting.gui.TestMainWindow
 
constructScheduleTableTest() - Method in class tlass.unitTesting.gui.panels.TestSchedulePanel
 
contains(IntDomain) - Method in class JaCoP.core.BoundDomain
 
contains(int) - Method in class JaCoP.core.BoundDomain
 
contains(int, int) - Method in class JaCoP.core.BoundDomain
 
contains(IntDomain) - Method in class JaCoP.core.IntDomain
It specifies if the current domain contains the domain given as a parameter.
contains(int, int) - Method in class JaCoP.core.IntDomain
It checks if an interval min..max belongs to the domain.
contains(int) - Method in class JaCoP.core.IntDomain
It checks if value belongs to the domain.
contains(IntDomain) - Method in class JaCoP.core.IntervalDomain
It specifies if the current domain contains the domain given as a parameter.
contains(int) - Method in class JaCoP.core.IntervalDomain
It checks if value belongs to the domain.
contains(int, int) - Method in class JaCoP.core.IntervalDomain
 
contains(IntDomain) - Method in class JaCoP.core.SmallDenseDomain
 
contains(int) - Method in class JaCoP.core.SmallDenseDomain
 
contains(int, int) - Method in class JaCoP.core.SmallDenseDomain
 
contains(IntDomain) - Method in class JaCoP.set.core.BoundSetDomain
It checks if the supplied set or setDomain is a subset of this domain.
contains(SetDomain) - Method in class JaCoP.set.core.BoundSetDomain
 
contains(int) - Method in class JaCoP.set.core.BoundSetDomain
It checks if value belongs to the domain.
contains(IntDomain) - Method in class JaCoP.set.core.SetDomain
It checks if the supplied set or setDomain is still potentially a subset of this domain.
contains(SetDomain) - Method in class JaCoP.set.core.SetDomain
It checks if the supplied set domain is a subset of this domain.
contains(int) - Method in class JaCoP.set.core.SetDomain
It checks if value belongs to the domain of the set.
contains(int) - Method in class JaCoP.util.IndexDomainView
It checks if the value of a given index is still in the domain.
contains(Object) - Method in class JaCoP.util.SimpleArrayList
Returns true if this list contains the specified element.
contains(E) - Method in class JaCoP.util.SimpleHashSet
Returns the boolean value which specifies if given element is already in this identity hash set.
contains(Object) - Method in class tlass.project.gui.SpecialComboBoxModel
add contains method to the DefaultComboBoxModel because there is a bug that causes it to be missing
containsPoint(int[]) - Method in class JaCoP.constraints.geost.DBox
It checks if this DBox contains the point as specified by an array of coordinates.
containsPoint(int[]) - Method in class JaCoP.constraints.geost.Shape
It checks whether a given point lies within any of the shapes boxes.
containsTest() - Method in class tlass.unitTesting.gui.TestSpecialComboBoxModel
make sure that contains works correctly
Controller - Class in tlass.project
 
Controller() - Constructor for class tlass.project.Controller
Constructor to give instances to important class members
convertDayToName(int) - Static method in class tlass.project.model.TimeBlock
Turns a number day into it's human readable version
convertTime(int, int) - Static method in class tlass.project.model.TimeBlock
Consumes minutes and hours (in military time format) and returns the total minutes of the day
convertTimeToHour(int) - Static method in class tlass.project.model.TimeBlock
Returns the hour (non-military) of a time in minutes total
convertTimeToMeridian(int) - Static method in class tlass.project.model.TimeBlock
Returns the meridian of a time in minutes total
convertTimeToMinute(int) - Static method in class tlass.project.model.TimeBlock
Returns the minutes of a time in minutes total
convertTimeToTime(Time) - Static method in class tlass.project.model.TimeBlock
Consumes a java time and returns it in total minutes of the day
coords - Variable in class JaCoP.constraints.geost.GeostObject
It specifies the coordinates in k-dimensional space at which the object is fixed.
copy() - Method in class tlass.project.model.Assistant
Creates an exact copy of an assistant
copy() - Method in class tlass.project.model.Instructor
Creates a copy of an Instructor
copy() - Method in class tlass.project.model.Schedule
Returns a copy of the Schedule, including it's internal data structures (assignments and responses).
copy() - Method in class tlass.project.model.Section
Clones all of the data for the section
copyInto(DBox) - Method in class JaCoP.constraints.geost.DBox
It copies this DBox into given DBox.
copySemester(String, String) - Method in class tlass.project.SemesterHandler
Takes the selected semester and clones it
cost(long) - Method in class JaCoP.constraints.netflow.Network
 
cost - Variable in class JaCoP.constraints.netflow.simplex.Arc
The cost of the Arc cost
cost(long) - Method in class JaCoP.constraints.netflow.simplex.NetworkSimplex
 
costOffset - Variable in class JaCoP.constraints.netflow.Network
Cost due to deleted arcs
costValue - Variable in class JaCoP.search.DepthFirstSearch
It represents the cost value of currently best solution.
costVar - Variable in class JaCoP.constraints.SoftAlldifferent
 
costVar - Variable in class JaCoP.constraints.SoftGCC
 
costVariable - Variable in class JaCoP.constraints.netflow.NetworkBuilder
 
costVariable - Variable in class JaCoP.constraints.netflow.NetworkFlow
The cost variable
costVariable - Variable in class JaCoP.search.DepthFirstSearch
It represents the cost variable.
Count - Class in JaCoP.constraints
Count constraint implements the counting over number of occurrences of a given value in a list of variables.
Count(IntVar[], IntVar, int) - Constructor for class JaCoP.constraints.Count
It constructs a Count constraint.
Count(ArrayList<? extends IntVar>, IntVar, int) - Constructor for class JaCoP.constraints.Count
It constructs a Count constraint.
countConsistency - Variable in class JaCoP.constraints.knapsack.Knapsack
It counts the number of time the consistency function has been executed.
countConstraint() - Method in class JaCoP.core.Store
This function is called when a counter of constraints should be increased.
countConstraint(int) - Method in class JaCoP.core.Store
This function is called when a counter of constraints should be increased by given value.
countedValue - Variable in class JaCoP.constraints.SoftGCC
 
counter - Static variable in class JaCoP.constraints.AmongVar
Number of Among constraints created.
counter - Variable in class JaCoP.constraints.Count
It specifies variable counter to count the number of occurences of the specified value in a list.
counter - Variable in class JaCoP.constraints.CountStudents
It specifies variable counter to count the number of occurences of the specified value in a list.
counters - Variable in class JaCoP.constraints.GCC
It species variables counters for counting occurences of each possible value from the intial domain of x variables.
countQueueVariable - Variable in class JaCoP.constraints.knapsack.Knapsack
It counts the number of times the queueVariable function has been executed.
countRemoveLevel - Variable in class JaCoP.constraints.knapsack.Knapsack
It counts the number of time the removeLevel function has been executed.
CountStudents - Class in JaCoP.constraints
Count constraint implements the counting over number of occurrences of a given value in a list of variables.
CountStudents(IntVar[], IntVar, int, HashMap<IntVar, Integer>) - Constructor for class JaCoP.constraints.CountStudents
It constructs a Count constraint.
CountStudents(ArrayList<? extends IntVar>, IntVar, int, HashMap<IntVar, Integer>) - Constructor for class JaCoP.constraints.CountStudents
It constructs a Count constraint.
countWatches() - Method in class JaCoP.core.Store
It returns number of watches which are used to watch constraints.
createDummyData() - Method in class tlass.project.model.Model
Create some filler data for simple testing purposes.
CreditCalculator<T extends Var> - Class in JaCoP.search
Defines functionality of credit search.
CreditCalculator(int, int, int) - Constructor for class JaCoP.search.CreditCalculator
The constructor allows to specify number of credits.
CreditCalculator(int, int) - Constructor for class JaCoP.search.CreditCalculator
The constructor allows to specify number of credits.
criticalLeaf - Variable in class JaCoP.constraints.knapsack.Tree
It specifies the leaf containing the critical item.
criticalLeftLeaf - Variable in class JaCoP.constraints.knapsack.Tree
It specifies the leaf containing the left most item which is being used during computeForbidden().
criticalRightLeaf - Variable in class JaCoP.constraints.knapsack.Tree
It specifies the leaf containing the last right item which is being used during computeMandatory().
Cumulative - Class in JaCoP.constraints
Cumulative implements the cumulative/4 constraint using edge-finding algorithm and profile information on the resource use.
Cumulative(IntVar[], IntVar[], IntVar[], IntVar, boolean, boolean) - Constructor for class JaCoP.constraints.Cumulative
It creates a cumulative constraint.
Cumulative(ArrayList<? extends IntVar>, ArrayList<? extends IntVar>, ArrayList<? extends IntVar>, IntVar) - Constructor for class JaCoP.constraints.Cumulative
It creates a cumulative constraint.
Cumulative(ArrayList<? extends IntVar>, ArrayList<? extends IntVar>, ArrayList<? extends IntVar>, IntVar, boolean) - Constructor for class JaCoP.constraints.Cumulative
It creates a cumulative constraint.
Cumulative(ArrayList<? extends IntVar>, ArrayList<? extends IntVar>, ArrayList<? extends IntVar>, IntVar, boolean, boolean) - Constructor for class JaCoP.constraints.Cumulative
It creates a cumulative constraint.
Cumulative(IntVar[], IntVar[], IntVar[], IntVar) - Constructor for class JaCoP.constraints.Cumulative
It creates a cumulative constraint.
Cumulative(IntVar[], IntVar[], IntVar[], IntVar, boolean) - Constructor for class JaCoP.constraints.Cumulative
It creates a cumulative constraint.
currentChildSearch - Variable in class JaCoP.search.DepthFirstSearch
It remembers what child search has been already examined.
currentConstraint - Variable in class JaCoP.core.Store
It stores constraint which is currently re-evaluated.
currentLevel - Variable in class JaCoP.constraints.knapsack.Knapsack
It specifies the current level of the constraint store at which the consistency function of this constraint is being executed.
currentLevel - Variable in class JaCoP.core.SimpleBacktrackableManager
It specifies the current level which is active in the manager.
currentLevelMax - Variable in class JaCoP.core.SimpleBacktrackableManager
It specifies if for the current level we have reached the cutoff value.
currentQueue - Variable in class JaCoP.core.Store
It stores current queue, which is being evaluated.
currentToken - Variable in exception JaCoP.fz.ParseException
This is the last token that has been consumed successfully.
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z