Class ClauseState


  • public final class ClauseState
    extends java.lang.Object
    constants that represent the state of a clause at some point in the search
    Version:
    4.7
    • Constructor Summary

      Constructors 
      Constructor Description
      ClauseState()  
    • Method Summary

      • Methods inherited from class java.lang.Object

        clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
    • Field Detail

      • UNKNOWN_CLAUSE

        public static final int UNKNOWN_CLAUSE
        TODO, Radek : I would put this in AbstractClausesDatabase as only ClausesDatabases uses this.
        See Also:
        Constant Field Values
    • Constructor Detail

      • ClauseState

        public ClauseState()