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 

A

a - Variable in class JaCoP.set.constraints.AdiffBeqC
It specifies set variable a.
a - Variable in class JaCoP.set.constraints.AdisjointB
It specifies set variable a.
a - Variable in class JaCoP.set.constraints.AeqB
It specifies set variable a, which must be equal to set variable b.
a - Variable in class JaCoP.set.constraints.AeqS
It specifies set variable a, which must be equal to set variable b.
a - Variable in class JaCoP.set.constraints.AinB
It specifies variable a.
a - Variable in class JaCoP.set.constraints.AinS
It specifies set variable a.
a - Variable in class JaCoP.set.constraints.AintersectBeqC
It specifies set variable a.
a - Variable in class JaCoP.set.constraints.AunionBeqC
It specifies set variable a.
a - Variable in class JaCoP.set.constraints.CardA
It specifies a set variable x which is being restricted.
a - Variable in class JaCoP.set.constraints.CardAeqX
It specifies set variable a which is being restricted.
a - Variable in class JaCoP.set.constraints.EinA
It specifies the set variable which must contain a specified element.
a - Variable in class JaCoP.set.constraints.Lex
It specifies a list on which element a lex relationship holds for every two consecutive variables.
a - Variable in class JaCoP.set.constraints.Match
It specifies a set variable whose values are being matched against integer variables from the list.
a - Variable in class JaCoP.set.constraints.SinA
It specifies variable a within which it must contains set s.
a - Variable in class JaCoP.set.constraints.SumWeightedSet
A set variable a whose elements contribute with their weight to the sum.
a - Variable in class JaCoP.set.constraints.XeqA
It specifies variable b.
a - Variable in class JaCoP.set.constraints.XinA
It specifies variable b.
about - Variable in class tlass.project.gui.MainMenu
 
AbsInfeasible(Geost.SweepDirection) - Method in class JaCoP.constraints.geost.AllowedArea
 
AbsInfeasible(Geost.SweepDirection) - Method in class JaCoP.constraints.geost.DomainHoles
 
AbsInfeasible(Geost.SweepDirection) - Method in class JaCoP.constraints.geost.ForbiddenArea
 
AbsInfeasible(Geost.SweepDirection) - Method in class JaCoP.constraints.geost.InternalConstraint
It provides the largest or smallest point contained in the forbidden area represented by this constraint.
AbsInfeasible(Geost.SweepDirection) - Method in class JaCoP.constraints.geost.ObstacleObject
 
AbsInfeasible(Geost.SweepDirection) - Method in class JaCoP.constraints.geost.ObstacleObjectFrame
 
AbsXeqY - Class in JaCoP.constraints
Constraints |X| #= Y Domain consistency is used.
AbsXeqY(IntVar, IntVar) - Constructor for class JaCoP.constraints.AbsXeqY
It constructs |X| = Y constraints.
accept() - Method in class tlass.project.model.Response
set the value of this response to be accepted
ACCEPTED - Static variable in class tlass.project.model.Response
 
add(VarHandler) - Method in class JaCoP.constraints.netflow.MultiVarHandler
 
add(IntDomain, int) - Method in class JaCoP.constraints.regular.RegState
It adds to domain values which are accepted by a given edge.
add(IntDomain, int) - Method in class JaCoP.constraints.regular.RegStateDom
 
add(IntDomain, int) - Method in class JaCoP.constraints.regular.RegStateInt
 
add(V) - Method in class JaCoP.util.SimpleArrayList
Appends the specified element to the end of this list.
add(int, V) - Method in class JaCoP.util.SimpleArrayList
Inserts the specified element at the specified position in this list.
add(E) - Method in class JaCoP.util.SimpleHashSet
Adds the specified element to this set.
addAll(Collection<? extends V>) - Method in class JaCoP.util.SimpleArrayList
Appends all of the elements in the specified Collection to the end of this list, in the order that they are returned by the specified Collection's Iterator.
addArc(Node, Node, IntVar, IntVar) - Method in class JaCoP.constraints.netflow.NetworkBuilder
 
addArc(Node, Node, int, IntVar) - Method in class JaCoP.constraints.netflow.NetworkBuilder
 
addArc(Node, Node, IntVar, int, int) - Method in class JaCoP.constraints.netflow.NetworkBuilder
 
addArc(Node, Node, int, int, int) - Method in class JaCoP.constraints.netflow.NetworkBuilder
 
addArc(Node, Node, int, int) - Method in class JaCoP.constraints.netflow.NetworkBuilder
 
addArc(Node, Node, int) - Method in class JaCoP.constraints.netflow.NetworkBuilder
 
addArc(Node, Node) - Method in class JaCoP.constraints.netflow.NetworkBuilder
 
addArcWithFlow(Arc) - Method in class JaCoP.constraints.netflow.simplex.NetworkSimplex
 
addAssignment(Position, Assistant) - Method in class tlass.project.model.Schedule
Adds a new assignment (with accompanying "unseen" response).
addAssignmentTest() - Method in class tlass.unitTesting.model.TestSchedule
Tests the schedule addAssignment method
addAssistant(Assistant) - Method in class tlass.project.model.Model
Adds the supplied assistant to the list of assistants that are currently in the model.
addAssistantSkill(Assistant, String) - Method in class tlass.project.ModelHandler
Adds a skill that the Assistant possesses to that Assistant.
addAssistantSkill(Assistant, Skill) - Method in class tlass.project.ModelHandler
Returns if added
addAssistantsListener(ModelListener) - Method in class tlass.project.ModelHandler
Put the supplied ModelListener in to the assistantsListener ArrayList
addAssistantUnavailableTime(Assistant, TimeBlock) - Method in class tlass.project.ModelHandler
Adds a time that an assistant will not be able to work to the supplied assistant.
addChanged(int) - Method in interface JaCoP.core.BacktrackableManager
It allows to inform the manager that a given item with id (index) has changed at given level.
addChanged(int) - Method in class JaCoP.core.IntervalBasedBacktrackableManager
 
addChanged(int) - Method in class JaCoP.core.SimpleBacktrackableManager
It allows to inform the manager that a given item with id (index) has changed at given level.
addChanged(Constraint) - Method in class JaCoP.core.Store
This function schedules given constraint for re-evaluation.
addChanged(Var, int, int) - Method in class JaCoP.core.Store
This function schedules all attached (not yet satisfied constraints) for given variable for re-evaluation.
addChildSearch(Search<? extends Var>) - Method in class JaCoP.search.DepthFirstSearch
 
addChildSearch(Search<? extends Var>) - Method in interface JaCoP.search.Search
It adds another child search to this one.
addConstraint(Constraint) - Method in class tlass.project.model.Model
Adds the given constraint to the model
addDayForce(int, int, int) - Method in class tlass.project.model.Section
Conusmes a day, start time and end time.
addDom(Domain) - Method in class JaCoP.core.BooleanVar
It is possible to add the domain of variable.
addDom(IntDomain) - Method in class JaCoP.core.BoundDomain
 
addDom(IntDomain) - Method in class JaCoP.core.IntDomain
It adds values as specified by the parameter to the domain.
addDom(IntDomain) - Method in class JaCoP.core.IntervalDomain
It adds values as specified by the parameter to the domain.
addDom(int, int) - Method in class JaCoP.core.IntVar
It is possible to add the domain of variable.
addDom(IntDomain) - Method in class JaCoP.core.IntVar
It is possible to add the domain of variable.
addDom(IntDomain) - Method in class JaCoP.core.SmallDenseDomain
 
addDom(IntDomain) - Method in class JaCoP.set.core.BoundSetDomain
Adds a set of value to the possible values used within this set domain.
addDom(SetDomain) - Method in class JaCoP.set.core.BoundSetDomain
Adds a set to the domain.
addDom(int, int) - Method in class JaCoP.set.core.BoundSetDomain
Adds an interval [min..max] to the domain.
addDom(Interval) - Method in class JaCoP.set.core.BoundSetDomain
 
addDom(Interval) - Method in class JaCoP.set.core.SetDomain
Adds an interval to the lub.
addDom(IntDomain) - Method in class JaCoP.set.core.SetDomain
Adds a set of values to the set of possible values used within this set domain.
addDom(SetDomain) - Method in class JaCoP.set.core.SetDomain
Adds a set domain to this set domain.
addDom(int, int) - Method in class JaCoP.set.core.SetDomain
Adds an interval [min..max] to the domain.
addDom(int, int) - Method in class JaCoP.set.core.SetVar
It is possible to add the domain of variable.
addDom(SetDomain) - Method in class JaCoP.set.core.SetVar
It is possible to add the domain of variable.
ADDED - Static variable in class tlass.project.ModelEvent
 
addEquation(IntVar[], int[]) - Method in class JaCoP.constraints.netflow.Arithmetic
 
addEquation(IntVar[], int[], int) - Method in class JaCoP.constraints.netflow.Arithmetic
 
addFlow(int) - Method in class JaCoP.constraints.netflow.simplex.Arc
 
addForbiddenAssistant(Assistant) - Method in class tlass.project.model.Instructor
Adds a forbidden assistant to the instructor's list
addForbiddenAssistant(Position, Assistant) - Method in class tlass.project.model.Section
Pairs the specified position and assistant and marks them as a forbidden pairing.
addInstructor(Instructor) - Method in class tlass.project.model.Model
Adds a new Instructor to the model.
addInstructorsListener(ModelListener) - Method in class tlass.project.ModelHandler
Put the supplied ModelListener in to the instructorsListener ArrayList
addInt(String, int) - Method in class JaCoP.fz.Tables
It adds an int parameter.
addIntArray(String, int[]) - Method in class JaCoP.fz.Tables
It stores an int array.
addLAPosition() - Method in class tlass.project.model.Section
Add a new LA position that can potentially be filled by an assistant
addLAPosition(Section) - Method in class tlass.project.ModelHandler
Adds a new LA Position to the provided section
addLAPositionTest() - Method in class tlass.unitTesting.model.TestSection
Tests the section addLAPosition method
addLastElement(int) - Method in class JaCoP.core.IntervalDomain
It adds a value to the domain.
addListeners() - Method in class tlass.project.gui.View
This function adds the action Listeners to the menu items
addMember(int) - Method in class JaCoP.util.SparseSet
It adds an element to the set.
addNewAssistant() - Method in class tlass.project.ModelHandler
Adds a new Assistant to the model by utilizing ModelEvent
addNewInstructor() - Method in class tlass.project.ModelHandler
Adds a new Instructor to the model by utilizing ModelEvent
addNewSection() - Method in class tlass.project.ModelHandler
Adds a new Section to the model
addNode() - Method in class JaCoP.constraints.netflow.NetworkBuilder
 
addNode(int) - Method in class JaCoP.constraints.netflow.NetworkBuilder
 
addNode(String) - Method in class JaCoP.constraints.netflow.NetworkBuilder
 
addNode(String, int) - Method in class JaCoP.constraints.netflow.NetworkBuilder
 
addOutArray(OutputArrayAnnotation) - Method in class JaCoP.fz.Tables
It adds an output array annotation.
addOutVar(Var) - Method in class JaCoP.fz.Tables
It adds an output variable.
addPositionsListener(ModelListener) - Method in class tlass.project.ModelHandler
Put the supplied ModelListener in to the positionsListener ArrayList
addPrunableObjects(GeostObject, SimpleHashSet<GeostObject>) - Method in interface JaCoP.constraints.geost.ExternalConstraint
It adds to the accumulator collection the objects that are likely to be pruned if the given object changes.
addPrunableObjects(GeostObject, SimpleHashSet<GeostObject>) - Method in class JaCoP.constraints.geost.InArea
 
addPrunableObjects(GeostObject, SimpleHashSet<GeostObject>) - Method in class JaCoP.constraints.geost.NonOverlapping
 
addRequiredAssistant(Position, Assistant) - Method in class tlass.project.model.Section
Adds the assistant to the provided position.
addRequiredAssistantTest() - Method in class tlass.unitTesting.model.TestSection
Tests the section addRequiredAssistant method
addSchedule(Schedule) - Method in class tlass.project.model.Model
Adds the supplied schedule to the model.
addSchedulesListener(ModelListener) - Method in class tlass.project.ModelHandler
Put the supplied ModelListener in to the schedulesListener ArrayList
addSearch(SearchItem) - Method in class JaCoP.fz.SearchItem
 
addSearchArray(Var[]) - Method in class JaCoP.fz.Tables
It adds a search array.
addSearchSetArray(Var[]) - Method in class JaCoP.fz.Tables
It adds an array of search set variables.
addSearchSetVar(Var) - Method in class JaCoP.fz.Tables
It adds a search set variable.
addSearchVar(Var) - Method in class JaCoP.fz.Tables
It adds a search variable.
addSection(Section) - Method in class tlass.project.model.Model
Adds a new Section to the model, adding appropriate references to other components in the Model that require them.
addSectionSkill(Section, String) - Method in class tlass.project.ModelHandler
Add a skill that is required of an Assistant to the Section
addSectionSkill(Section, Skill) - Method in class tlass.project.ModelHandler
Add a skill that is required of an Assistant to the Section also checks to see if the skill is already present before adding it
addSectionsListener(ModelListener) - Method in class tlass.project.ModelHandler
Put the supplied ModelListener in to the sectionsListener ArrayList
addSectionTime(Section, int, int, int) - Method in class tlass.project.ModelHandler
 
addSemester(String, Model) - Method in class tlass.project.SemesterHandler
Adds a semester of the supplied name to the supplied model.
addSet(String, IntDomain) - Method in class JaCoP.fz.Tables
It adds a set of the given identity.
addSetArray(String, IntDomain[]) - Method in class JaCoP.fz.Tables
It adds the set array to the storage.
addSetVariable(String, SetVar) - Method in class JaCoP.fz.Tables
It adds the set variable of the given identity.
addSetVariableArray(String, SetVar[]) - Method in class JaCoP.fz.Tables
It stores the array of the set variables with the specified identity.
addShavingConstraint(Constraint) - Method in class JaCoP.search.Shaving
It adds shaving constraint to the list of constraints guiding shaving.
addSkill(Skill) - Method in class tlass.project.model.Assistant
adds a skill
addSkill(Skill) - Method in class tlass.project.model.Model
Adds the specified skill to the model.
addSkill(Skill) - Method in class tlass.project.model.Section
Add a skill that is required to be a TA or LA for the section.
addSkill(Skill) - Method in class tlass.project.ModelHandler
Adds the specified skill to the model.
addSkillsListener(ModelListener) - Method in class tlass.project.ModelHandler
Put the supplied ModelListener in to the skillsListener ArrayList
addSum(IntVar[], IntVar) - Method in class JaCoP.constraints.netflow.Arithmetic
 
addTAPosition() - Method in class tlass.project.model.Section
Create a TA position which can potentially be filled by an assistant
addTAPosition(Section) - Method in class tlass.project.ModelHandler
Adds a new TA position to the provided section.
addTAPositionTest() - Method in class tlass.unitTesting.model.TestSection
Tests the section addTAPosition method
addTime(TimeBlock) - Method in class tlass.project.model.Model
Adds the specified time to the model.
addTime(TimeBlock) - Method in class tlass.project.model.Section
Adds a time that the section
addTime(TimeBlock) - Method in class tlass.project.ModelHandler
Adds the specified time block to the model.
addTimeTest() - Method in class tlass.unitTesting.model.TestSection
Tests the section addTime method
addToProfile(int, int, int) - Method in class JaCoP.constraints.Profile
It adds given amount (val) to the profile between a and b.
addTracedConstraint(Constraint) - Static method in class JaCoP.core.Store
It adds a constraint to traced constraints.
addTracedVar(Var) - Method in class JaCoP.search.TraceGenerator
 
addTracedVariable(Var) - Static method in class JaCoP.core.Store
It adds a variable to traced variables.
addTransition(RegState, Integer) - Method in class JaCoP.constraints.regular.RegState
It specifies that for a given value an automata will move from the current state to the successor state.
addTransition(RegState, Integer) - Method in class JaCoP.constraints.regular.RegStateDom
 
addTransition(RegState, Integer) - Method in class JaCoP.constraints.regular.RegStateInt
 
addTransition(FSMTransition) - Method in class JaCoP.util.fsm.FSMState
It adds transition to the list of transitions from this state.
addTransitions(RegState, IntervalDomain) - Method in class JaCoP.constraints.regular.RegState
It specifies that for a given values from an interval an automata will move from the current state to the successor state.
addTransitions(RegState, IntervalDomain) - Method in class JaCoP.constraints.regular.RegStateDom
 
addTransitions(RegState, IntervalDomain) - Method in class JaCoP.constraints.regular.RegStateInt
 
addTuple(int[]) - Method in class JaCoP.util.MDD
It allows to add one by one tuple before the reduction of the initial MDD takes place.
addUnavailableTime(TimeBlock) - Method in class tlass.project.model.Assistant
adds an unavailable time returns false if it already exists returns true if if does not exists, and adds in the new time
addUnavailableTime(Assistant, TimeBlock) - Method in class tlass.project.ModelHandler
Adds a time that an assistant will not be able to work to the supplied assistant.
addVariable(String, IntVar) - Method in class JaCoP.fz.Tables
It adds a variable with a given identity to the storage.
addVariableArray(String, IntVar[]) - Method in class JaCoP.fz.Tables
It adds a variable array to the storage.
addXplusYeqZ(IntVar, IntVar, IntVar) - Method in class JaCoP.constraints.netflow.Arithmetic
 
addXsubYeqZ(IntVar, IntVar, IntVar) - Method in class JaCoP.constraints.netflow.Arithmetic
 
AdiffBeqC - Class in JaCoP.set.constraints
It creates a constraints that subtracts from set variable A the elements from of the set variable B and assigns the result to set variable C.
AdiffBeqC(SetVar, SetVar, SetVar) - Constructor for class JaCoP.set.constraints.AdiffBeqC
It constructs an AdiffBeqC constraint to restrict the domain of the variables A, B and C.
AdisjointB - Class in JaCoP.set.constraints
The disjoint set constraint makes sure that two set variables do not contain any common element.
AdisjointB(SetVar, SetVar) - Constructor for class JaCoP.set.constraints.AdisjointB
It constructs a disjont set constraint to restrict the domains of the variables A and B.
adjacencyList - Variable in class JaCoP.constraints.netflow.simplex.Node
adjacency list (recorded when degree reaches 2)
adjustBeginLineColumn(int, int) - Method in class JaCoP.fz.SimpleCharStream
Method to adjust line and column numbers for the start of a token.
AeqB - Class in JaCoP.set.constraints
It creates an equality constraint to make sure that two set variables have the same value.
AeqB(SetVar, SetVar) - Constructor for class JaCoP.set.constraints.AeqB
It constructs an AeqB constraint to restrict the domain of the variables.
AeqS - Class in JaCoP.set.constraints
It creates an equality constraint to make sure that a set variable is equal to a given set.
AeqS(SetVar, IntDomain) - Constructor for class JaCoP.set.constraints.AeqS
It constructs an AeqS constraint to restrict the domain of the variables.
AinB - Class in JaCoP.set.constraints
It creates a constraint that makes sure that the set value of set variable A is included in the set value of set variable B.
AinB(SetVar, SetVar) - Constructor for class JaCoP.set.constraints.AinB
It constructs an AinB constraint to restrict the domain of the variables A and B.
AinB(SetVar, SetVar, boolean) - Constructor for class JaCoP.set.constraints.AinB
It constructs an AinB constraint to restrict the domain of the variables A and B.
AinS - Class in JaCoP.set.constraints
It creates a constraint that makes sure that value of the variable A is included within a provided set.
AinS(SetVar, IntDomain) - Constructor for class JaCoP.set.constraints.AinS
It constructs a constraint that makes sure that value of set variable a is contained within a provided set.
AinS(SetVar, IntDomain, boolean) - Constructor for class JaCoP.set.constraints.AinS
It constructs a constraint that makes sure that value of set variable a is contained within a provided set.
AintersectBeqC - Class in JaCoP.set.constraints
It creates a constraint that makes sure that A intersected with B is equal to C.
AintersectBeqC(SetVar, SetVar, SetVar) - Constructor for class JaCoP.set.constraints.AintersectBeqC
It constructs an AintersectBeqC constraint.
allArcs - Variable in class JaCoP.constraints.netflow.simplex.NetworkSimplex
 
allArcsForDebug(NetworkSimplex) - Static method in class JaCoP.constraints.netflow.Assert
 
Alldiff - Class in JaCoP.constraints
Alldiff constraint assures that all FDVs has different values.
Alldiff(IntVar[]) - Constructor for class JaCoP.constraints.Alldiff
It constructs the alldiff constraint for the supplied variable.
Alldiff(ArrayList<? extends IntVar>) - Constructor for class JaCoP.constraints.Alldiff
It constructs the alldiff constraint for the supplied variable.
Alldifferent - Class in JaCoP.constraints
Alldifferent constraint assures that all FDVs has differnet values.
Alldifferent(IntVar[]) - Constructor for class JaCoP.constraints.Alldifferent
It constructs the alldifferent constraint for the supplied variable.
Alldifferent(ArrayList<? extends IntVar>) - Constructor for class JaCoP.constraints.Alldifferent
It constructs the alldifferent constraint for the supplied variable.
Alldistinct - Class in JaCoP.constraints
Alldistinct constraint assures that all FDVs have different values.
Alldistinct(IntVar[]) - Constructor for class JaCoP.constraints.Alldistinct
It constructs an alldistinct constraint.
Alldistinct(ArrayList<? extends IntVar>) - Constructor for class JaCoP.constraints.Alldistinct
It constructs an alldistinct constraint.
allowAssistant(Assistant) - Method in class tlass.project.model.Instructor
Changes an assistant from being on the forbidden list to now be allowed
allowAssistant(Assistant) - Method in class tlass.project.model.Section
Allows an assistant to be considered for a position.
AllowedArea - Class in JaCoP.constraints.geost
 
AllowedArea(Geost, int[], int[]) - Constructor for class JaCoP.constraints.geost.AllowedArea
It constructs an internal Geost constraint that restricts an object to be within an allowed area.
allowedArea - Variable in class JaCoP.constraints.geost.InArea
It specifies the allowed area in which the objects can reside.
allStates - Variable in class JaCoP.util.fsm.FSM
It specifies all states including the initial one and final ones.
alreadyObtainedProfit - Variable in class JaCoP.constraints.knapsack.Tree
It specifies the already obtained profit due to the items which are already included in the solution.
alreadyUsedCapacity - Variable in class JaCoP.constraints.knapsack.Tree
It specifies the already used capacity due to the items which are already included in the solution.
alwaysUseFrames - Variable in class JaCoP.constraints.geost.Geost
It defines whether outbox generation should always rely on overlapping frames.
Among - Class in JaCoP.constraints
Among constraint in its simplest form.
Among(IntVar[], IntervalDomain, IntVar) - Constructor for class JaCoP.constraints.Among
It constructs an Among constraint.
Among(ArrayList<IntVar>, IntervalDomain, IntVar) - Constructor for class JaCoP.constraints.Among
It constructs an Among constraint.
AmongVar - Class in JaCoP.constraints
Among constraint in its general form.
AmongVar(IntVar[], IntVar[], IntVar) - Constructor for class JaCoP.constraints.AmongVar
It constructs an AmongVar constraint.
AmongVar(ArrayList<IntVar>, ArrayList<IntVar>, IntVar) - Constructor for class JaCoP.constraints.AmongVar
It constructs an AmongVar constraint.
amountPruned - Variable in class JaCoP.constraints.netflow.Statistics
 
analyze(int) - Method in class JaCoP.constraints.netflow.Pruning
 
And - Class in JaCoP.constraints
Constraint c1 /\ c2 ...
And(ArrayList<PrimitiveConstraint>) - Constructor for class JaCoP.constraints.And
It constructs an And constraint based on primitive constraints.
And(PrimitiveConstraint, PrimitiveConstraint) - Constructor for class JaCoP.constraints.And
It constructs a simple And constraint based on two primitive constraints.
And(PrimitiveConstraint[]) - Constructor for class JaCoP.constraints.And
It constructs an And constraint over an array of primitive constraints.
AndBool - Class in JaCoP.constraints
If all x's are equal 1 then result variable is equal 1 too.
AndBool(IntVar[], IntVar) - Constructor for class JaCoP.constraints.AndBool
It constructs AndBool.
AndBool(ArrayList<IntVar>, IntVar) - Constructor for class JaCoP.constraints.AndBool
It constructs AndBool.
ann_expr() - Method in class JaCoP.fz.Parser
 
ann_exprs() - Method in class JaCoP.fz.Parser
 
annotation() - Method in class JaCoP.fz.Parser
 
annotations() - Method in class JaCoP.fz.Parser
 
ANY - Static variable in class JaCoP.core.IntDomain
It specifies the constant for ANY event.
ANY - Static variable in class JaCoP.set.core.SetDomain
Any event.
arc - Variable in class JaCoP.constraints.netflow.ArcCompanion
The (forward) arc
Arc - Class in JaCoP.constraints.netflow.simplex
A directed, residual arc in the graph.
Arc(Node, Node) - Constructor for class JaCoP.constraints.netflow.simplex.Arc
Special constructor to create artificial arcs.
Arc(Node, Node, int, int, int) - Constructor for class JaCoP.constraints.netflow.simplex.Arc
General constructor to create arcs.
ArcCompanion - Class in JaCoP.constraints.netflow
This class extends the definition of an arc by a lower bound on the capacity and connects the arc to variables that constrain it.
ArcCompanion(Arc, int) - Constructor for class JaCoP.constraints.netflow.ArcCompanion
 
arcID - Variable in class JaCoP.constraints.netflow.ArcCompanion
Identifier for this arc in the structure variable
arcList - Variable in class JaCoP.constraints.netflow.NetworkBuilder
 
arcs - Variable in class JaCoP.constraints.netflow.DomainStructure
 
arcsExamined - Variable in class JaCoP.constraints.netflow.Statistics
 
arcsPruned - Variable in class JaCoP.constraints.netflow.Statistics
 
area() - Method in class JaCoP.constraints.geost.DBox
It computes the area in 2D case or volume in 3D case.
area() - Method in class JaCoP.constraints.geost.Shape
It computes the area (2D), volumen (3D) of the shape.
arguments() - Method in class JaCoP.constraints.AbsXeqY
 
arguments() - Method in class JaCoP.constraints.Alldifferent
 
arguments() - Method in class JaCoP.constraints.Alldistinct
 
arguments() - Method in class JaCoP.constraints.Among
 
arguments() - Method in class JaCoP.constraints.AmongVar
 
arguments() - Method in class JaCoP.constraints.And
 
arguments() - Method in class JaCoP.constraints.AndBool
 
arguments() - Method in class JaCoP.constraints.Assignment
 
arguments() - Method in class JaCoP.constraints.binpacking.Binpacking
 
arguments() - Method in class JaCoP.constraints.Constraint
It returns the variables in a scope of the constraint.
arguments() - Method in class JaCoP.constraints.Count
 
arguments() - Method in class JaCoP.constraints.CountStudents
 
arguments() - Method in class JaCoP.constraints.Cumulative
 
arguments() - Method in class JaCoP.constraints.Diff
 
arguments() - Method in class JaCoP.constraints.Distance
 
arguments() - Method in class JaCoP.constraints.Element
 
arguments() - Method in class JaCoP.constraints.ElementInteger
 
arguments() - Method in class JaCoP.constraints.ElementVariable
 
arguments() - Method in class JaCoP.constraints.Eq
 
arguments() - Method in class JaCoP.constraints.EqBool
 
arguments() - Method in class JaCoP.constraints.ExtensionalConflictVA
 
arguments() - Method in class JaCoP.constraints.ExtensionalSupportMDD
 
arguments() - Method in class JaCoP.constraints.ExtensionalSupportSTR
 
arguments() - Method in class JaCoP.constraints.ExtensionalSupportVA
 
arguments() - Method in class JaCoP.constraints.GCC
 
arguments() - Method in class JaCoP.constraints.geost.Geost
 
arguments() - Method in class JaCoP.constraints.IfThen
 
arguments() - Method in class JaCoP.constraints.IfThenBool
 
arguments() - Method in class JaCoP.constraints.IfThenElse
 
arguments() - Method in class JaCoP.constraints.In
 
arguments() - Method in class JaCoP.constraints.knapsack.Knapsack
 
arguments() - Method in class JaCoP.constraints.Max
 
arguments() - Method in class JaCoP.constraints.Min
 
arguments() - Method in class JaCoP.constraints.netflow.NetworkFlow
 
arguments() - Method in class JaCoP.constraints.NoGood
 
arguments() - Method in class JaCoP.constraints.Not
 
arguments() - Method in class JaCoP.constraints.Or
 
arguments() - Method in class JaCoP.constraints.OrBool
 
arguments() - Method in class JaCoP.constraints.regular.Regular
 
arguments() - Method in class JaCoP.constraints.Reified
 
arguments() - Method in class JaCoP.constraints.Sum
 
arguments() - Method in class JaCoP.constraints.SumWeight
 
arguments() - Method in class JaCoP.constraints.Values
 
arguments() - Method in class JaCoP.constraints.XdivYeqZ
 
arguments() - Method in class JaCoP.constraints.XeqC
 
arguments() - Method in class JaCoP.constraints.XeqY
 
arguments() - Method in class JaCoP.constraints.XexpYeqZ
 
arguments() - Method in class JaCoP.constraints.XgtC
 
arguments() - Method in class JaCoP.constraints.XgteqC
 
arguments() - Method in class JaCoP.constraints.XgteqY
 
arguments() - Method in class JaCoP.constraints.XgtY
 
arguments() - Method in class JaCoP.constraints.XltC
 
arguments() - Method in class JaCoP.constraints.XlteqC
 
arguments() - Method in class JaCoP.constraints.XlteqY
 
arguments() - Method in class JaCoP.constraints.XltY
 
arguments() - Method in class JaCoP.constraints.XmodYeqZ
 
arguments() - Method in class JaCoP.constraints.XmulCeqZ
 
arguments() - Method in class JaCoP.constraints.XmulYeqC
 
arguments() - Method in class JaCoP.constraints.XmulYeqZ
 
arguments() - Method in class JaCoP.constraints.XneqC
 
arguments() - Method in class JaCoP.constraints.XneqY
 
arguments() - Method in class JaCoP.constraints.Xor
 
arguments() - Method in class JaCoP.constraints.XorBool
 
arguments() - Method in class JaCoP.constraints.XplusCeqZ
 
arguments() - Method in class JaCoP.constraints.XplusClteqZ
 
arguments() - Method in class JaCoP.constraints.XplusYeqC
 
arguments() - Method in class JaCoP.constraints.XplusYeqZ
 
arguments() - Method in class JaCoP.constraints.XplusYgtC
 
arguments() - Method in class JaCoP.constraints.XplusYlteqZ
 
arguments() - Method in class JaCoP.constraints.XplusYplusCeqZ
 
arguments() - Method in class JaCoP.constraints.XplusYplusQeqZ
 
arguments() - Method in class JaCoP.constraints.XplusYplusQgtC
 
arguments() - Method in class JaCoP.set.constraints.AdiffBeqC
 
arguments() - Method in class JaCoP.set.constraints.AdisjointB
 
arguments() - Method in class JaCoP.set.constraints.AeqB
 
arguments() - Method in class JaCoP.set.constraints.AeqS
 
arguments() - Method in class JaCoP.set.constraints.AinB
 
arguments() - Method in class JaCoP.set.constraints.AinS
 
arguments() - Method in class JaCoP.set.constraints.AintersectBeqC
 
arguments() - Method in class JaCoP.set.constraints.AunionBeqC
 
arguments() - Method in class JaCoP.set.constraints.CardA
 
arguments() - Method in class JaCoP.set.constraints.CardAeqX
 
arguments() - Method in class JaCoP.set.constraints.EinA
 
arguments() - Method in class JaCoP.set.constraints.ElementSet
 
arguments() - Method in class JaCoP.set.constraints.Lex
 
arguments() - Method in class JaCoP.set.constraints.Match
 
arguments() - Method in class JaCoP.set.constraints.SinA
 
arguments() - Method in class JaCoP.set.constraints.SumWeightedSet
 
arguments() - Method in class JaCoP.set.constraints.XeqA
 
arguments() - Method in class JaCoP.set.constraints.XinA
 
Arithmetic - Class in JaCoP.constraints.netflow
 
Arithmetic() - Constructor for class JaCoP.constraints.netflow.Arithmetic
 
ARRAY - Static variable in interface JaCoP.fz.ParserConstants
RegularExpression Id.
array_access_expr() - Method in class JaCoP.fz.Parser
 
array_decl_tail(ASTVarDeclItem) - Method in class JaCoP.fz.Parser
 
array_literal() - Method in class JaCoP.fz.Parser
 
ArrayAccess - Class in JaCoP.fz
It stores information about a single array access encountered during parsing flatzinc file.
ArrayAccess(String, int) - Constructor for class JaCoP.fz.ArrayAccess
It creates an array access storage object.
artificial - Variable in class JaCoP.constraints.netflow.simplex.Node
connects this node to the root
ASGN - Static variable in interface JaCoP.fz.ParserConstants
RegularExpression Id.
askRestrictions(Position, Restriction, Object) - Method in class tlass.project.gui.panels.SectionPanel
Retrieves the restrictions for a position and updates the GUI
Assert - Class in JaCoP.constraints.netflow
 
Assert() - Constructor for class JaCoP.constraints.netflow.Assert
 
Assignment - Class in JaCoP.constraints
Assignment constraint implements facility to improve channeling constraints between dual viewpoints of permutation models.
Assignment(IntVar[], IntVar[], int, int) - Constructor for class JaCoP.constraints.Assignment
It enforces the relationship x[d[i]-shiftX]=i+shiftD and d[x[i]-shiftD]=i+shiftX.
Assignment(ArrayList<? extends IntVar>, ArrayList<? extends IntVar>, int, int) - Constructor for class JaCoP.constraints.Assignment
It enforces the relationship x[d[i]-shiftX]=i+shiftD and d[x[i]-shiftD]=i+shiftX.
Assignment(ArrayList<? extends IntVar>, ArrayList<? extends IntVar>) - Constructor for class JaCoP.constraints.Assignment
It constructs an Assignment constraint with shift equal 0.
Assignment(ArrayList<? extends Var>, ArrayList<? extends Var>, int) - Constructor for class JaCoP.constraints.Assignment
It enforces the relationship x[d[i]-min]=i+min and d[x[i]-min]=i+min.
Assignment(IntVar[], IntVar[]) - Constructor for class JaCoP.constraints.Assignment
It constructs an Assignment constraint with shift equal 0.
Assignment(IntVar[], IntVar[], int) - Constructor for class JaCoP.constraints.Assignment
It enforces the relationship x[d[i]-min]=i+min and d[x[i]-min]=i+min.
assignSolution() - Method in class JaCoP.search.DepthFirstSearch
 
assignSolution(int) - Method in class JaCoP.search.DepthFirstSearch
 
assignSolution(int) - Method in interface JaCoP.search.Search
The first solution has index 0.
assignSolution() - Method in interface JaCoP.search.Search
It assigns the last solution.
assignSolution(Store) - Method in class JaCoP.search.SimpleSolutionListener
It assigns the last found solution to the store.
assignSolution(Store, int) - Method in class JaCoP.search.SimpleSolutionListener
 
assignSolution(Store, int) - Method in interface JaCoP.search.SolutionListener
It imposes the constraints, so the last found solution is enforced.
Assistant - Class in tlass.project.model
 
Assistant() - Constructor for class tlass.project.model.Assistant
Creates a new assistant
AssistantPanel - Class in tlass.project.gui.panels
 
AssistantPanel(Controller, Assistant, JTree, DefaultMutableTreeNode, MainWindow) - Constructor for class tlass.project.gui.panels.AssistantPanel
Constructor for the assistant panel
asString() - Static method in class JaCoP.constraints.netflow.Statistics
 
ASTAnnExpr - Class in JaCoP.fz
 
ASTAnnExpr(int) - Constructor for class JaCoP.fz.ASTAnnExpr
 
ASTAnnExpr(Parser, int) - Constructor for class JaCoP.fz.ASTAnnExpr
 
ASTAnnotation - Class in JaCoP.fz
 
ASTAnnotation(int) - Constructor for class JaCoP.fz.ASTAnnotation
 
ASTAnnotation(Parser, int) - Constructor for class JaCoP.fz.ASTAnnotation
 
ASTArrayLiteral - Class in JaCoP.fz
 
ASTArrayLiteral(int) - Constructor for class JaCoP.fz.ASTArrayLiteral
 
ASTArrayLiteral(Parser, int) - Constructor for class JaCoP.fz.ASTArrayLiteral
 
ASTBoolTiExprTail - Class in JaCoP.fz
 
ASTBoolTiExprTail(int) - Constructor for class JaCoP.fz.ASTBoolTiExprTail
 
ASTBoolTiExprTail(Parser, int) - Constructor for class JaCoP.fz.ASTBoolTiExprTail
 
ASTConstElem - Class in JaCoP.fz
 
ASTConstElem(int) - Constructor for class JaCoP.fz.ASTConstElem
 
ASTConstElem(Parser, int) - Constructor for class JaCoP.fz.ASTConstElem
 
ASTConstraint - Class in JaCoP.fz
 
ASTConstraint(int) - Constructor for class JaCoP.fz.ASTConstraint
 
ASTConstraint(Parser, int) - Constructor for class JaCoP.fz.ASTConstraint
 
ASTConstraintItems - Class in JaCoP.fz
 
ASTConstraintItems(int) - Constructor for class JaCoP.fz.ASTConstraintItems
 
ASTConstraintItems(Parser, int) - Constructor for class JaCoP.fz.ASTConstraintItems
 
ASTIdAnns - Class in JaCoP.fz
 
ASTIdAnns(int) - Constructor for class JaCoP.fz.ASTIdAnns
 
ASTIdAnns(Parser, int) - Constructor for class JaCoP.fz.ASTIdAnns
 
ASTIntFlatExpr - Class in JaCoP.fz
 
ASTIntFlatExpr(int) - Constructor for class JaCoP.fz.ASTIntFlatExpr
 
ASTIntFlatExpr(Parser, int) - Constructor for class JaCoP.fz.ASTIntFlatExpr
 
ASTIntLiterals - Class in JaCoP.fz
 
ASTIntLiterals(int) - Constructor for class JaCoP.fz.ASTIntLiterals
 
ASTIntLiterals(Parser, int) - Constructor for class JaCoP.fz.ASTIntLiterals
 
ASTIntTiExprTail - Class in JaCoP.fz
 
ASTIntTiExprTail(int) - Constructor for class JaCoP.fz.ASTIntTiExprTail
 
ASTIntTiExprTail(Parser, int) - Constructor for class JaCoP.fz.ASTIntTiExprTail
 
ASTmodel - Class in JaCoP.fz
 
ASTmodel(int) - Constructor for class JaCoP.fz.ASTmodel
 
ASTmodel(Parser, int) - Constructor for class JaCoP.fz.ASTmodel
 
ASTModelEnd - Class in JaCoP.fz
 
ASTModelEnd(int) - Constructor for class JaCoP.fz.ASTModelEnd
 
ASTModelEnd(Parser, int) - Constructor for class JaCoP.fz.ASTModelEnd
 
ASTPrint - Class in JaCoP.fz
ASTPrint.java Prinitng of AST nodes generated bt jjtree
ASTPrint() - Constructor for class JaCoP.fz.ASTPrint
 
ASTScalarFlatExpr - Class in JaCoP.fz
 
ASTScalarFlatExpr(int) - Constructor for class JaCoP.fz.ASTScalarFlatExpr
 
ASTScalarFlatExpr(Parser, int) - Constructor for class JaCoP.fz.ASTScalarFlatExpr
 
ASTSetLiteral - Class in JaCoP.fz
 
ASTSetLiteral(int) - Constructor for class JaCoP.fz.ASTSetLiteral
 
ASTSetLiteral(Parser, int) - Constructor for class JaCoP.fz.ASTSetLiteral
 
ASTSetTiExprTail - Class in JaCoP.fz
 
ASTSetTiExprTail(int) - Constructor for class JaCoP.fz.ASTSetTiExprTail
 
ASTSetTiExprTail(Parser, int) - Constructor for class JaCoP.fz.ASTSetTiExprTail
 
ASTSolveExpr - Class in JaCoP.fz
 
ASTSolveExpr(int) - Constructor for class JaCoP.fz.ASTSolveExpr
 
ASTSolveExpr(Parser, int) - Constructor for class JaCoP.fz.ASTSolveExpr
 
ASTSolveItem - Class in JaCoP.fz
 
ASTSolveItem(int) - Constructor for class JaCoP.fz.ASTSolveItem
 
ASTSolveItem(Parser, int) - Constructor for class JaCoP.fz.ASTSolveItem
 
ASTSolveKind - Class in JaCoP.fz
 
ASTSolveKind(int) - Constructor for class JaCoP.fz.ASTSolveKind
 
ASTSolveKind(Parser, int) - Constructor for class JaCoP.fz.ASTSolveKind
 
ASTVarDeclItem - Class in JaCoP.fz
 
ASTVarDeclItem(int) - Constructor for class JaCoP.fz.ASTVarDeclItem
 
ASTVarDeclItem(Parser, int) - Constructor for class JaCoP.fz.ASTVarDeclItem
 
ASTVarDeclItems - Class in JaCoP.fz
 
ASTVarDeclItems(int) - Constructor for class JaCoP.fz.ASTVarDeclItems
 
ASTVarDeclItems(Parser, int) - Constructor for class JaCoP.fz.ASTVarDeclItems
 
ASTVariableExpr - Class in JaCoP.fz
 
ASTVariableExpr(int) - Constructor for class JaCoP.fz.ASTVariableExpr
 
ASTVariableExpr(Parser, int) - Constructor for class JaCoP.fz.ASTVariableExpr
 
atomicExecution - Variable in class JaCoP.constraints.Constraint
It specifies if the constraint consistency function requires consistency function executed in one atomic step.
AuditDialog - Class in tlass.project.gui
 
AuditDialog(JFrame, Controller, ArrayList<Pair<String, TimeBlock>>) - Constructor for class tlass.project.gui.AuditDialog
Constructor for Audit Dialog
augmentFlow(Node, Node, int) - Method in class JaCoP.constraints.netflow.simplex.NetworkSimplex
Augments the flow between two nodes by the maximum amount along the unique tree path that connects these nodes.
AunionBeqC - Class in JaCoP.set.constraints
It creates a constraint that makes sure that A union B is equal to C.
AunionBeqC(SetVar, SetVar, SetVar) - Constructor for class JaCoP.set.constraints.AunionBeqC
It constructs an AunionBeqC constraint to restrict the domain of the variables A, B and C.
auxilaryVariables - Variable in class JaCoP.core.Store
It contains all auxilary variables created by decomposable constraints.
Auxiliary - Class in tlass.project
 
Auxiliary() - Constructor for class tlass.project.Auxiliary
 
auxiliaryVariables() - Method in class JaCoP.constraints.DecomposedConstraint
 
availableWeightOfCriticalItem - Variable in class JaCoP.constraints.knapsack.Tree
It specifies the fraction of the critical item which has been not included in the optimal non-integral solution.
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