Package org.jacop.core
Class SwitchesPruningLogging
java.lang.Object
org.jacop.core.SwitchesPruningLogging
It is a container class which specifies all different switches to turn
on debugging information.
- Version:
- 4.8
-
Field Summary
FieldsModifier and TypeFieldDescriptionstatic final boolean
It is a general switch which can be turned off to switch off all printouts.static boolean
This switch enables tracing attempt to add the constraint to a queue when it is already added.static boolean
This switch enables to trace constraints which are being checked for consistency.static boolean
It turns on all trace printouts in constraints.static boolean
It traces all constraints have failed.static boolean
This switch enables to traces the constraints which are being imposed.static boolean
It informs what traced constraints failed.static boolean
This switch enables to trace remove level operation.static boolean
This switch enables to trace set the store level.static boolean
This switch enables tracing the constraint added to the constraint queue.static final boolean
It specifies if the search traces are active.static boolean
It traces the decisions within search.static final boolean
The switch which enables to switch on/off the switches concerning Store operation.static boolean
This switch enables to trace removal of the store level.static boolean
It turns on all trace printouts in variables.static boolean
This switch enables to trace creation of the variable. -
Constructor Summary
Constructors -
Method Summary
Modifier and TypeMethodDescriptionstatic final void
static final void
static final void
-
Field Details
-
trace
public static final boolean traceIt is a general switch which can be turned off to switch off all printouts.- See Also:
-
traceVar
public static boolean traceVarIt turns on all trace printouts in variables. -
traceConstraint
public static boolean traceConstraintIt turns on all trace printouts in constraints. -
traceStore
public static final boolean traceStoreThe switch which enables to switch on/off the switches concerning Store operation.- See Also:
-
traceConsistencyCheck
public static boolean traceConsistencyCheckThis switch enables to trace constraints which are being checked for consistency. -
traceQueueingConstraint
public static boolean traceQueueingConstraintThis switch enables tracing the constraint added to the constraint queue. -
traceAlreadyQueuedConstraint
public static boolean traceAlreadyQueuedConstraintThis switch enables tracing attempt to add the constraint to a queue when it is already added. -
traceConstraintImposition
public static boolean traceConstraintImpositionThis switch enables to traces the constraints which are being imposed. -
traceFailedConstraint
public static boolean traceFailedConstraintIt informs what traced constraints failed. -
traceLevelRemoval
public static boolean traceLevelRemovalThis switch enables to trace remove level operation. -
traceConstraintFailure
public static boolean traceConstraintFailureIt traces all constraints have failed. -
traceStoreRemoveLevel
public static boolean traceStoreRemoveLevelThis switch enables to trace removal of the store level. -
traceVariableCreation
public static boolean traceVariableCreationThis switch enables to trace creation of the variable. -
traceOperationsOnLevel
public static boolean traceOperationsOnLevelThis switch enables to trace set the store level. -
traceSearch
public static final boolean traceSearchIt specifies if the search traces are active.- See Also:
-
traceSearchTree
public static boolean traceSearchTreeIt traces the decisions within search.
-
-
Constructor Details
-
SwitchesPruningLogging
private SwitchesPruningLogging()
-
-
Method Details
-
log
-
log
-
log
-