art-decomp 0.2.0 → 0.2.1

data/VERSION

@@ -1 +1 @@
-0.2.0
+0.2.1

data/lib/art-decomp/executable.rb

@@ -9,7 +9,7 @@ module ArtDecomp class Executable
       opt :archs,        'Target architecture(s)',               :type => :strings
       opt :outdir,       'Output directory',                     :type => :string
       opt :iters,        'Number of iterations, 0 for infinite', :default => 1
-      opt :uv,           'UV generator(s)',                      :default => ['GeneralRelevance']
+      opt :uv,           'UV generator(s)',                      :default => ['UniqueRelevance']
       opt :qu,           'Qu generator(s)',                      :default => ['EdgeLabels']
       opt :qv,           'Qv generator(s)',                      :default => ['GraphColouring']
       opt :binary,       'Compute binary decompositions',        :default => false

data/spec/art-decomp/executable_spec.rb

@@ -83,7 +83,7 @@ module ArtDecomp describe Executable do
     dec = Decomposition.new fsm, Set[0], Set[1], Blanket[B[0],B[1],B[2]], Blanket[], Blanket[]
 
     decomposer = mock Decomposer, :decompositions => [dec, dec].each
-    Decomposer.should_receive(:new).with(:fsm => fsm, :archs => an_instance_of(Set), :uv_gens => [UVGenerator::GeneralRelevance], :qu_gens => [QuGenerator::EdgeLabels], :qv_gens => [QvGenerator::GraphColouring]).and_return decomposer
+    Decomposer.should_receive(:new).with(:fsm => fsm, :archs => an_instance_of(Set), :uv_gens => [UVGenerator::UniqueRelevance], :qu_gens => [QuGenerator::EdgeLabels], :qv_gens => [QvGenerator::GraphColouring]).and_return decomposer
 
     Executable.new(@args).run false
     Marshal.load(File.read("#{@dir}/decompositions")).should == [dec, dec]

data/spec/art-decomp/logging_spec.rb

@@ -33,7 +33,7 @@ module ArtDecomp describe Logging do
     ex = Executable.new(args)
     ex.stub!(:best).and_return 69
     ex.run
-    log.should =~ rex('FSM 4/2+10s → 5/1+4/2 () with GeneralRelevance, EdgeLabels, GraphColouring – best so far: 69 cells')
+    log.should =~ rex('FSM 4/2+10s → 5/1+4/2 () with UniqueRelevance, EdgeLabels, GraphColouring – best so far: 69 cells')
     log.should =~ rex('final best decomposition: 69 cells; done in 0s (0h 0m 0s)')
   end
 
@@ -41,7 +41,7 @@ module ArtDecomp describe Logging do
     Decomposer.should_receive(:new).and_return mock(Decomposer, :decompositions => [].each)
     args = ['-a', '5/1', '4/2', '-o', @dir, 'spec/fixtures/fsm']
     Executable.new(args).run
-    log.should =~ rex('FSM 4/2+10s → 5/1+4/2 () with GeneralRelevance, EdgeLabels, GraphColouring – no decomposition so far')
+    log.should =~ rex('FSM 4/2+10s → 5/1+4/2 () with UniqueRelevance, EdgeLabels, GraphColouring – no decomposition so far')
     log.should =~ rex('no final decomposition; done in 0s (0h 0m 0s)')
   end
 

metadata

@@ -1,7 +1,7 @@
 --- !ruby/object:Gem::Specification 
 name: art-decomp
 version: !ruby/object:Gem::Version 
-  version: 0.2.0
+  version: 0.2.1
 platform: ruby
 authors: 
 - Piotr Szotkowski