Module fr.inria.MochyCore

Package fr.inria.mochy.core.mochysim

Class Sim

java.lang.Object

fr.inria.mochy.core.mochysim.Sim

public class Sim
extends Object

The Sim class allow to control the Net model

Constructor Summary

Constructors

Constructor	Description
Sim(int nb, String fname, String pathLogs, boolean enableLogs, String classModel)

Method Summary

Modifier and Type	Method	Description
ArrayList<Dom>	discreteStep()
ArrayList<Dom>	displayFeedback()
ArrayList<Dom>	fireTransition(int tnum)	fire a specific transition after the user clicked twice on it
String	getFname()
PhysicalModel	getN()
String	getPathLogs()
String	getPathRoot()
boolean	isEnableLogs()
ArrayList<Dom>	main(int steps)
ArrayList<Dom>	move()
ArrayList<Dom>	oneStep()
void	reset()
void	setEnableLogs(boolean enableLogs)
void	setMethods(ArrayList<javafx.util.Pair<Method,String>> methods)

Methods inherited from class java.lang.Object

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

Constructor Detail

Sim

public Sim(int nb,
           String fname,
           String pathLogs,
           boolean enableLogs,
           String classModel)
    throws FileNotFoundException,
           ClassNotFoundException,
           NoSuchMethodException

Throws:

FileNotFoundException

ClassNotFoundException

NoSuchMethodException

Method Detail

move

public ArrayList<Dom> move()

oneStep

public ArrayList<Dom> oneStep()

main

public ArrayList<Dom> main(int steps)

fireTransition

public ArrayList<Dom> fireTransition(int tnum)

fire a specific transition after the user clicked twice on it

discreteStep

public ArrayList<Dom> discreteStep()

Returns:

the state of the net make a discreteMove if there are some firable transitions

displayFeedback

public ArrayList<Dom> displayFeedback()

Returns:

the list of transition and places to be displayed in the user interface

getN

public PhysicalModel getN()

reset

public void reset()

getPathLogs

public String getPathLogs()

getFname

public String getFname()

setEnableLogs

public void setEnableLogs(boolean enableLogs)

isEnableLogs

public boolean isEnableLogs()

getPathRoot

public String getPathRoot()

setMethods

public void setMethods(ArrayList<javafx.util.Pair<Method,String>> methods)