Module fr.inria.MochyCore

Package fr.inria.mochy.core.dom

Class Dom

java.lang.Object

fr.inria.mochy.core.dom.Dom

public class Dom
extends Object

Object used to contain a transition or a place depending of the type "t" or "p". Used to send the feedback of the state of the net to the user interface

Constructor Summary

Constructors

Constructor	Description
Dom(String name, String pre, String post, String content, String type, Float min, Float max, String clock)

Method Summary

Modifier and Type	Method	Description
String	getClock()	get a transition'clock value
String	getContent()	get the place content
Boolean	getControl()	true if the place is a control place
Float	getLowerBound()	get the lowerbound of the transitions'clock
String	getName()	return the name
String	getNumber()	get the id number
String	getPost()	the next places names of the transitions separated by ,
String	getPre()	get the previous places names of transitions separated by ,
String	getSampler()	get the distribution probability law of a transition
ArrayList<Token>	getTokens()	get the list of the place'tokens in equalization.EquNet
ArrayList<Trajectory>	getTrajectories()	get the list of the trajectories in the place in trajectory.TrajectoryNet
String	getType()	get the type of the Dom : p for place, t for transition
Float	getUpperBound()	get the upperbound of the transitions'clock
void	setClock(String clock)	set a transition'clock value
void	setContent(String content)	set the content of the places
void	setControl(Boolean control)	set the control value to true or false depending of if the place is a control place
void	setLowerBound(Float lowerBound)	set the lowerbound of the transitions'clock
void	setName(String name)	set the name
void	setNumber(String number)	set the id number
void	setPost(String post)	set the next places names of the transitions separated by ,
void	setPre(String pre)	set the previous places names of transitions separated by ,
void	setSampler(String sampler)	set the distribution probability law of a transition
void	setTokens(ArrayList<Token> tokens)	set the list of the place'tokens in equalization.EquNet
void	setTrajectories(ArrayList<Trajectory> trajectories)	set the list of the trajectories in the place in trajectory.TrajectoryNet
void	setType(String type)	set the type of the Dom : p for place, t for transition
void	setUpperBound(Float upperBound)	set the upperbound of the transitions'clock

Methods inherited from class java.lang.Object

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

Constructor Detail

Dom

public Dom(String name,
           String pre,
           String post,
           String content,
           String type,
           Float min,
           Float max,
           String clock)

Method Detail

getName

public String getName()

return the name

setName

public void setName(String name)

set the name

getContent

public String getContent()

get the place content

getPre

public String getPre()

get the previous places names of transitions separated by ,

setPre

public void setPre(String pre)

set the previous places names of transitions separated by ,

getPost

public String getPost()

the next places names of the transitions separated by ,

setPost

public void setPost(String post)

set the next places names of the transitions separated by ,

getType

public String getType()

get the type of the Dom : p for place, t for transition

setType

public void setType(String type)

set the type of the Dom : p for place, t for transition

setContent

public void setContent(String content)

set the content of the places

getLowerBound

public Float getLowerBound()

get the lowerbound of the transitions'clock

setLowerBound

public void setLowerBound(Float lowerBound)

set the lowerbound of the transitions'clock

getUpperBound

public Float getUpperBound()

get the upperbound of the transitions'clock

setUpperBound

public void setUpperBound(Float upperBound)

set the upperbound of the transitions'clock

getClock

public String getClock()

get a transition'clock value

setClock

public void setClock(String clock)

set a transition'clock value

getNumber

public String getNumber()

get the id number

setNumber

public void setNumber(String number)

set the id number

getSampler

public String getSampler()

get the distribution probability law of a transition

setSampler

public void setSampler(String sampler)

set the distribution probability law of a transition

getControl

public Boolean getControl()

true if the place is a control place

setControl

public void setControl(Boolean control)

set the control value to true or false depending of if the place is a control place

getTrajectories

public ArrayList<Trajectory> getTrajectories()

get the list of the trajectories in the place in trajectory.TrajectoryNet

setTrajectories

public void setTrajectories(ArrayList<Trajectory> trajectories)

set the list of the trajectories in the place in trajectory.TrajectoryNet

getTokens

public ArrayList<Token> getTokens()

get the list of the place'tokens in equalization.EquNet

setTokens

public void setTokens(ArrayList<Token> tokens)

set the list of the place'tokens in equalization.EquNet