public interface IntegerConstraint<V>
IntegerConstraint
IntegerFormula<V>
getFormula()
IntegerFormula<V> getFormula()