public void testStaticUnion() { assertIsomorphic(graphWith( "" ), unionOf( "", "" )); assertIsomorphic(graphWith( "x R y" ), unionOf( "x R y", "" ) ); assertIsomorphic(graphWith( "x R y" ), unionOf( "", "x R y" ) ); assertIsomorphic(graphWith( "x R y; x R z" ), unionOf( "x R y", "x R z" ) ); assertIsomorphic(graphWith( "x R y" ), unionOf( "x R y", "x R y" ) ); }
@Override public Model createModel() { return createModel( getGraph()); }
public void testStaticDifference() { assertIsomorphic( graphWith( "" ), differenceOf( "", "" ) ); assertIsomorphic( graphWith( "x R y" ), differenceOf( "x R y", "" ) ); assertIsomorphic( graphWith( "" ), differenceOf( "", "x R y" ) ); assertIsomorphic( graphWith( "" ), differenceOf( "x R y", "x R y" ) ); assertIsomorphic( graphWith( "p R q" ), differenceOf( "x R y; p R q", "r A s; x R y" ) ); }
public void testStaticIntersection() { assertIsomorphic( graphWith( "" ), intersectionOf( "", "" ) ); assertIsomorphic( graphWith( "" ), intersectionOf( "x R y", "" ) ); assertIsomorphic( graphWith( "" ), intersectionOf( "", "x R y" ) ); assertIsomorphic( graphWith( "x R y" ), intersectionOf( "x R y", "x R y" ) ); assertIsomorphic( graphWith( "x R y" ), intersectionOf( "x R y; p R q", "r A s; x R y" ) ); }
public void testAddThenDelete() { Graph base = graphWith( DEFAULT_TRIPLES ) ; Delta delta = new Delta( base ) ; delta.add( triple( "a T b" ) ) ; delta.delete( triple( "a T b" ) ) ; assertIsomorphic(graphWith( DEFAULT_TRIPLES ), base); assertIsomorphic(graphWith( "" ), delta.getAdditions()); assertIsomorphic(graphWith( "" ), delta.getDeletions()); assertIsomorphic(graphWith( DEFAULT_TRIPLES ), delta); }
public void testDeltaMirrorsBase() { Graph base = graphWith( DEFAULT_TRIPLES ); Delta delta = new Delta( base ); assertIsomorphic(base, delta); }
protected void checkDeleteSizes( int s0, int s1, int m0, Graph g0, Graph g1, Graph m ) { assertEquals( "Delete check: g0 size", s0, g0.size() ); assertEquals( "Delete check: g1 size", s1, g1.size() ); assertEquals( "Delete check: m size", m0, m.size() ); }
public void testEmptyUnion() { DisjointUnion du = new DisjointUnion( Graph.emptyGraph, Graph.emptyGraph ); assertEquals( true, du.isEmpty() ); }
public void testStaticUnion() { assertIsomorphic(graphWith( "" ), unionOf( "", "" )); assertIsomorphic(graphWith( "x R y" ), unionOf( "x R y", "" ) ); assertIsomorphic(graphWith( "x R y" ), unionOf( "", "x R y" ) ); assertIsomorphic(graphWith( "x R y; x R z" ), unionOf( "x R y", "x R z" ) ); assertIsomorphic(graphWith( "x R y" ), unionOf( "x R y", "x R y" ) ); }
public void testStaticDifference() { assertIsomorphic( graphWith( "" ), differenceOf( "", "" ) ); assertIsomorphic( graphWith( "x R y" ), differenceOf( "x R y", "" ) ); assertIsomorphic( graphWith( "" ), differenceOf( "", "x R y" ) ); assertIsomorphic( graphWith( "" ), differenceOf( "x R y", "x R y" ) ); assertIsomorphic( graphWith( "p R q" ), differenceOf( "x R y; p R q", "r A s; x R y" ) ); }
public void testStaticIntersection() { assertIsomorphic( graphWith( "" ), intersectionOf( "", "" ) ); assertIsomorphic( graphWith( "" ), intersectionOf( "x R y", "" ) ); assertIsomorphic( graphWith( "" ), intersectionOf( "", "x R y" ) ); assertIsomorphic( graphWith( "x R y" ), intersectionOf( "x R y", "x R y" ) ); assertIsomorphic( graphWith( "x R y" ), intersectionOf( "x R y; p R q", "r A s; x R y" ) ); }
@Override public Model createModel() { return createModel( getGraph()); }
public void testUnionValues() { testUnion( 0, 0, 0, 0 ); }
public void testUnionValues() { testUnion( 0, 0, 0, 0 ); }