From b17d83472cf12191c302b3c48c71ee3f737eab3c Mon Sep 17 00:00:00 2001 From: GiggleLiu Date: Wed, 22 Dec 2021 05:48:17 -0500 Subject: [PATCH] fix BranchFixB gadget --- src/extracting_results.jl | 6 +++--- src/gadgets.jl | 2 +- 2 files changed, 4 insertions(+), 4 deletions(-) diff --git a/src/extracting_results.jl b/src/extracting_results.jl index 90822aa..d27f65e 100644 --- a/src/extracting_results.jl +++ b/src/extracting_results.jl @@ -27,7 +27,7 @@ function mapped_entry_to_compact(::Turn) end function source_entry_to_configs(::Turn) - return Dict(Pair{Int64, Vector{BitVector}}[0 => [[0, 1, 0, 1, 0]], 2 => [[0, 0, 1, 0, 1], [0, 1, 0, 0, 1]], 3 => [[1, 0, 1, 0, 1]], 1 => [[1, 0, 1, 0, 0], [1, 0, 0, 1, 0]]]) + return Dict(Pair{Int64, Vector{BitVector}}[0 => [[0, 1, 0, 1, 0]], 2 => [[0, 1, 0, 0, 1], [0, 0, 1, 0, 1]], 3 => [[1, 0, 1, 0, 1]], 1 => [[1, 0, 1, 0, 0], [1, 0, 0, 1, 0]]]) end mis_overhead(::Turn) = -1 @@ -38,7 +38,7 @@ function mapped_entry_to_compact(::WTurn) end function source_entry_to_configs(::WTurn) - return Dict(Pair{Int64, Vector{BitVector}}[0 => [[1, 0, 1, 0, 0]], 2 => [[0, 0, 0, 1, 1], [1, 0, 0, 0, 1]], 3 => [[0, 1, 0, 1, 1]], 1 => [[0, 1, 1, 0, 0], [0, 1, 0, 1, 0]]]) + return Dict(Pair{Int64, Vector{BitVector}}[0 => [[1, 0, 1, 0, 0]], 2 => [[0, 0, 0, 1, 1], [1, 0, 0, 0, 1]], 3 => [[0, 1, 0, 1, 1]], 1 => [[0, 1, 0, 1, 0], [0, 1, 1, 0, 0]]]) end mis_overhead(::WTurn) = -1 @@ -60,7 +60,7 @@ function mapped_entry_to_compact(::BranchFix) end function source_entry_to_configs(::BranchFix) - return Dict(Pair{Int64, Vector{BitVector}}[0 => [[0, 0, 1, 0, 1, 0], [0, 1, 0, 0, 1, 0], [0, 1, 0, 1, 0, 0]], 2 => [[0, 1, 0, 1, 0, 1]], 3 => [[1, 0, 1, 0, 0, 1], [1, 0, 0, 1, 0, 1]], 1 => [[1, 0, 1, 0, 1, 0]]]) + return Dict(Pair{Int64, Vector{BitVector}}[0 => [[0, 1, 0, 1, 0, 0], [0, 1, 0, 0, 1, 0], [0, 0, 1, 0, 1, 0]], 2 => [[0, 1, 0, 1, 0, 1]], 3 => [[1, 0, 0, 1, 0, 1], [1, 0, 1, 0, 0, 1]], 1 => [[1, 0, 1, 0, 1, 0]]]) end mis_overhead(::BranchFix) = -1 diff --git a/src/gadgets.jl b/src/gadgets.jl index 63c2fd5..0bc250e 100644 --- a/src/gadgets.jl +++ b/src/gadgets.jl @@ -258,7 +258,7 @@ struct BranchFixB <: CrossPattern end # ⋅ ● ● ⋅ # ⋅ ● ⋅ ⋅ function source_graph(::BranchFixB) - locs = SimpleNode.([(2,3),(3,3),(3,2),(4,2)]) + locs = SimpleNode.([(2,3),(3,2),(3,3),(4,2)]) g = simplegraph([(1,3), (2,3), (2,4)]) return locs, g, [1, 4] end