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