Class ClauseState

java.lang.Object
org.jacop.jasat.core.clauses.ClauseState

public final class ClauseState extends Object
constants that represent the state of a clause at some point in the search
Version:
4.9
  • Field Details

    • UNKNOWN_CLAUSE

      public static final int UNKNOWN_CLAUSE
      TODO, Radek : I would put this in AbstractClausesDatabase as only ClausesDatabases uses this.
      See Also:
    • UNSATISFIABLE_CLAUSE

      public static final int UNSATISFIABLE_CLAUSE
      See Also:
    • SATISFIED_CLAUSE

      public static final int SATISFIED_CLAUSE
      See Also:
  • Constructor Details

    • ClauseState

      public ClauseState()