Esempi in C# (CSharp) per sudoku_sat_solver VariableInteger

Esempio n. 1

        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);
        }

Esempio n. 2

 public IExpression NotEqualCondition(VariableInteger var)
 {
     return(EqualCondition(var).Negate());
 }