public final class FortressUtils
extends java.lang.Object
Modifier and Type | Method and Description |
---|---|
static ru.ispras.fortress.data.types.bitvector.BitVector |
evaluateBitVector(ru.ispras.fortress.expression.Node node) |
static ru.ispras.fortress.data.types.bitvector.BitVector |
evaluateBitVector(ru.ispras.fortress.expression.Node node,
ru.ispras.fortress.transformer.ValueProvider valueProvider) |
static java.lang.Boolean |
evaluateBoolean(ru.ispras.fortress.expression.Node node) |
static java.lang.Boolean |
evaluateBoolean(ru.ispras.fortress.expression.Node node,
ru.ispras.fortress.transformer.ValueProvider valueProvider) |
static java.math.BigInteger |
evaluateInteger(ru.ispras.fortress.expression.Node node) |
static java.math.BigInteger |
evaluateInteger(ru.ispras.fortress.expression.Node node,
ru.ispras.fortress.transformer.ValueProvider valueProvider) |
static ru.ispras.fortress.data.types.bitvector.BitVector |
extractBitVector(ru.ispras.fortress.expression.Node expr) |
static int |
extractInt(ru.ispras.fortress.expression.Node expr) |
static int |
getBitSize(ru.ispras.fortress.expression.Node node) |
static int |
getBitSize(ru.ispras.fortress.data.Variable variable) |
static ru.ispras.fortress.data.types.bitvector.BitVector |
getBitVector(ru.ispras.fortress.expression.Node expr) |
static java.lang.Boolean |
getBoolean(ru.ispras.fortress.expression.Node expr) |
static java.math.BigInteger |
getInteger(ru.ispras.fortress.data.Data data) |
static java.math.BigInteger |
getInteger(ru.ispras.fortress.expression.Node expr) |
static int |
getLowerBit(ru.ispras.fortress.expression.Node node) |
static int |
getUpperBit(ru.ispras.fortress.expression.Node node) |
static ru.ispras.fortress.data.Variable |
getVariable(ru.ispras.fortress.expression.Node node) |
public static java.math.BigInteger getInteger(ru.ispras.fortress.data.Data data)
public static java.math.BigInteger getInteger(ru.ispras.fortress.expression.Node expr)
public static java.lang.Boolean getBoolean(ru.ispras.fortress.expression.Node expr)
public static ru.ispras.fortress.data.types.bitvector.BitVector getBitVector(ru.ispras.fortress.expression.Node expr)
public static int extractInt(ru.ispras.fortress.expression.Node expr)
public static ru.ispras.fortress.data.types.bitvector.BitVector extractBitVector(ru.ispras.fortress.expression.Node expr)
public static ru.ispras.fortress.data.Variable getVariable(ru.ispras.fortress.expression.Node node)
public static int getLowerBit(ru.ispras.fortress.expression.Node node)
public static int getUpperBit(ru.ispras.fortress.expression.Node node)
public static int getBitSize(ru.ispras.fortress.data.Variable variable)
public static int getBitSize(ru.ispras.fortress.expression.Node node)
public static java.math.BigInteger evaluateInteger(ru.ispras.fortress.expression.Node node, ru.ispras.fortress.transformer.ValueProvider valueProvider)
public static java.math.BigInteger evaluateInteger(ru.ispras.fortress.expression.Node node)
public static ru.ispras.fortress.data.types.bitvector.BitVector evaluateBitVector(ru.ispras.fortress.expression.Node node, ru.ispras.fortress.transformer.ValueProvider valueProvider)
public static ru.ispras.fortress.data.types.bitvector.BitVector evaluateBitVector(ru.ispras.fortress.expression.Node node)
public static java.lang.Boolean evaluateBoolean(ru.ispras.fortress.expression.Node node, ru.ispras.fortress.transformer.ValueProvider valueProvider)
public static java.lang.Boolean evaluateBoolean(ru.ispras.fortress.expression.Node node)