Package org.oristool.models.stpn.trees

Class EnablingSyncsFeature

java.lang.Object

org.oristool.models.stpn.trees.EnablingSyncsFeature

All Implemented Interfaces:

StateFeature, Feature

public final class EnablingSyncsFeature
extends Object
implements StateFeature

State feature encoding synchronizations between enabled timers.

Field Summary

Fields

Modifier and Type	Field	Description
final Map<Variable,Map<Variable,BigDecimal>>	enablingSyncs

Constructor Summary

Constructors

Constructor	Description
EnablingSyncsFeature()
EnablingSyncsFeature(EnablingSyncsFeature other)	Builds a deep copy of another instance.

Method Summary

Modifier and Type	Method	Description
Set<Variable>	dets()	Returns the set of (initially) deterministic variables.
boolean	equals(Object obj)
BigDecimal	get(Variable det, Variable gen)	Returns the enabling delay of a deterministic variable with respect to a general one.
int	hashCode()
void	remove(Variable t)	Discards all synchronization information about a variable.
void	set(Variable det, Variable gen, BigDecimal enablingTime)	Returns the enabling delay of a determinstic variable with respect to a general one.
String	toString()

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Field Details

enablingSyncs

public final Map<Variable,Map<Variable,BigDecimal>> enablingSyncs

Constructor Details

EnablingSyncsFeature

public EnablingSyncsFeature()

EnablingSyncsFeature

public EnablingSyncsFeature(EnablingSyncsFeature other)

Builds a deep copy of another instance.

Parameters:

other - input instance

Method Details

remove

public void remove(Variable t)

Discards all synchronization information about a variable.

Parameters:

t - variable to be removed

dets

public Set<Variable> dets()

Returns the set of (initially) deterministic variables.

Returns:

set of deterministic variables

get

public BigDecimal get(Variable det,
 Variable gen)

Returns the enabling delay of a deterministic variable with respect to a general one.

Parameters:

det - deterministic variable

gen - general variable

Returns:

enabling delay

set

public void set(Variable det,
 Variable gen,
 BigDecimal enablingTime)

Returns the enabling delay of a determinstic variable with respect to a general one.

Parameters:

det - deterministic variable

gen - general variable

enablingTime - delay

equals

public boolean equals(Object obj)

Overrides:

equals in class Object

hashCode

public int hashCode()

Overrides:

hashCode in class Object

toString

public String toString()

Overrides:

toString in class Object