public final class FortressUtils
extends java.lang.Object
Modifier and Type | Method and Description |
---|---|
static ru.ispras.fortress.data.types.bitvector.BitVector |
extractBitVector(ru.ispras.fortress.expression.Node expr) |
static int |
extractInt(ru.ispras.fortress.expression.Node expr) |