Ejemplo n.º 1
0
        public void addPredicate(Clause p)
        {
            int h = computeHash(p.ToString());

            predicates[h].Add(p);
        }