Skip to content
Snippets Groups Projects
Commit f4aaf63c authored by “Khaoula's avatar “Khaoula
Browse files
parents a4530e84 d238a61a
No related branches found
No related tags found
No related merge requests found
# Default ignored files
/shelf/
/workspace.xml
# Editor-based HTTP Client requests
/httpRequests/
# Datasource local storage ignored files
/dataSources/
/dataSources.local.xml
<component name="ProjectCodeStyleConfiguration">
<code_scheme name="Project" version="173">
<ScalaCodeStyleSettings>
<option name="MULTILINE_STRING_CLOSING_QUOTES_ON_NEW_LINE" value="true" />
</ScalaCodeStyleSettings>
</code_scheme>
</component>
\ No newline at end of file
<component name="ProjectCodeStyleConfiguration">
<state>
<option name="PREFERRED_PROJECT_CODE_STYLE" value="Default" />
</state>
</component>
\ No newline at end of file
<?xml version="1.0" encoding="UTF-8"?>
<project version="4">
<component name="CompilerConfiguration">
<annotationProcessing>
<profile name="Maven default annotation processors profile" enabled="true">
<sourceOutputDir name="target/generated-sources/annotations" />
<sourceTestOutputDir name="target/generated-test-sources/test-annotations" />
<outputRelativeToContentRoot value="true" />
<module name="mapd_file_rouge" />
</profile>
</annotationProcessing>
</component>
</project>
\ No newline at end of file
<?xml version="1.0" encoding="UTF-8"?>
<project version="4">
<component name="Encoding">
<file url="file://$PROJECT_DIR$/src/main/java" charset="UTF-8" />
<file url="file://$PROJECT_DIR$/src/main/resources" charset="UTF-8" />
</component>
</project>
\ No newline at end of file
<?xml version="1.0" encoding="UTF-8"?>
<project version="4">
<component name="RemoteRepositoriesConfiguration">
<remote-repository>
<option name="id" value="central" />
<option name="name" value="Central Repository" />
<option name="url" value="https://repo.maven.apache.org/maven2" />
</remote-repository>
<remote-repository>
<option name="id" value="central" />
<option name="name" value="Maven Central repository" />
<option name="url" value="https://repo1.maven.org/maven2" />
</remote-repository>
<remote-repository>
<option name="id" value="jboss.community" />
<option name="name" value="JBoss Community repository" />
<option name="url" value="https://repository.jboss.org/nexus/content/repositories/public/" />
</remote-repository>
</component>
</project>
\ No newline at end of file
<?xml version="1.0" encoding="UTF-8"?>
<project version="4">
<component name="ExternalStorageConfigurationManager" enabled="true" />
<component name="MavenProjectsManager">
<option name="originalFiles">
<list>
<option value="$PROJECT_DIR$/pom.xml" />
</list>
</option>
</component>
<component name="PDMPlugin">
<option name="skipTestSources" value="false" />
</component>
<component name="ProjectRootManager" version="2" languageLevel="JDK_21" default="true" project-jdk-name="openjdk-21" project-jdk-type="JavaSDK" />
</project>
\ No newline at end of file
<?xml version="1.0" encoding="UTF-8"?>
<project version="4">
<component name="VcsDirectoryMappings">
<mapping directory="" vcs="Git" />
</component>
</project>
\ No newline at end of file
package org.petriNet;
public class Arc {
protected int poid; // weight
protected int id;
public Arc(int poid,int id) {
this.poid = poid;
this.id = id;
}
public void modifier_poid(int nouveauPoid) {
this.poid = nouveauPoid;
}
// Validation method (abstract in derived classes)
public boolean valider() {
// Implement validation logic if needed
return true;
}
public int getPoid() {
return poid;
}
public void setPoid(int poid) {
this.poid = poid;
}
}
}
package org.petriNet;
public class Place {
private int id;
private int nombre_jeton;
public Place(int id, int nombre_jeton) {
this.id = id;
this.nombre_jeton = nombre_jeton;
}
public void ajouter_jeton() {
this.nombre_jeton++;
}
public void enlever_jeton() {
if (this.nombre_jeton > 0) {
this.nombre_jeton--;
} else {
System.out.println("No more tokens to remove.");
}
}
public int get_nombre_jetons() {
return this.nombre_jeton;
}
public int getId() {
return id;
}
public void setId(int id) {
this.id = id;
}
public void setNombre_jeton(int nombre_jeton) {
this.nombre_jeton = nombre_jeton;
}
}
package org.petriNet;
public class Transition {
private int id;
public Transition(int id) {
this.id = id;
}
public void est_tirable() {
}
public void tirer(){
}
}
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment