crossing_ruleset constant

Author: GiggleLiu

project/pathwidth.jl

@@ -64,8 +64,7 @@ function viz_gadget(p::Pattern)
 end
 
 function pattern2tikz(folder::String)
-    for (p, sub) in ((Cross{true}(), "crosscon"), (Cross{false}(), "cross"),
-        (Turn(), "turn"))
+    for (p, sub) in UnitDiskMapping.crossing_ruleset
         open(joinpath(folder, sub*"-udg.tex"), "w") do f
             write(f, viz_gadget(p))
         end

project/vizgadget.jl

@@ -69,13 +69,12 @@ end
 # TODO:
 # 1. check if the resulting graph is a unit-disk
 # 2. other simplification rules
-function apply_crossing_gadgets!(ug::UGrid, ruleset=(
-                    Cross{false}(),
+const crossing_ruleset = (Cross{false}(),
                     Turn(), WTurn(), Branch(), BranchFix(), TCon(), TrivialTurn(),
                     RotatedGadget(TCon(), 1), ReflectedGadget(Cross{true}(), "y"),
                     ReflectedGadget(TrivialTurn(), "y"), BranchFixB(),
-                    ReflectedGadget(RotatedGadget(TCon(), 1), "y"),
-                ))
+                    ReflectedGadget(RotatedGadget(TCon(), 1), "y"))
+function apply_crossing_gadgets!(ug::UGrid, ruleset=crossing_ruleset)
     tape = Tuple{Pattern,Int,Int}[]
     n = length(ug.lines)
     for j=1:n  # start from 0 because there can be one empty padding column/row.

src/mapping.jl

@@ -2,11 +2,7 @@ using UnitDiskMapping, Test
 using GraphTensorNetworks
 
 @testset "map results back" begin
-    for s in (Cross{false}(), Cross{true}(), Turn(), TCon(), 
-                    WTurn(), Branch(), BranchFix(), TrivialTurn(),
-                    RotatedGadget(TCon(), 1), ReflectedGadget(Cross{true}(), "y"),
-                    ReflectedGadget(TrivialTurn(), "y"), BranchFixB(),
-                    ReflectedGadget(RotatedGadget(TCon(), 1), "y"),)
+    for s in UnitDiskMapping.crossing_ruleset
         _, g0, pins0 = source_graph(s)
         locs, g, pins = mapped_graph(s)
         d1 = mapped_entry_to_compact(s)

test/extracting_results.jl

@@ -21,10 +21,7 @@ using Graphs
         end
         return true, x
     end
-    for s in (Cross{false}(), Cross{true}(), Turn(),
-        TrivialTurn(), Branch(), TCon(), BranchFixB(), BranchFix(), WTurn(), RotatedGadget(TCon(), 1),
-        ReflectedGadget(TCon(), "x")
-        )
+    for s in UnitDiskMapping.crossing_ruleset
         println("Testing gadget:\n$s")
         locs1, g1, pins1 = source_graph(s)
         locs2, g2, pins2 = mapped_graph(s)

test/gadgets.jl

@@ -1,6 +1,10 @@
 using UnitDiskMapping
 using Test
 
+@testset "utils" begin
+    include("utils.jl")
+end
+
 @testset "mapping" begin
     include("mapping.jl")
 end