Switch to legacy relationalproduct provider

ftsrg · Feb 15, 2024 · 19c406e · 19c406e
1 parent e70661a
commit 19c406e
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/.../petrinet-analysis/src/test/java/hu/bme/mit/theta/frontend/petrinet/analysis/BfsTest.java b/.../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(),