Esempi in C# (CSharp) per ILP Clause

Esempio n. 1

        public void addPredicate(Clause p)
        {
            int h = computeHash(p.ToString());

            predicates[h].Add(p);
        }