public void testEquals() {
BinaryRelation rel = SetBuilder.makeRelation(new int[][] {{1, 0, 0}, {0, 1, 0}});
BinaryRelation relEquals = SetBuilder.makeRelation(new int[][] {{1, 0, 0}, {0, 1, 0}});
BinaryRelation sameSizeNotEquals = SetBuilder.makeRelation(new int[][] {{1, 0, 1}, {0, 1, 0}});
BinaryRelation relNotEquals =
SetBuilder.makeRelation(new int[][] {{1, 0, 0}, {0, 1, 0}, {1, 0, 0}, {0, 1, 0}});
assertEquals(false, rel.equals(null));
assertEquals(false, rel.equals(relNotEquals));
assertEquals(false, relNotEquals.equals(rel));
assertEquals(true, rel.equals(rel));
assertEquals(true, rel.equals(relEquals));
assertEquals(true, relEquals.equals(rel));
assertEquals(false, rel.equals(sameSizeNotEquals));
assertEquals(false, sameSizeNotEquals.equals(rel));
}
public void testIsRespectedBySet() {
// implication is respected by set,if from premise \subseteq set => conclusion \subseteq set
// test when set is not subset of premise
assertTrue(impDisjoint.isRespectedBySet(SetBuilder.makeSet(new int[] {0, 0, 0, 0})));
// normal case
assertTrue(impDisjoint.isRespectedBySet(SetBuilder.makeSet(new int[] {1, 1, 0, 0})));
// bigger case
assertTrue(impDisjoint.isRespectedBySet(SetBuilder.makeSet(new int[] {1, 1, 1, 1})));
assertEquals(false, impDisjoint.isRespectedBySet(SetBuilder.makeSet(new int[] {1, 0, 0, 0})));
// test of implication for all objects
Implication common =
ImplicationsBuilder.makeImplication(new int[] {0, 0, 0, 0}, new int[] {1, 1, 0, 0}, 10);
assertEquals(false, common.isRespectedBySet(SetBuilder.makeSet(new int[] {0, 0, 0, 0})));
assertEquals(true, common.isRespectedBySet(SetBuilder.makeSet(new int[] {1, 1, 0, 1})));
}
public static void testSetDimension() {
SetBuilder.makeRelation(new int[0][0]);
}
@Override
protected Set<V> getDefaultValue() {
return setBuilder.create();
}
