created new branch for implementing the new orchestration synthesis a…

…lgorithm Signed-off-by: Davide Basile <davide.basile@isti.cnr.it>
contractautomataproject · Oct 24, 2023 · 7e9bf42 · 7e9bf42
1 parent 2490b2d
commit 7e9bf42
Show file tree

Hide file tree

Showing 3 changed files with 2 additions and 2 deletions.
diff --git a/.idea/misc.xml b/.idea/misc.xml
diff --git a/.idea/vcs.xml b/.idea/vcs.xml
diff --git a/...ain/java/io/github/contractautomata/catlib/operations/OrchestrationSynthesisOperator.java b/...ain/java/io/github/contractautomata/catlib/operations/OrchestrationSynthesisOperator.java
@@ -37,6 +37,7 @@ public class OrchestrationSynthesisOperator<S1> extends ModelCheckingSynthesisOp
 		Automaton<S1,Action,State<S1>,ModalTransition<S1,Action,State<S1>,Label<Action>>>>
 {
 	private static boolean refinedLazy =false;
+	private int version=3;
 
 	/**
 	 * Constructor for the orchestration synthesis operator enforcing the requirement req.