Module fr.inria.MochyCore

Package fr.inria.mochy.core.dom

Class TransitionDom

java.lang.Object

fr.inria.mochy.core.dom.TransitionDom

public class TransitionDom
extends Object

Used to contain informations of a Transition object and display it to the user interface.

Constructor Summary

Constructors

Constructor	Description
TransitionDom()
TransitionDom(String name, String pre, String post, String distribution, Float min, Float max, String clock)

Method Summary

Modifier and Type	Method	Description
boolean	control()
javafx.beans.property.BooleanProperty	gaussianProperty()
String	getClock()
String	getDistribution()
Float	getLowerBound()
String	getMax()
String	getMin()
String	getName()
String	getNumber()
String	getPost()
String	getPre()
String	getSampler()
Float	getUpperBound()
int	getWeibullCoef()
boolean	isGaussian()
boolean	isWeibull()
void	setClock(String clock)
void	setControl(boolean value)
void	setDistribution(String distribution)
void	setGaussian(boolean value)
void	setLowerBound(Float lowerBound)
void	setMax(String max)
void	setMin(String min)
void	setName(String name)
void	setNumber(String number)
void	setPost(String post)
void	setPre(String pre)
void	setSampler(String sampler)
void	setUpperBound(Float upperBound)
void	setWeibull(boolean value)
void	setWeibullCoef(Number number)
javafx.beans.property.BooleanProperty	weibullProperty()

Methods inherited from class java.lang.Object

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

Constructor Detail

TransitionDom

public TransitionDom(String name,
                     String pre,
                     String post,
                     String distribution,
                     Float min,
                     Float max,
                     String clock)

TransitionDom

public TransitionDom()

Method Detail

getName

public String getName()

setName

public void setName(String name)

getDistribution

public String getDistribution()

setDistribution

public void setDistribution(String distribution)

getPre

public String getPre()

setPre

public void setPre(String pre)

getPost

public String getPost()

setPost

public void setPost(String post)

getLowerBound

public Float getLowerBound()

setLowerBound

public void setLowerBound(Float lowerBound)

getUpperBound

public Float getUpperBound()

setUpperBound

public void setUpperBound(Float upperBound)

getClock

public String getClock()

setClock

public void setClock(String clock)

getMin

public String getMin()

setMin

public void setMin(String min)

getMax

public String getMax()

setMax

public void setMax(String max)

getNumber

public String getNumber()

setNumber

public void setNumber(String number)

getSampler

public String getSampler()

setSampler

public void setSampler(String sampler)

gaussianProperty

public javafx.beans.property.BooleanProperty gaussianProperty()

isGaussian

public boolean isGaussian()

setGaussian

public void setGaussian(boolean value)

weibullProperty

public javafx.beans.property.BooleanProperty weibullProperty()

isWeibull

public boolean isWeibull()

setWeibull

public void setWeibull(boolean value)

getWeibullCoef

public int getWeibullCoef()

setWeibullCoef

public void setWeibullCoef(Number number)

control

public boolean control()

setControl

public void setControl(boolean value)