예제 #1
0
        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);
        }
예제 #2
0
 public IExpression NotEqualCondition(VariableInteger var)
 {
     return(EqualCondition(var).Negate());
 }