TrajTransition (MochyCore 2.0.3-SNAPSHOT API)

java.lang.Object
- fr.inria.mochy.core.abstractClass.TransitionAbstract
- - fr.inria.mochy.core.trajectory.TrajTransition

public class TrajTransition
extends TransitionAbstract

Field Summary

Fields
Modifier and Type Field Description

Float clock

Float lowerBound

String name

int number

TrajPlace post

TrajPlace pre

Float upperBound

Fields
Modifier and Type	Field	Description
`Float`	`clock`
`Float`	`lowerBound`
`String`	`name`
`int`	`number`
`TrajPlace`	`post`
`TrajPlace`	`pre`
`Float`	`upperBound`

Constructor Summary

Constructors
Constructor Description

TrajTransition(String name, int number, Float min, Float max)

Constructors
Constructor	Description
`TrajTransition(String name, int number, Float min, Float max)`

Method Summary

All Methods Instance Methods Concrete Methods
Modifier and Type	Method	Description
`void`	`addLinkedEvent(TableEvent te)`	add an event to the list of the linked events to this transition
`boolean`	`busyPostSet()`
`boolean`	`busyPostSet(Marking m)`
`boolean`	`controlAllowsFiring()`
`Float`	`getClock()`	the remaning time for a transition to be at the end (when its value is 0)
`ArrayList<BooleanPlace>`	`getControlPre()`	return the list of the previous control places immediately linked to this transition
`String`	`getDistribution()`
`ArrayList<TableEvent>`	`getLinkedEvents()`	the list of the events linked to this transition
`Float`	`getLowerBound()`	the lower bound of the interval in which the clock will start
`String`	`getMax()`	the upper bound of the interval in which the clock will start as a string
`String`	`getMin()`
`String`	`getName()`	the name of the transition
`int`	`getNumber()`	the id number of the transition
`ArrayList<TrajPlace>`	`getPost()`	return the list of the next places immediately linked to this transition
`ArrayList<TrajPlace>`	`getPre()`	return the list of the previous places immediately linked to this transition
`Float`	`getUpperBound()`	the upper bound of the interval in which the clock will start
`boolean`	`isBlocked(Marking m)`
`boolean`	`isFireable()`
`void`	`sample(Sampler s)`
`void`	`setClock(Float clock)`	set the remaning time for a transition to be at the end (when its value is 0)
`void`	`setGaussian(boolean b)`
`void`	`setLowerBound(Float lowerBound)`	set the lower bound of the interval in which the clock will start
`void`	`setPost(TrajPlace post)`
`void`	`setPre(TrajPlace pre)`
`void`	`setUpperBound(Float upperBound)`	set the upper bound of the interval in which the clock will start
`void`	`setWeibull(boolean b)`
`void`	`setWeibullCoef(int value)`
`String`	`toString()`

Methods inherited from class fr.inria.mochy.core.abstractClass.TransitionAbstract
setClock, tokensTimeToFire

Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

- Field Detail
  - name
```
public String name
```
  - number
```
public int number
```
  - pre
```
public TrajPlace pre
```
  - post
```
public TrajPlace post
```
  - lowerBound
```
public Float lowerBound
```
  - upperBound
```
public Float upperBound
```
  - clock
```
public Float clock
```
- Constructor Detail
  - TrajTransition
```
public TrajTransition(String name,
                      int number,
                      Float min,
                      Float max)
```
- Method Detail
  - busyPostSet
```
public boolean busyPostSet(Marking m)
```
  - busyPostSet
```
public boolean busyPostSet()
```
  - isBlocked
```
public boolean isBlocked(Marking m)
```
  - isFireable
```
public boolean isFireable()
```
  - sample
```
public void sample(Sampler s)
```
  - getName
```
public String getName()
```
    Description copied from class: TransitionAbstract
    
    the name of the transition
    
    Overrides:
    
    getName in class TransitionAbstract
  - getNumber
```
public int getNumber()
```
    Description copied from class: TransitionAbstract
    
    the id number of the transition
    
    Overrides:
    
    getNumber in class TransitionAbstract
  - getPre
```
public ArrayList<TrajPlace> getPre()
```
    Description copied from class: TransitionAbstract
    
    return the list of the previous places immediately linked to this transition
    
    Specified by:
    
    getPre in class TransitionAbstract
  - setPre
```
public void setPre(TrajPlace pre)
```
  - getPost
```
public ArrayList<TrajPlace> getPost()
```
    Description copied from class: TransitionAbstract
    
    return the list of the next places immediately linked to this transition
    
    Specified by:
    
    getPost in class TransitionAbstract
  - setPost
```
public void setPost(TrajPlace post)
```
  - getControlPre
```
public ArrayList<BooleanPlace> getControlPre()
```
    Description copied from class: TransitionAbstract
    
    return the list of the previous control places immediately linked to this transition
    
    Specified by:
    
    getControlPre in class TransitionAbstract
  - getClock
```
public Float getClock()
```
    Description copied from class: TransitionAbstract
    
    the remaning time for a transition to be at the end (when its value is 0)
    
    Overrides:
    
    getClock in class TransitionAbstract
  - toString
```
public String toString()
```
    Overrides:
    
    toString in class Object
  - getDistribution
```
public String getDistribution()
```
  - getMin
```
public String getMin()
```
  - getMax
```
public String getMax()
```
    Description copied from class: TransitionAbstract
    
    the upper bound of the interval in which the clock will start as a string
    
    Overrides:
    
    getMax in class TransitionAbstract
  - getLinkedEvents
```
public ArrayList<TableEvent> getLinkedEvents()
```
    Description copied from class: TransitionAbstract
    
    the list of the events linked to this transition
    
    Overrides:
    
    getLinkedEvents in class TransitionAbstract
  - addLinkedEvent
```
public void addLinkedEvent(TableEvent te)
```
    Description copied from class: TransitionAbstract
    
    add an event to the list of the linked events to this transition
    
    Overrides:
    
    addLinkedEvent in class TransitionAbstract
  - getLowerBound
```
public Float getLowerBound()
```
    Description copied from class: TransitionAbstract
    
    the lower bound of the interval in which the clock will start
    
    Overrides:
    
    getLowerBound in class TransitionAbstract
  - setLowerBound
```
public void setLowerBound(Float lowerBound)
```
    Description copied from class: TransitionAbstract
    
    set the lower bound of the interval in which the clock will start
    
    Overrides:
    
    setLowerBound in class TransitionAbstract
  - getUpperBound
```
public Float getUpperBound()
```
    Description copied from class: TransitionAbstract
    
    the upper bound of the interval in which the clock will start
    
    Overrides:
    
    getUpperBound in class TransitionAbstract
  - setUpperBound
```
public void setUpperBound(Float upperBound)
```
    Description copied from class: TransitionAbstract
    
    set the upper bound of the interval in which the clock will start
    
    Overrides:
    
    setUpperBound in class TransitionAbstract
  - setClock
```
public void setClock(Float clock)
```
    Description copied from class: TransitionAbstract
    
    set the remaning time for a transition to be at the end (when its value is 0)
    
    Overrides:
    
    setClock in class TransitionAbstract
  - controlAllowsFiring
```
public boolean controlAllowsFiring()
```
  - setGaussian
```
public void setGaussian(boolean b)
```
  - setWeibull
```
public void setWeibull(boolean b)
```
  - setWeibullCoef
```
public void setWeibullCoef(int value)
```

Class TrajTransition

Field Summary

Constructor Summary

Method Summary

Methods inherited from class fr.inria.mochy.core.abstractClass.TransitionAbstract

Methods inherited from class java.lang.Object

Field Detail

name

number

pre

post

lowerBound

upperBound

clock

Constructor Detail

TrajTransition

Method Detail

busyPostSet

busyPostSet

isBlocked

isFireable

sample

getName

getNumber

getPre

setPre

getPost

setPost

getControlPre

getClock

toString

getDistribution

getMin

getMax

getLinkedEvents

addLinkedEvent

getLowerBound

setLowerBound

getUpperBound

setUpperBound

setClock

controlAllowsFiring

setGaussian

setWeibull

setWeibullCoef