Class Sat4jUtils


  • public final class Sat4jUtils
    extends java.lang.Object
    • Method Detail

      • getInteger

        public static java.math.BigInteger getInteger​(Data data)
      • getInteger

        public static java.math.BigInteger getInteger​(Node expr)
      • getVariable

        public static Variable getVariable​(Node node)
      • getLowerBit

        public static int getLowerBit​(Node node)
      • getUpperBit

        public static int getUpperBit​(Node node)
      • getBitSize

        public static int getBitSize​(Variable variable)
      • getBitSize

        public static int getBitSize​(Node node)