Add option to select kindOfGraph in command line configuration

Correct bug on SetPetriNetsMarkings

.metadata/.plugins/org.eclipse.core.runtime/.settings/org.eclipse.debug.ui.prefs

@@ -1,3 +1,16 @@
 eclipse.preferences.version=1
+org.eclipse.debug.ui.MemoryHistoryKnownColor=235,235,235
+org.eclipse.debug.ui.MemoryHistoryUnknownColor=170,175,185
+org.eclipse.debug.ui.PREF_CHANGED_VALUE_BACKGROUND=150,80,115
 org.eclipse.debug.ui.PREF_LAUNCH_PERSPECTIVES=<?xml version\="1.0" encoding\="UTF-8" standalone\="no"?>\r\n<launchPerspectives/>\r\n
+org.eclipse.debug.ui.changedDebugElement=255,128,128
+org.eclipse.debug.ui.consoleBackground=53,53,53
+org.eclipse.debug.ui.errorColor=225,30,70
+org.eclipse.debug.ui.inColor=140,175,210
+org.eclipse.debug.ui.outColor=235,235,235
+org.eclipse.debug.ui.user_view_bindings=<?xml version\="1.0" encoding\="UTF-8" standalone\="no"?>\r\n<viewBindings>\r\n    <view id\="org.eclipse.jdt.debug.ui.DisplayView">\r\n        <perspective id\="org.eclipse.debug.ui.DebugPerspective" userAction\="opened"/>\r\n    </view>\r\n    <view id\="org.eclipse.debug.ui.ExpressionView">\r\n        <perspective id\="org.eclipse.debug.ui.DebugPerspective" userAction\="opened"/>\r\n    </view>\r\n</viewBindings>\r\n
+overriddenByCSS=,org.eclipse.debug.ui.MemoryHistoryKnownColor,org.eclipse.debug.ui.MemoryHistoryUnknownColor,org.eclipse.debug.ui.PREF_CHANGED_VALUE_BACKGROUND,org.eclipse.debug.ui.changedDebugElement,org.eclipse.debug.ui.consoleBackground,org.eclipse.debug.ui.errorColor,org.eclipse.debug.ui.inColor,org.eclipse.debug.ui.outColor,
+pref_state_memento.org.eclipse.debug.ui.DebugVieworg.eclipse.debug.ui.DebugView=<?xml version\="1.0" encoding\="UTF-8"?>\r\n<DebugViewMemento org.eclipse.debug.ui.BREADCRUMB_DROPDOWN_AUTO_EXPAND\="false"/>
+pref_state_memento.org.eclipse.debug.ui.VariableView=<?xml version\="1.0" encoding\="UTF-8"?>\r\n<VariablesViewMemento org.eclipse.debug.ui.SASH_DETAILS_PART\="315" org.eclipse.debug.ui.SASH_VIEW_PART\="684">\r\n<PRESENTATION_CONTEXT_PROPERTIES IMemento.internal.id\="org.eclipse.debug.ui.VariableView">\r\n<BOOLEAN BOOLEAN\="true" IMemento.internal.id\="PRESENTATION_SHOW_LOGICAL_STRUCTURES"/>\r\n</PRESENTATION_CONTEXT_PROPERTIES>\r\n</VariablesViewMemento>
+preferredDetailPanes=DefaultDetailPane,org.eclipse.jdt.debug.ui.JAVA_VARIABLE_DETAIL_PANE_VARIABLES\:org.eclipse.jdt.debug.ui.JAVA_VARIABLE_DETAIL_PANE_VARIABLES|DefaultDetailPane\:DefaultDetailPane|
 preferredTargets=default\:default|

.metadata/.plugins/org.eclipse.core.runtime/.settings/org.eclipse.jdt.ui.prefs

@@ -1,19 +1,101 @@
+content_assist_completion_replacement_background=200,200,0
+content_assist_completion_replacement_foreground=200,0,0
 content_assist_lru_history=<?xml version\="1.0" encoding\="UTF-8" standalone\="no"?><history maxLHS\="100" maxRHS\="10"><lhs name\="java.awt.LayoutManager"><rhs name\="java.awt.FlowLayout"/><rhs name\="javax.swing.BoxLayout"/><rhs name\="java.awt.BorderLayout"/></lhs><lhs name\="java.awt.Paint"><rhs name\="java.awt.Color"/></lhs><lhs name\="java.awt.Transparency"><rhs name\="java.awt.Color"/></lhs><lhs name\="java.awt.Color"><rhs name\="java.awt.Color"/></lhs><lhs name\="java.awt.geom.Dimension2D"><rhs name\="java.awt.Dimension"/></lhs><lhs name\="java.lang.Cloneable"><rhs name\="java.util.HashMap"/><rhs name\="java.awt.Dimension"/></lhs><lhs name\="java.awt.Dimension"><rhs name\="java.awt.Dimension"/></lhs><lhs name\="java.util.Map"><rhs name\="java.util.HashMap"/></lhs><lhs name\="java.util.AbstractMap"><rhs name\="java.util.HashMap"/></lhs><lhs name\="java.util.HashMap"><rhs name\="java.util.HashMap"/></lhs><lhs name\="java.lang.Number"><rhs name\="java.lang.Integer"/></lhs><lhs name\="fr.lip6.mocah.laalys.petrinet.IPetriNet"><rhs name\="fr.lip6.mocah.laalys.petrinet.PetriNet"/></lhs><lhs name\="fr.lip6.mocah.laalys.features.IFeatures"><rhs name\="fr.lip6.mocah.laalys.features.Features"/></lhs><lhs name\="fr.lip6.mocah.laalys.traces.ITraces"><rhs name\="fr.lip6.mocah.laalys.traces.Traces"/></lhs><lhs name\="java.io.Closeable"><rhs name\="java.net.Socket"/><rhs name\="java.io.BufferedOutputStream"/><rhs name\="java.io.PrintWriter"/><rhs name\="java.io.FileOutputStream"/><rhs name\="java.io.FileInputStream"/></lhs><lhs name\="java.lang.AutoCloseable"><rhs name\="java.net.Socket"/><rhs name\="java.io.BufferedOutputStream"/><rhs name\="java.io.PrintWriter"/><rhs name\="java.io.FileOutputStream"/><rhs name\="java.io.FileInputStream"/></lhs><lhs name\="java.net.Socket"><rhs name\="java.net.Socket"/></lhs><lhs name\="java.util.logging.Level"><rhs name\="java.util.logging.Level"/></lhs><lhs name\="fr.lip6.mocah.laalys.labeling.ILabeling"><rhs name\="fr.lip6.mocah.laalys.labeling.Labeling_V10"/></lhs><lhs name\="java.io.FilterOutputStream"><rhs name\="java.io.BufferedOutputStream"/></lhs><lhs name\="java.io.OutputStream"><rhs name\="java.io.BufferedOutputStream"/><rhs name\="java.io.FileOutputStream"/></lhs><lhs name\="java.io.Flushable"><rhs name\="java.io.BufferedOutputStream"/><rhs name\="java.io.PrintWriter"/><rhs name\="java.io.FileOutputStream"/></lhs><lhs name\="java.io.BufferedOutputStream"><rhs name\="java.io.BufferedOutputStream"/></lhs><lhs name\="java.io.Writer"><rhs name\="java.io.PrintWriter"/></lhs><lhs name\="java.lang.Appendable"><rhs name\="java.io.PrintWriter"/></lhs><lhs name\="java.io.PrintWriter"><rhs name\="java.io.PrintWriter"/></lhs><lhs name\="java.io.FileOutputStream"><rhs name\="java.io.FileOutputStream"/></lhs><lhs name\="javax.swing.border.AbstractBorder"><rhs name\="javax.swing.border.TitledBorder"/></lhs><lhs name\="javax.swing.border.Border"><rhs name\="javax.swing.border.TitledBorder"/></lhs><lhs name\="javax.swing.border.TitledBorder"><rhs name\="javax.swing.border.TitledBorder"/></lhs><lhs name\="javax.accessibility.Accessible"><rhs name\="javax.swing.JCheckBox"/></lhs><lhs name\="javax.swing.JToggleButton"><rhs name\="javax.swing.JCheckBox"/></lhs><lhs name\="javax.swing.AbstractButton"><rhs name\="javax.swing.JCheckBox"/></lhs><lhs name\="java.awt.ItemSelectable"><rhs name\="javax.swing.JCheckBox"/></lhs><lhs name\="javax.swing.SwingConstants"><rhs name\="javax.swing.JCheckBox"/></lhs><lhs name\="javax.swing.JComponent"><rhs name\="javax.swing.JCheckBox"/></lhs><lhs name\="javax.swing.TransferHandler$HasGetTransferHandler"><rhs name\="javax.swing.JCheckBox"/></lhs><lhs name\="java.awt.Container"><rhs name\="javax.swing.JCheckBox"/></lhs><lhs name\="java.awt.Component"><rhs name\="javax.swing.JCheckBox"/></lhs><lhs name\="java.awt.image.ImageObserver"><rhs name\="javax.swing.JCheckBox"/></lhs><lhs name\="java.awt.MenuContainer"><rhs name\="javax.swing.JCheckBox"/></lhs><lhs name\="javax.swing.JCheckBox"><rhs name\="javax.swing.JCheckBox"/></lhs><lhs name\="java.util.logging.Handler"><rhs name\="java.util.logging.StreamHandler"/></lhs><lhs name\="java.util.logging.Formatter"><rhs name\="java.util.logging.SimpleFormatter"/></lhs><lhs name\="fr.lip6.mocah.laalys.traces.ITrace"><rhs name\="fr.lip6.mocah.laalys.traces.Trace"/></lhs><lhs name\="java.io.InputStream"><rhs name\="java.io.FileInputStream"/></lhs></history>
-content_assist_number_of_computers=12
+content_assist_number_of_computers=15
+content_assist_parameters_background=52,57,61
+content_assist_parameters_foreground=238,238,238
 content_assist_proposals_background=255,255,255
 content_assist_proposals_foreground=0,0,0
 eclipse.preferences.version=1
 fontPropagated=true
+java_bracket=249,250,244
+java_comment_task_tag=154,140,124
+java_default=217,232,247
+java_doc_default=128,128,128
+java_doc_keyword=154,140,124
+java_doc_link=169,156,140
+java_doc_tag=30,120,155
+java_keyword=204,108,29
+java_keyword_bold=false
+java_keyword_return=204,108,29
+java_keyword_return_bold=false
+java_multi_line_comment=128,128,128
+java_operator=230,230,250
+java_single_line_comment=128,128,128
+java_string=23,198,163
+matchingBracketsColor=249,250,244
+org.eclipse.jdt.internal.ui.navigator.layout=2
+org.eclipse.jdt.internal.ui.navigator.librariesnode=true
 org.eclipse.jdt.ui.editor.tab.width=
-org.eclipse.jdt.ui.formatterprofiles.version=21
+org.eclipse.jdt.ui.formatterprofiles.version=23
 org.eclipse.jdt.ui.javadoclocations.migrated=true
 org.eclipse.jdt.ui.text.code_templates_migrated=true
 org.eclipse.jdt.ui.text.custom_code_templates=<?xml version\="1.0" encoding\="UTF-8" standalone\="no"?><templates/>
 org.eclipse.jdt.ui.text.custom_templates=<?xml version\="1.0" encoding\="UTF-8" standalone\="no"?><templates/>
 org.eclipse.jdt.ui.text.templates_migrated=true
 org.eclipse.jface.textfont=1|Courier New|10.0|0|WINDOWS|1|0|0|0|0|0|0|0|0|1|0|0|0|0|Courier New;
+overriddenByCSS=,content_assist_completion_replacement_background,content_assist_completion_replacement_foreground,content_assist_parameters_background,content_assist_parameters_foreground,java_bracket,java_comment_task_tag,java_default,java_doc_default,java_doc_keyword,java_doc_link,java_doc_tag,java_keyword,java_keyword_bold,java_keyword_return,java_keyword_return_bold,java_multi_line_comment,java_operator,java_single_line_comment,java_string,matchingBracketsColor,pf_coloring_argument,pf_coloring_assignment,pf_coloring_comment,pf_coloring_key,pf_coloring_value,semanticHighlighting.abstractClass.color,semanticHighlighting.abstractClass.enabled,semanticHighlighting.abstractMethodInvocation.color,semanticHighlighting.abstractMethodInvocation.enabled,semanticHighlighting.annotation.color,semanticHighlighting.annotation.enabled,semanticHighlighting.annotation.italic,semanticHighlighting.annotationElementReference.color,semanticHighlighting.annotationElementReference.enabled,semanticHighlighting.class.color,semanticHighlighting.class.enabled,semanticHighlighting.deprecatedMember.color,semanticHighlighting.deprecatedMember.enabled,semanticHighlighting.deprecatedMember.underline,semanticHighlighting.deprecatedMember.strikethrough,semanticHighlighting.enum.color,semanticHighlighting.enum.enabled,semanticHighlighting.enum.italic,semanticHighlighting.field.color,semanticHighlighting.field.enabled,semanticHighlighting.inheritedField.color,semanticHighlighting.inheritedMethodInvocation.color,semanticHighlighting.inheritedMethodInvocation.enabled,semanticHighlighting.interface.color,semanticHighlighting.interface.enabled,semanticHighlighting.localVariable.color,semanticHighlighting.localVariable.enabled,semanticHighlighting.localVariableDeclaration.color,semanticHighlighting.localVariableDeclaration.enabled,semanticHighlighting.localVariableDeclaration.bold,semanticHighlighting.method.color,semanticHighlighting.method.enabled,semanticHighlighting.methodDeclarationName.color,semanticHighlighting.methodDeclarationName.enabled,semanticHighlighting.methodDeclarationName.bold,semanticHighlighting.number.color,semanticHighlighting.number.enabled,semanticHighlighting.parameterVariable.color,semanticHighlighting.parameterVariable.enabled,semanticHighlighting.staticField.color,semanticHighlighting.staticField.enabled,semanticHighlighting.staticFinalField.color,semanticHighlighting.staticFinalField.enabled,semanticHighlighting.staticMethodInvocation.color,semanticHighlighting.staticMethodInvocation.enabled,semanticHighlighting.typeArgument.color,semanticHighlighting.typeArgument.enabled,semanticHighlighting.typeParameter.color,semanticHighlighting.typeParameter.enabled,semanticHighlighting.typeParameter.bold,semanticHighlighting.restrictedKeywords.color,semanticHighlighting.restrictedKeywords.bold,sourceHoverBackgroundColor,
+pf_coloring_argument=221,40,103
+pf_coloring_assignment=217,232,247
+pf_coloring_comment=128,128,128
+pf_coloring_key=217,232,247
+pf_coloring_value=23,198,163
 proposalOrderMigrated=true
+semanticHighlighting.abstractClass.color=62,171,230
+semanticHighlighting.abstractClass.enabled=true
+semanticHighlighting.abstractMethodInvocation.color=128,246,167
+semanticHighlighting.abstractMethodInvocation.enabled=true
+semanticHighlighting.annotation.color=160,160,160
+semanticHighlighting.annotation.enabled=true
+semanticHighlighting.annotation.italic=true
+semanticHighlighting.annotationElementReference.color=235,75,100
+semanticHighlighting.annotationElementReference.enabled=true
+semanticHighlighting.class.color=18,144,195
+semanticHighlighting.class.enabled=true
+semanticHighlighting.deprecatedMember.color=128,128,128
+semanticHighlighting.deprecatedMember.enabled=true
+semanticHighlighting.deprecatedMember.strikethrough=true
+semanticHighlighting.deprecatedMember.underline=false
+semanticHighlighting.enum.color=204,129,186
+semanticHighlighting.enum.enabled=true
+semanticHighlighting.enum.italic=true
+semanticHighlighting.field.color=102,225,248
+semanticHighlighting.field.enabled=true
+semanticHighlighting.inheritedField.color=143,143,191
+semanticHighlighting.inheritedMethodInvocation.color=205,246,104
+semanticHighlighting.inheritedMethodInvocation.enabled=true
+semanticHighlighting.interface.color=128,242,246
+semanticHighlighting.interface.enabled=true
+semanticHighlighting.localVariable.color=243,236,121
+semanticHighlighting.localVariable.enabled=true
+semanticHighlighting.localVariableDeclaration.bold=false
+semanticHighlighting.localVariableDeclaration.color=242,242,0
+semanticHighlighting.localVariableDeclaration.enabled=true
+semanticHighlighting.method.color=167,236,33
+semanticHighlighting.method.enabled=true
+semanticHighlighting.methodDeclarationName.bold=false
+semanticHighlighting.methodDeclarationName.color=30,181,64
+semanticHighlighting.methodDeclarationName.enabled=true
+semanticHighlighting.number.color=104,151,187
+semanticHighlighting.number.enabled=true
+semanticHighlighting.parameterVariable.color=121,171,255
+semanticHighlighting.parameterVariable.enabled=true
+semanticHighlighting.restrictedKeywords.bold=false
+semanticHighlighting.restrictedKeywords.color=204,108,29
+semanticHighlighting.staticField.color=141,218,248
+semanticHighlighting.staticField.enabled=true
+semanticHighlighting.staticFinalField.color=141,218,248
+semanticHighlighting.staticFinalField.enabled=true
+semanticHighlighting.staticMethodInvocation.color=150,236,63
+semanticHighlighting.staticMethodInvocation.enabled=true
+semanticHighlighting.typeArgument.color=177,102,218
+semanticHighlighting.typeArgument.enabled=true
+semanticHighlighting.typeParameter.bold=false
+semanticHighlighting.typeParameter.color=191,164,164
+semanticHighlighting.typeParameter.enabled=true
+sourceHoverBackgroundColor=68,68,68
 spelling_locale_initialized=true
 tabWidthPropagated=true
+typefilter_migrated_2=true
 useAnnotationsPrefPage=true
 useQuickDiffPrefPage=true

.metadata/.plugins/org.eclipse.core.runtime/.settings/org.eclipse.ui.ide.prefs

@@ -1,5 +1,5 @@
 PROBLEMS_FILTERS_MIGRATE=true
 eclipse.preferences.version=1
-platformState=1623012658522
+platformState=1696575786253
 quickStart=false
 tipsAndTricks=true

.metadata/.plugins/org.eclipse.core.runtime/.settings/org.eclipse.ui.workbench.prefs

@@ -1,9 +1,12 @@
 //org.eclipse.ui.commands/state/org.eclipse.ui.navigator.resources.nested.changeProjectPresentation/org.eclipse.ui.commands.radioState=false
 PLUGINS_NOT_ACTIVATED_ON_STARTUP=org.eclipse.m2e.discovery;
 eclipse.preferences.version=1
-org.eclipse.ui.workbench.ACTIVE_NOFOCUS_TAB_BG_END=255,255,255
-org.eclipse.ui.workbench.ACTIVE_NOFOCUS_TAB_BG_START=255,255,255
-org.eclipse.ui.workbench.ACTIVE_NOFOCUS_TAB_TEXT_COLOR=16,16,16
-org.eclipse.ui.workbench.ACTIVE_TAB_BG_END=255,255,255
-org.eclipse.ui.workbench.ACTIVE_TAB_BG_START=255,255,255
-org.eclipse.ui.workbench.INACTIVE_TAB_BG_START=242,242,242
+org.eclipse.ui.workbench.ACTIVE_NOFOCUS_TAB_BG_END=41,41,41
+org.eclipse.ui.workbench.ACTIVE_NOFOCUS_TAB_BG_START=43,44,45
+org.eclipse.ui.workbench.ACTIVE_NOFOCUS_TAB_TEXT_COLOR=204,204,204
+org.eclipse.ui.workbench.ACTIVE_TAB_BG_END=41,41,41
+org.eclipse.ui.workbench.ACTIVE_TAB_BG_START=43,44,45
+org.eclipse.ui.workbench.ACTIVE_TAB_TEXT_COLOR=221,221,221
+org.eclipse.ui.workbench.INACTIVE_TAB_BG_END=49,53,56
+org.eclipse.ui.workbench.INACTIVE_TAB_BG_START=59,64,66
+org.eclipse.ui.workbench.INACTIVE_TAB_TEXT_COLOR=187,187,187

.metadata/.plugins/org.eclipse.debug.core/.launches/Main.launch

@@ -1,11 +1,16 @@
 <?xml version="1.0" encoding="UTF-8" standalone="no"?>
 <launchConfiguration type="org.eclipse.jdt.launching.localJavaApplication">
-<listAttribute key="org.eclipse.debug.core.MAPPED_RESOURCE_PATHS">
-<listEntry value="/Laalys/src/Main.java"/>
-</listAttribute>
-<listAttribute key="org.eclipse.debug.core.MAPPED_RESOURCE_TYPES">
-<listEntry value="1"/>
-</listAttribute>
-<stringAttribute key="org.eclipse.jdt.launching.MAIN_TYPE" value="Main"/>
-<stringAttribute key="org.eclipse.jdt.launching.PROJECT_ATTR" value="Laalys"/>
+    <booleanAttribute key="org.eclipse.debug.core.ATTR_FORCE_SYSTEM_CONSOLE_ENCODING" value="false"/>
+    <listAttribute key="org.eclipse.debug.core.MAPPED_RESOURCE_PATHS">
+        <listEntry value="/Laalys/src/Main.java"/>
+    </listAttribute>
+    <listAttribute key="org.eclipse.debug.core.MAPPED_RESOURCE_TYPES">
+        <listEntry value="1"/>
+    </listAttribute>
+    <booleanAttribute key="org.eclipse.jdt.launching.ATTR_ATTR_USE_ARGFILE" value="false"/>
+    <booleanAttribute key="org.eclipse.jdt.launching.ATTR_SHOW_CODEDETAILS_IN_EXCEPTION_MESSAGES" value="true"/>
+    <booleanAttribute key="org.eclipse.jdt.launching.ATTR_USE_CLASSPATH_ONLY_JAR" value="false"/>
+    <stringAttribute key="org.eclipse.jdt.launching.MAIN_TYPE" value="Main"/>
+    <stringAttribute key="org.eclipse.jdt.launching.MODULE_NAME" value="Laalys"/>
+    <stringAttribute key="org.eclipse.jdt.launching.PROJECT_ATTR" value="Laalys"/>
 </launchConfiguration>