Class ConjunctionId


  • public class ConjunctionId
    extends java.lang.Object
    Conjunction id format: bit 31-1: id/hash bit 0: 0: negated, 1: not negated
    Author:
    bjorncs
    • Constructor Summary

      Constructors 
      Constructor Description
      ConjunctionId()  
    • Method Summary

      All Methods Static Methods Concrete Methods 
      Modifier and Type Method Description
      static int compare​(int c1, int c2)  
      static boolean equals​(int c1, int c2)  
      static boolean isPositive​(int c)  
      static int nextId​(int c)  
      • Methods inherited from class java.lang.Object

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

      • ConjunctionId

        public ConjunctionId()
    • Method Detail

      • compare

        public static int compare​(int c1,
                                  int c2)
      • equals

        public static boolean equals​(int c1,
                                     int c2)
      • isPositive

        public static boolean isPositive​(int c)
      • nextId

        public static int nextId​(int c)