stub Decomposition class

lib/art-decomp.rb

@@ -3,3 +3,4 @@
 require 'set'
 
 require 'art-decomp/decomposer'
+require 'art-decomp/decomposition'

lib/art-decomp/decomposition.rb

@@ -0,0 +1,13 @@
+module ArtDecomp class Decomposition
+
+  attr_reader :fsm, :u, :v, :qu, :qv, :g
+
+  def initialize fsm, u, v, qu, qv, g
+    @fsm, @u, @v, @qu, @qv, @g = fsm, u, v, qu, qv, g
+  end
+
+  def == other
+    [@fsm, @u, @v, @qu, @qv, @g] == [other.fsm, other.u, other.v, other.qu, other.qv, other.g]
+  end
+
+end end

spec/art-decomp/decomposition_spec.rb

@@ -0,0 +1,11 @@
+describe Decomposition do
+
+  it 'should instantiate and compare properly' do
+    fsm = mock 'FSM'
+    u, v = [0,1], [2]
+    qu, qv, g = mock('Blanket'), mock('Blanket'), mock('Blanket')
+    dec = Decomposition.new fsm, u, v, qu, qv, g
+    [dec.fsm, dec.u, dec.v, dec.qu, dec.qv, dec.g].should == [fsm, u, v, qu, qv, g]
+  end
+
+end