Class ConjunctionId


  • public class ConjunctionId
    extends Object
    Conjunction id format: bit 31-1: id/hash bit 0: 0: negated, 1: not negated
    Author:
    bjorncs
    • 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)