From 19c406ec7cd950c9d2620a43ca97c5bfda516b45 Mon Sep 17 00:00:00 2001 From: mondokm Date: Thu, 15 Feb 2024 17:59:54 +0100 Subject: [PATCH] Switch to legacy relationalproduct provider --- .../hu/bme/mit/theta/frontend/petrinet/analysis/BfsTest.java | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/subprojects/frontends/petrinet-frontend/petrinet-analysis/src/test/java/hu/bme/mit/theta/frontend/petrinet/analysis/BfsTest.java b/subprojects/frontends/petrinet-frontend/petrinet-analysis/src/test/java/hu/bme/mit/theta/frontend/petrinet/analysis/BfsTest.java index 20f63d22ed..d427181c96 100644 --- a/subprojects/frontends/petrinet-frontend/petrinet-analysis/src/test/java/hu/bme/mit/theta/frontend/petrinet/analysis/BfsTest.java +++ b/subprojects/frontends/petrinet-frontend/petrinet-analysis/src/test/java/hu/bme/mit/theta/frontend/petrinet/analysis/BfsTest.java @@ -9,6 +9,7 @@ import hu.bme.mit.delta.mdd.MddVariableDescriptor; import hu.bme.mit.theta.analysis.algorithm.symbolic.fixpoint.BfsProvider; import hu.bme.mit.theta.analysis.algorithm.symbolic.fixpoint.CursorRelationalProductProvider; +import hu.bme.mit.theta.analysis.algorithm.symbolic.fixpoint.LegacyRelationalProductProvider; import hu.bme.mit.theta.frontend.petrinet.model.PetriNet; import hu.bme.mit.theta.frontend.petrinet.model.Place; import hu.bme.mit.theta.frontend.petrinet.pnml.PetriNetParser; @@ -48,7 +49,7 @@ public void testBfs() throws Exception { variableOrder.createOnTop(MddVariableDescriptor.create(p)); } - BfsProvider bfs = new BfsProvider(variableOrder, new CursorRelationalProductProvider(variableOrder)); + BfsProvider bfs = new BfsProvider(variableOrder, new LegacyRelationalProductProvider(variableOrder)); final MddHandle stateSpace = bfs.compute(system.getInitializer(), system.getTransitions(),