Module fr.inria.MochyCore

Package fr.inria.mochy.core.RPN

Class RPNConfig

java.lang.Object

fr.inria.mochy.core.RPN.RPNConfig

public class RPNConfig
extends Object

Used to control the RegulNet model : the link between a timetable and a net

Constructor Summary

Constructors

Constructor	Description
RPNConfig(PhysicalModel rp, TTConfig ttc, String pathLogs, boolean enableLogs)

Method Summary

Modifier and Type	Method	Description
float	advanceTime(float duration)	Advance time for the net and the timetable by some duration val
void	advanceVerifiedTime(float duration)	Progress time for a duration that is guaranteed to contain no discrete event .
Boolean	fillPlace(TableEvent te)
String	fireTransition(Transition t)	Rule to fire a transition and jointly a table event transition t is supposed firable
float	getCurrentTime()
RegulNet	getNetAndTT()
String	getPathLogs()
void	manageDelays()	add the delays to specific transition(s) at a specific time as indicated in the scenario menu
float	maxTimedMove()
void	reset()
void	resetDelays()
void	setCurrentTime(float currentTime)
void	setDelays(ArrayList<Delay> delays)
String	showMaxTimedMove()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

RPNConfig

public RPNConfig(PhysicalModel rp,
                 TTConfig ttc,
                 String pathLogs,
                 boolean enableLogs)

Method Detail

fireTransition

public String fireTransition(Transition t)

Rule to fire a transition and jointly a table event transition t is supposed firable

Parameters:

t -

Returns:

the infos about the discreteMove of the net

fillPlace

public Boolean fillPlace(TableEvent te)

Parameters:

te - the (minimal event in the table that has reached its date

Returns:

true if eveything worked

advanceTime

public float advanceTime(float duration)

Advance time for the net and the timetable by some duration val

Parameters:

val - : the considered duration

Returns:

: true if val is a legal time move, false otherwise

advanceVerifiedTime

public void advanceVerifiedTime(float duration)

Progress time for a duration that is guaranteed to contain no discrete event .

Parameters:

duration -

maxTimedMove

public float maxTimedMove()

showMaxTimedMove

public String showMaxTimedMove()

manageDelays

public void manageDelays()

add the delays to specific transition(s) at a specific time as indicated in the scenario menu

setDelays

public void setDelays(ArrayList<Delay> delays)

resetDelays

public void resetDelays()

getCurrentTime

public float getCurrentTime()

setCurrentTime

public void setCurrentTime(float currentTime)

reset

public void reset()

getNetAndTT

public RegulNet getNetAndTT()

getPathLogs

public String getPathLogs()