- FailException - Exception in JaCoP.core
-
The unconsistency exception.
- failException - Static variable in class JaCoP.core.Store
-
It stores standard fail exception used when empty domain encountered.
- failures - Variable in class JaCoP.search.Shaving
-
It stores number of failed shaving attempts.
- FALSE - Static variable in interface JaCoP.fz.ParserConstants
-
RegularExpression Id.
- filled(Position) - Method in class tlass.project.model.Schedule
-
Checks whether a position has been filled.
- fillInStackTrace() - Method in exception JaCoP.core.FailException
-
- filterUseless - Variable in class JaCoP.constraints.geost.Geost
-
It specifies that filtering of useless internal constraint takes place
before an object is being pruned.
- finalize() - Method in class tlass.project.model.Response
-
set the value of this response to be finalized
- finalize() - Method in class tlass.project.model.Schedule
-
Finalizes this schedule
- FINALIZED - Static variable in class tlass.project.model.Response
-
- finalizeResponses() - Method in class tlass.project.model.Schedule
-
Changes all responses so that they have been finalized.
- finalizeSchedule(Schedule) - Method in class tlass.project.ModelHandler
-
Finalizes a schedule, ensuring that all other schedules are not
finalized.
- finalizeSchedule(String, Schedule) - Method in class tlass.project.WebformHandler
-
Notifies the Assistants of their assignments and finalizes the assignments
- finalizeScheduleTest() - Method in class tlass.unitTesting.project.TestWebformHandler
-
- finalStates - Variable in class JaCoP.util.fsm.FSM
-
It specifies final states of DFA.
- findFirstAllowed(int, int, int[]) - Method in class JaCoP.constraints.ExtensionalSupportVA
-
It finds the first allowed tuple from the given tuple.
- findNextLeafAtLeastOfWeight(TreeLeaf, int) - Method in class JaCoP.constraints.knapsack.Tree
-
It finds next leaf of a maximum weight of at least weight, so
it can have some parts of it mandatory.
- findPosition(int, int[]) - Method in class JaCoP.util.MDD
-
It finds a position of a value inside the array.
- findPositionForInsert(int[]) - Method in class JaCoP.core.Store
-
searches for the position of the tuple in the tuple list.
- findPreviousLeafAtLeastOfWeight(TreeLeaf, int) - Method in class JaCoP.constraints.knapsack.Tree
-
It finds previous leaf of a maximum weight of at least weight, so
it can have some parts of it forbidden.
- findProblemPositions() - Method in class tlass.project.ModelHandler
-
Gets the positions that will potentially cause the Schedule from being completed.
- findProblemPositions(Model) - Static method in class tlass.project.Scheduler
-
Returns an ArrayList of positions cannot be assigned.
- findSolutionMatchingParent(int) - Method in class JaCoP.search.SimpleSolutionListener
-
- findSolutionMatchingParent(int) - Method in interface JaCoP.search.SolutionListener
-
For a given master solution finds any solution within that listener which
matches the master solution.
- findVariable(String) - Method in class JaCoP.core.Store
-
This function looks for a variable with given id.
- first - Variable in class JaCoP.constraints.ExtensionalSupportSTR
-
Gives the position of the first tuple (in the current list)
or -1 if the current list is empty.
- first - Variable in class JaCoP.constraints.knapsack.Tree
-
It specifies the first (counting from left to right), the most
efficient item in the tree.
- firstConsistencyCheck - Variable in class JaCoP.constraints.ExtensionalSupportSTR
-
It specifies if there was no first consistency check yet.
- firstResidue - Variable in class JaCoP.constraints.ExtensionalSupportSTR
-
It stores the position of the first residue.
- flat_expr() - Method in class JaCoP.fz.Parser
-
- flat_exprs() - Method in class JaCoP.fz.Parser
-
- flip() - Method in class JaCoP.constraints.geost.BoxDisplay
-
flips images, making previous operations visible
- FLOAT - Static variable in interface JaCoP.fz.ParserConstants
-
RegularExpression Id.
- FLOAT_LITERAL - Static variable in interface JaCoP.fz.ParserConstants
-
RegularExpression Id.
- float_ti_expr_tail() - Method in class JaCoP.fz.Parser
-
- flowOffset - Variable in class JaCoP.constraints.netflow.ArcCompanion
-
Current lower capacity of the arc
- ForbidAssignmentConstraint - Class in tlass.project.constraintTypes
-
- ForbidAssignmentConstraint() - Constructor for class tlass.project.constraintTypes.ForbidAssignmentConstraint
-
Constructor for this constraint.
- ForbiddenArea - Class in JaCoP.constraints.geost
-
- ForbiddenArea(Geost, int[], int[]) - Constructor for class JaCoP.constraints.geost.ForbiddenArea
-
It constructs an internal constraint forbidding an object to be
placed within this aread.
- ForbidInstructorAssignmentConstraint - Class in tlass.project.constraintTypes
-
- ForbidInstructorAssignmentConstraint() - Constructor for class tlass.project.constraintTypes.ForbidInstructorAssignmentConstraint
-
Constructor for this constraint.
- forceAsserts() - Static method in class JaCoP.constraints.netflow.Assert
-
- forward - Variable in class JaCoP.constraints.netflow.simplex.Arc
-
whether this arc is a forward arc or a residual arc
- frame - Variable in class JaCoP.constraints.geost.ObstacleObjectFrame
-
the frame is the area that is ensured to be covered by the obstacle,
given the domain of its origin variables
- freeBoxes - Static variable in class JaCoP.constraints.geost.DBox
-
static store of available boxes, accessible by dimension.
- freePosition - Variable in class JaCoP.util.MDD
-
It specifies the first position in the array which is available for use.
- FRIDAY - Static variable in class tlass.project.model.TimeBlock
-
- fromXML(ExtensionalConflictVA, String) - Static method in class JaCoP.constraints.ExtensionalConflictVA
-
It updates the specified constraint with the information
stored in the string.
- fromXML(ExtensionalSupportSTR, String) - Static method in class JaCoP.constraints.ExtensionalSupportSTR
-
It updates the specified constraint with the information
stored in the string.
- fromXML(ExtensionalSupportVA, String) - Static method in class JaCoP.constraints.ExtensionalSupportVA
-
It updates the specified constraint with the information
stored in the string.
- fromXML(IntervalDomain, String) - Static method in class JaCoP.core.IntervalDomain
-
It updates an object of type IntervalDomain with the information
stored in the string.
- fsm - Variable in class JaCoP.constraints.regular.Regular
-
It specifies finite state machine used by this regular.
- FSM - Class in JaCoP.util.fsm
-
Deterministic Finite Acyclic graph.
- FSM(FSMState, HashSet<FSMState>, HashSet<FSMState>) - Constructor for class JaCoP.util.fsm.FSM
-
It creates a Finite State Machine.
- FSM() - Constructor for class JaCoP.util.fsm.FSM
-
It creates a Finite State Machine used by Regular constraint constructor.
- FSMState - Class in JaCoP.util.fsm
-
- FSMState(HashSet<FSMTransition>, int) - Constructor for class JaCoP.util.fsm.FSMState
-
It constructs a FSM state.
- FSMState() - Constructor for class JaCoP.util.fsm.FSMState
-
It creates a state with id equl to the number of instances FSMState created.
- FSMState(FSMState) - Constructor for class JaCoP.util.fsm.FSMState
-
It creates a state with an id as the id specified by a supplied state.
- FSMTransition - Class in JaCoP.util.fsm
-
- FSMTransition(IntDomain, FSMState) - Constructor for class JaCoP.util.fsm.FSMTransition
-
It constructs a finite machine state transition.
- fullConsistencyPassesWithNarrowingEvent - Variable in class JaCoP.constraints.Alldistinct
-
It computes how many times did consistency execution has been
re-executed due to narrowing event at the end of the consistency
function.
- Fz2jacop - Class in JaCoP.fz
-
An executable to parse and execute the flatzinc file.
- Fz2jacop() - Constructor for class JaCoP.fz.Fz2jacop
-