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 

F

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