@Test
public void testDistributeListWithSeveralBagsWithDifferentContents() {
SubstitutionBag content1 = new SubstitutionBag();
content1.tryAddSubstitution(variableX, zero);
Unification tmp1 = new Unification();
tmp1.add(content1);
SubstitutionBag content2 = new SubstitutionBag();
content2.tryAddSubstitution(variableY, zero);
Unification tmp2 = new Unification();
tmp2.add(content2);
bags.add(new Unification());
bags.add(tmp1);
bags.add(tmp2);
SubstitutionBag res = new SubstitutionBag();
expectedResult.add(res);
res.tryAddSubstitutions(content1);
res.tryAddSubstitutions(content2);
Unification result = Unification.distribute(bags);
assertTrue(result.isSuccess());
assertEquals(result, expectedResult);
}
/**
* Creates a new type based on the unification of t1 and t2, and clips its size to {@link
* #maxSize}.
*
* @param t1 a type
* @param t2 a type
* @param unification how to unify t1 and t2
*/
public static Type createType(Type t1, Type t2, Unification unification) {
Type type = unification.getType(t1, t2);
int size = unification.getSize(t1, t2);
// only set the size if it is different than 0
if (size != 0) {
if (type.isInt()) {
((TypeInt) type).setSize(size);
} else if (type.isUint()) {
((TypeUint) type).setSize(size);
}
}
return type;
}
@Test
public void test6() throws SymbolFormatException, GdlFormatException {
Substitution s = null;
Gdl a, b;
a = GdlFactory.create("(move ?x 1)");
b = GdlFactory.create("(fact a 1)");
s = Unification.unify((GdlSentence) a, (GdlSentence) b);
assertTrue(s == null);
}
@Test
public void test3() throws SymbolFormatException, GdlFormatException {
Substitution s = null;
Gdl a, b;
a = GdlFactory.create("(role ?p)");
b = GdlFactory.create("(role white)");
s = Unification.unify((GdlSentence) a, (GdlSentence) b);
assertEquals("test", s.toString(), "{?p=white}");
}
@Test
public void test2() throws SymbolFormatException, GdlFormatException {
Substitution s = null;
Gdl a, b;
a = GdlFactory.create("(fact ?x)");
b = GdlFactory.create("(fact ?y)");
s = Unification.unify((GdlSentence) a, (GdlSentence) b);
assertEquals("test", s.toString(), "{?x=?y}");
}
@Test
public void testDistributeListWithExclustiveBags() {
SubstitutionBag content1a = new SubstitutionBag();
content1a.tryAddSubstitution(variableX, zero);
SubstitutionBag content1b = new SubstitutionBag();
content1b.tryAddSubstitution(variableX, one);
Unification tmp1 = new Unification();
tmp1.add(content1a);
tmp1.add(content1b);
SubstitutionBag content2a = new SubstitutionBag();
content2a.tryAddSubstitution(variableX, one);
SubstitutionBag content2b = new SubstitutionBag();
content2b.tryAddSubstitution(variableY, zero);
Unification tmp2 = new Unification();
tmp2.add(content2a);
tmp2.add(content2b);
bags.add(tmp1);
bags.add(tmp2);
SubstitutionBag res1 = new SubstitutionBag();
expectedResult.add(res1);
res1.tryAddSubstitution(variableX, zero);
res1.tryAddSubstitution(variableY, zero);
SubstitutionBag res2 = new SubstitutionBag();
expectedResult.add(res2);
res2.tryAddSubstitution(variableX, one);
SubstitutionBag res3 = new SubstitutionBag();
expectedResult.add(res3);
res3.tryAddSubstitution(variableX, one);
res3.tryAddSubstitution(variableY, zero);
Unification result = Unification.distribute(bags);
assertTrue(result.isSuccess());
assertEquals(result, expectedResult);
}
/*
* Load all the variable names from ChipData into the class name dictionary.
*/
protected void loadVariableNames() {
variableNames = new Hashtable();
/*
* Use the query templates to detect the variable names.
*/
Enumeration e = ChipSource.queries().elements();
while (e.hasMoreElements()) {
Structure s = (Structure) e.nextElement();
Unification u = s.variables();
/*
* Add each variable from each query template
*/
Iterator<Variable> e2 = u.iterator();
while (e2.hasNext()) {
Variable v = e2.next();
addVariableName(v.name);
}
}
}
@Test
public void test4() throws SymbolFormatException, GdlFormatException {
Substitution s = null;
Gdl a, b;
a = GdlFactory.create("(f1 ?x 3 ?y)");
b = GdlFactory.create("(f1 (f2 ?y (f3 ?z (f4 (f5 ?y 42) 1 ?z) 7)) ?z a)");
s = Unification.unify((GdlSentence) a, (GdlSentence) b);
assertEquals(
"test", s.toString(), "{?z=3, ?y=a, ?x=( f2 a ( f3 3 ( f4 ( f5 a 42 ) 1 3 ) 7 ) )}");
}
@Test
public void testDistributeListWithSeveralSetsWithDifferentMultiplicity() {
SubstitutionBag content1a = new SubstitutionBag();
content1a.tryAddSubstitution(variableX, zero);
Unification content = new Unification();
content.add(content1a);
SubstitutionBag content2a = new SubstitutionBag();
content2a.tryAddSubstitution(variableY, zero);
SubstitutionBag content2b = new SubstitutionBag();
content2b.tryAddSubstitution(variableY, one);
Unification content2 = new Unification();
content2.add(content2a);
content2.add(content2b);
bags.add(new Unification());
bags.add(content);
bags.add(content2);
SubstitutionBag res1 = new SubstitutionBag();
expectedResult.add(res1);
res1.tryAddSubstitutions(content1a);
res1.tryAddSubstitution(variableY, zero);
SubstitutionBag res2 = new SubstitutionBag();
expectedResult.add(res2);
res2.tryAddSubstitutions(content1a);
res2.tryAddSubstitution(variableY, one);
Unification result = Unification.distribute(bags);
assertTrue(result.isSuccess());
assertEquals(result, expectedResult);
}
@Test
public void testDistributeListWithOneBag() {
SubstitutionBag content = new SubstitutionBag();
content.tryAddSubstitution(variableX, zero);
Unification tmp = new Unification();
tmp.add(content);
bags.add(tmp);
expectedResult.add(content);
Unification result = Unification.distribute(bags);
assertTrue(result.isSuccess());
assertEquals(result, expectedResult);
}
@Test
public void testDistributeListWithSeveralEmptyBags() {
Unification tmp = new Unification();
tmp.add(new SubstitutionBag());
tmp.add(new SubstitutionBag());
bags.add(new Unification());
bags.add(tmp);
bags.add(new Unification());
expectedResult.add(new SubstitutionBag());
Unification result = Unification.distribute(bags);
assertTrue(result.isSuccess());
assertEquals(result, expectedResult);
}
@Test
public void testDistributeListWithExclusiveSets() {
SubstitutionBag content1 = new SubstitutionBag();
content1.tryAddSubstitution(variableX, zero);
Unification tmp1 = new Unification();
tmp1.add(content1);
SubstitutionBag content2 = new SubstitutionBag();
content2.tryAddSubstitution(variableX, one);
Unification tmp2 = new Unification();
tmp2.add(content2);
bags.add(new Unification());
bags.add(tmp1);
bags.add(tmp2);
Unification result = Unification.distribute(bags);
assertFalse(result.isSuccess());
}
@Test
public void testDistributeEmptyList() {
Unification result = Unification.distribute(bags);
assertTrue(result.isSuccess());
assertEquals(result, expectedResult);
}
@Test(expected = IllegalArgumentException.class)
public void testDistributeSomeBagsAreNull() {
bags.add(new Unification());
bags.add(null);
Unification.distribute(bags);
}
@Test(expected = IllegalArgumentException.class)
public void testDistributeNullList() {
Unification.distribute(null);
}
