public VariableInteger GenerateInt(Int32 lowerbound, Int32 upperbound)
{
var ids = new List <Int32> ();
for (int id = 0; id <= upperbound - lowerbound; id++)
{
ids.Add(baseId);
baseId++;
}
var ret = new VariableInteger(lowerbound, ids, baseId);
return(ret);
}
public IExpression NotEqualCondition(VariableInteger var)
{
return(EqualCondition(var).Negate());
}