public class BitVectorConstraint
extends java.lang.Object
BitVectorConstraint
is generic interface of a bit-vector constraint.Modifier and Type | Class and Description |
---|---|
static class |
BitVectorConstraint.Kind |
Modifier and Type | Method and Description |
---|---|
static ru.ispras.fortress.expression.Node |
domain(BitVectorConstraint.Kind kind,
ru.ispras.fortress.expression.Node variable,
java.util.Set<ru.ispras.fortress.data.types.bitvector.BitVector> domain,
java.util.Set<ru.ispras.fortress.data.types.bitvector.BitVector> values) |
static ru.ispras.fortress.expression.Node |
domain(ru.ispras.fortress.expression.Node variable,
java.util.Set<ru.ispras.fortress.data.types.bitvector.BitVector> values) |
static ru.ispras.fortress.expression.Node |
range(ru.ispras.fortress.data.Variable variable,
ru.ispras.fortress.data.types.bitvector.BitVector min,
ru.ispras.fortress.data.types.bitvector.BitVector max) |
public static ru.ispras.fortress.expression.Node domain(BitVectorConstraint.Kind kind, ru.ispras.fortress.expression.Node variable, java.util.Set<ru.ispras.fortress.data.types.bitvector.BitVector> domain, java.util.Set<ru.ispras.fortress.data.types.bitvector.BitVector> values)
public static ru.ispras.fortress.expression.Node domain(ru.ispras.fortress.expression.Node variable, java.util.Set<ru.ispras.fortress.data.types.bitvector.BitVector> values)
public static ru.ispras.fortress.expression.Node range(ru.ispras.fortress.data.Variable variable, ru.ispras.fortress.data.types.bitvector.BitVector min, ru.ispras.fortress.data.types.bitvector.BitVector max)