public class PN2Surf
extends java.lang.Object
Constructor and Description |
---|
PN2Surf() |
Modifier and Type | Method and Description |
---|---|
static void |
buildDateSauvFiles(java.io.File date_sauv_modele,
java.io.File date_sauv_part) |
static void |
buildNetFile(PetriNet.PetriNet pn,
java.io.File Net) |
static void |
buildPartFile(java.io.File Part,
java.io.File Part_tmp,
SystemInstance si,
org.eclipse.emf.common.util.EList UpperComponentsEM) |
static java.lang.String |
buildPrintableBoolExpr(org.eclipse.emf.common.util.EList or,
SystemInstance si) |
static void |
PN2Surf2(PetriNet.PetriNet pn,
SystemInstance si,
org.eclipse.emf.common.util.EList UpperComponentsEM,
java.lang.String name) |
public static void PN2Surf2(PetriNet.PetriNet pn, SystemInstance si, org.eclipse.emf.common.util.EList UpperComponentsEM, java.lang.String name)
public static void buildDateSauvFiles(java.io.File date_sauv_modele, java.io.File date_sauv_part) throws java.io.IOException
java.io.IOException
public static void buildPartFile(java.io.File Part, java.io.File Part_tmp, SystemInstance si, org.eclipse.emf.common.util.EList UpperComponentsEM) throws java.io.IOException
java.io.IOException
public static void buildNetFile(PetriNet.PetriNet pn, java.io.File Net) throws java.io.IOException
java.io.IOException
public static java.lang.String buildPrintableBoolExpr(org.eclipse.emf.common.util.EList or, SystemInstance si)