Class SwitchesPruningLogging

java.lang.Object
org.jacop.core.SwitchesPruningLogging

public final class SwitchesPruningLogging extends Object
It is a container class which specifies all different switches to turn on debugging information.
Version:
4.10
  • Field Details

    • trace

      public static final boolean trace
      It is a general switch which can be turned off to switch off all printouts.
      See Also:
    • traceVar

      public static boolean traceVar
      It turns on all trace printouts in variables.
    • traceConstraint

      public static boolean traceConstraint
      It turns on all trace printouts in constraints.
    • traceStore

      public static final boolean traceStore
      The switch which enables to switch on/off the switches concerning Store operation.
      See Also:
    • traceConsistencyCheck

      public static boolean traceConsistencyCheck
      This switch enables to trace constraints which are being checked for consistency.
    • traceQueueingConstraint

      public static boolean traceQueueingConstraint
      This switch enables tracing the constraint added to the constraint queue.
    • traceAlreadyQueuedConstraint

      public static boolean traceAlreadyQueuedConstraint
      This switch enables tracing attempt to add the constraint to a queue when it is already added.
    • traceConstraintImposition

      public static boolean traceConstraintImposition
      This switch enables to traces the constraints which are being imposed.
    • traceFailedConstraint

      public static boolean traceFailedConstraint
      It informs what traced constraints failed.
    • traceLevelRemoval

      public static boolean traceLevelRemoval
      This switch enables to trace remove level operation.
    • traceConstraintFailure

      public static boolean traceConstraintFailure
      It traces all constraints have failed.
    • traceStoreRemoveLevel

      public static boolean traceStoreRemoveLevel
      This switch enables to trace removal of the store level.
    • traceVariableCreation

      public static boolean traceVariableCreation
      This switch enables to trace creation of the variable.
    • traceOperationsOnLevel

      public static boolean traceOperationsOnLevel
      This switch enables to trace set the store level.
    • traceSearch

      public static final boolean traceSearch
      It specifies if the search traces are active.
      See Also:
    • traceSearchTree

      public static boolean traceSearchTree
      It traces the decisions within search.
  • Constructor Details

    • SwitchesPruningLogging

      private SwitchesPruningLogging()
  • Method Details

    • log

      public static final void log(boolean isEnabled, Class fromClass, String pattern, Object[] args)
    • log

      public static final void log(boolean isEnabled, Class fromClass, String pattern, Object arg1)
    • log

      public static final void log(boolean isEnabled, Class fromClass, String pattern, Object arg1, Object arg2)