Class Sat4jUtils
- java.lang.Object
-
- ru.ispras.fortress.solver.constraint.Sat4jUtils
-
public final class Sat4jUtils extends java.lang.Object
-
-
Method Summary
All Methods Static Methods Concrete Methods Modifier and Type Method Description static int
getBitSize(Variable variable)
static int
getBitSize(Node node)
static java.math.BigInteger
getInteger(Data data)
static java.math.BigInteger
getInteger(Node expr)
static int
getLowerBit(Node node)
static int
getUpperBit(Node node)
static Variable
getVariable(Node node)
-
-
-
Method Detail
-
getInteger
public static java.math.BigInteger getInteger(Data data)
-
getInteger
public static java.math.BigInteger getInteger(Node expr)
-
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)
-
-