- java.lang.Object
-
- fr.inria.mochy.core.RPN.RegulNet
-
public class RegulNet extends Object
Model to link a timetable and a net place are linked to events with tableEvent.addPlaceName(placeNumber); table event are linked to transitions with transition.addLinkedEvent(tableEvent); transition are linked to table event with te.addTransName(transitionNumber);
-
-
Constructor Summary
Constructors Constructor Description RegulNet(TimeTable t, PhysicalModel n)
Constructor for an Regulated Petri Net
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description void
buildCorrespondance()
--unused-- Creates the correspondance/link between the timetable events and the places and transitions of the physical modelString
drop()
PhysicalModel
getNet()
TimeTable
getTable()
String
handleLineCorr(String lineString, int lineNb)
load a line from the input fileString
LoadCorrespondance(String fname)
load the correspondance file, call handleLineCorr method for each each linevoid
setNet(PhysicalModel n)
void
setTable(TimeTable tt)
-
-
-
Constructor Detail
-
RegulNet
public RegulNet(TimeTable t, PhysicalModel n)
Constructor for an Regulated Petri Net- Parameters:
t
- the timetablen
- the physical model
-
-
Method Detail
-
buildCorrespondance
public void buildCorrespondance()
--unused-- Creates the correspondance/link between the timetable events and the places and transitions of the physical model
-
LoadCorrespondance
public String LoadCorrespondance(String fname)
load the correspondance file, call handleLineCorr method for each each line- Parameters:
fname
- the name of the file containing a correspondance table
-
handleLineCorr
public String handleLineCorr(String lineString, int lineNb)
load a line from the input file- Parameters:
lineString
- a line of the input filelineNb
- the number of the line in the input file
-
getNet
public PhysicalModel getNet()
-
getTable
public TimeTable getTable()
-
setNet
public void setNet(PhysicalModel n)
-
setTable
public void setTable(TimeTable tt)
-
drop
public String drop()
-
-