Package ru.ispras.microtesk.basis.solver
-
Class Summary Class Description Bias Bias
represents a constraint bias (i.e.BiasedConstraints<T> BiasedConstraints
represents a set of biased constraints.BiasedConstraints.Builder<T> BiasedConstraints.Entry<T> Restriction Restriction
is generic interface of a bit-vector constraint. -
Enum Summary Enum Description Restriction.Kind