From 4cc863270867c01862741ced5d7a3d7a7006bfc9 Mon Sep 17 00:00:00 2001 From: rollrat Date: Tue, 28 Jan 2025 20:16:18 +0900 Subject: [PATCH] WIP --- src/transform/placer/mod.rs | 11 +++++++---- 1 file changed, 7 insertions(+), 4 deletions(-) diff --git a/src/transform/placer/mod.rs b/src/transform/placer/mod.rs index 03d8498..341790a 100644 --- a/src/transform/placer/mod.rs +++ b/src/transform/placer/mod.rs @@ -655,18 +655,21 @@ mod tests { // .build_global() // .unwrap(); - let logic_graph = build_graph_from_stmt("a&b", "c")?.prepare_place()?; + // (~a & b) | (a & ~b) + // ~(~a|~b) + // ~(~~a|~b)|~(~a|~~b) + let logic_graph = build_graph_from_stmt("(~a&b)|(a&~b)", "c")?.prepare_place()?; println!("{}", logic_graph.to_graphviz()); let config = LocalPlacerConfig { greedy_input_generation: true, - step_sampling_policy: SamplingPolicy::Random(100), + step_sampling_policy: SamplingPolicy::Random(1000), route_torch_directly: true, - max_route_step: 3, + max_route_step: 2, route_step_sampling_policy: SamplingPolicy::Random(100), }; let mut placer = LocalPlacer::new(logic_graph, config)?; - let worlds = placer.generate(Some(6)); + let worlds = placer.generate(Some(10)); let sampled_worlds = SamplingPolicy::Random(100).sample(worlds);