public void testHashCode()
{
Term cons1 = new Constant("C1");
Term cons2 = new Constant("C2");
Term var1 = new Variable("v1");
ICollection <Term> pts1 = CollectionFactory.CreateQueue <Term>();
ICollection <Term> pts2 = CollectionFactory.CreateQueue <Term>();
pts1.Add(cons1);
pts1.Add(cons2);
pts1.Add(var1);
pts2.Add(cons2);
pts2.Add(cons1);
pts2.Add(var1);
Clause c1 = new Clause();
Clause c2 = new Clause();
Assert.AreEqual(c1.GetHashCode(), c2.GetHashCode());
c1.addNegativeLiteral(new Predicate("Pred1", pts1));
Assert.AreNotEqual(c1.GetHashCode(), c2.GetHashCode());
c2.addNegativeLiteral(new Predicate("Pred1", pts1));
Assert.AreEqual(c1.GetHashCode(), c2.GetHashCode());
c1.addPositiveLiteral(new Predicate("Pred1", pts1));
Assert.AreNotEqual(c1.GetHashCode(), c2.GetHashCode());
c2.addPositiveLiteral(new Predicate("Pred1", pts1));
Assert.AreEqual(c1.GetHashCode(), c2.GetHashCode());
}
public void testHashCode()
{
Term cons1 = new Constant("C1");
Term cons2 = new Constant("C2");
Term var1 = new Variable("v1");
List <Term> pts1 = new List <Term>();
List <Term> pts2 = new List <Term>();
pts1.Add(cons1);
pts1.Add(cons2);
pts1.Add(var1);
pts2.Add(cons2);
pts2.Add(cons1);
pts2.Add(var1);
Clause c1 = new Clause();
Clause c2 = new Clause();
Assert.AreEqual(c1.GetHashCode(), c2.GetHashCode());
c1.addNegativeLiteral(new Predicate("Pred1", pts1));
Assert.AreNotSame(c1.GetHashCode(), c2.GetHashCode());
c2.addNegativeLiteral(new Predicate("Pred1", pts1));
Assert.AreEqual(c1.GetHashCode(), c2.GetHashCode());
c1.addPositiveLiteral(new Predicate("Pred1", pts1));
Assert.AreNotSame(c1.GetHashCode(), c2.GetHashCode());
c2.addPositiveLiteral(new Predicate("Pred1", pts1));
Assert.AreEqual(c1.GetHashCode(), c2.GetHashCode());
}
public void testHashCode()
{
Clause clause1 = new Clause();
Clause clause2 = new Clause();
Assert.IsTrue(clause1.GetHashCode() == clause2.GetHashCode());
clause1 = new Clause(LITERAL_P);
clause2 = new Clause(LITERAL_P);
Assert.IsTrue(clause1.GetHashCode() == clause2.GetHashCode());
clause1 = new Clause(LITERAL_P, LITERAL_Q);
clause2 = new Clause(LITERAL_P, LITERAL_Q);
Assert.IsTrue(clause1.GetHashCode() == clause2.GetHashCode());
clause1 = new Clause(LITERAL_R, LITERAL_P, LITERAL_Q);
clause2 = new Clause(LITERAL_P, LITERAL_Q, LITERAL_R);
Assert.IsTrue(clause1.GetHashCode() == clause2.GetHashCode());
clause1 = new Clause(LITERAL_P);
clause2 = new Clause(LITERAL_Q);
Assert.IsFalse(clause1.GetHashCode() == clause2.GetHashCode());
clause1 = new Clause(LITERAL_P, LITERAL_Q);
clause2 = new Clause(LITERAL_P, LITERAL_R);
Assert.IsFalse(clause1.GetHashCode() == clause2.GetHashCode());
}
public void testHashCode()
{
Term cons1 = new Constant("C1");
Term cons2 = new Constant("C2");
Term var1 = new Variable("v1");
List<Term> pts1 = new List<Term>();
List<Term> pts2 = new List<Term>();
pts1.Add(cons1);
pts1.Add(cons2);
pts1.Add(var1);
pts2.Add(cons2);
pts2.Add(cons1);
pts2.Add(var1);
Clause c1 = new Clause();
Clause c2 = new Clause();
Assert.AreEqual(c1.GetHashCode(), c2.GetHashCode());
c1.addNegativeLiteral(new Predicate("Pred1", pts1));
Assert.AreNotSame(c1.GetHashCode(), c2.GetHashCode());
c2.addNegativeLiteral(new Predicate("Pred1", pts1));
Assert.AreEqual(c1.GetHashCode(), c2.GetHashCode());
c1.addPositiveLiteral(new Predicate("Pred1", pts1));
Assert.AreNotSame(c1.GetHashCode(), c2.GetHashCode());
c2.addPositiveLiteral(new Predicate("Pred1", pts1));
Assert.AreEqual(c1.GetHashCode(), c2.GetHashCode());
}