public bool equals(Clause p) { if (p.ToString().Equals(ToString())) { return(true); } else { return(false); } }
public bool isMoreGeneral(Clause p) { // string s1 = ToString(); string s2 = p.ToString(); foreach (Literal c in p_side) { if (!s2.Contains(c.ToString())) { return(false); } // s1 = s1.Replace("X" + i, "X"); // s2 = s2.Replace("X" + i, "X"); } return(true); }
public void sortVariables(Clause p) { string s = p.ToString(); int index = 0; int index2 = 0; int i = 0; while (index != -1) { index = s.IndexOf("X", index2); if (index != -1) { index2 = s.IndexOf(",", index); string s2 = s.Substring(index, index2 - index); s = s.Replace(s2, "Y" + i); p.replace(s2, "Y" + i); i++; } } p.changeY2X(); s = s.Replace("Y", "X"); }
public void addPredicate(Clause p) { int h = computeHash(p.ToString()); predicates[h].Add(p); }