+
+ ReachabilitySet rs0 = new ReachabilitySet( tts0 );
+ rs0 = rs0.union( new ReachabilitySet( tts2 ) );
+ rs0 = rs0.union( new ReachabilitySet( tts5 ) );
+
+ System.out.println( "rs0 is "+rs0 );
+
+ TokenTuple tt4 = new TokenTuple( new Integer( 4 ),
+ true,
+ TokenTuple.ARITY_ONE );
+
+ /* TokenTuple tt5 = new TokenTuple( new Integer( 4 ),
+ true,
+ TokenTuple.ARITY_ONE );
+ */
+ TokenTuple tt6 = new TokenTuple( new Integer( 6 ),
+ false,
+ TokenTuple.ARITY_ONE );
+
+ TokenTupleSet tts7 = new TokenTupleSet( tt4 );
+ //TokenTupleSet tts8 = new TokenTupleSet( tt5 );
+ TokenTupleSet tts9 = new TokenTupleSet( tt1 );
+ tts9 = tts9.union( tts2 );
+
+ ReachabilitySet rs1 = new ReachabilitySet( tts7 );
+ //rs1 = rs1.union( new ReachabilitySet( tts8 ) );
+ rs1 = rs1.union( new ReachabilitySet( tts9 ) );
+
+ System.out.println( "rs1 is "+rs1 );
+
+
+ ChangeTupleSet cts0 = rs0.unionUpArity( rs1 );
+ System.out.println( "cts0 is "+cts0 );