Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Both sides previous revisionPrevious revision
configuration [2024/01/02 19:37] – external edit 127.0.0.1configuration [2024/01/02 19:39] (current) – [config/config.properties] admin
Line 47: Line 47:
  
 ==== config/config.properties ==== ==== config/config.properties ====
-  * ACT.gen.algorithm:  
-    * ipog - use algorithm IPO (default) 
-    * ipog_d - use algorithm IPO + Binary Construction (for large systems with > 20 variables and on average > 10 values per variable) 
-    * ipof - use the IPOF method 
-    * ipof2 - use the IPOF2method 
-    * basechoice - use Base Choice method 
   * Debug.print.plantUML: true/false (default false), internal use   * Debug.print.plantUML: true/false (default false), internal use
   * Debug.print.stateNetwork: true/false (default false), internal use   * Debug.print.stateNetwork: true/false (default false), internal use