|
||||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||
| Packages that use Tag | |
|---|---|
| demos.semantic_adaptation | |
| modhelxs.abstractsemantics | |
| modhelxs.state_management | |
| tesl | |
| Uses of Tag in demos.semantic_adaptation |
|---|
| Methods in demos.semantic_adaptation that return Tag | |
|---|---|
Tag<java.lang.Double> |
DE_TFSM_InterfaceBlock.getTimeOfRequest()
|
| Uses of Tag in modhelxs.abstractsemantics |
|---|
| Methods in modhelxs.abstractsemantics that return Tag | |
|---|---|
Tag<? extends java.lang.Comparable<?>> |
Block.getTimeOfRequest()
Get the time tag at which the block has requested to be observed. |
| Uses of Tag in modhelxs.state_management |
|---|
| Methods in modhelxs.state_management that return Tag | |
|---|---|
Tag<T> |
TimedManagedInterfaceBlock.getTimeOfRequest()
|
Tag<T> |
TimedManagedBlock.getTimeOfRequest()
|
| Uses of Tag in tesl |
|---|
| Fields in tesl with type parameters of type Tag | |
|---|---|
private java.util.Map<Tick<T>,Tag<T>> |
Clock.tags_
|
java.util.Map<Tick<T>,Tag<T>> |
Clock.ClockBackup.tags_backup_
|
| Methods in tesl that return Tag | ||
|---|---|---|
Tag<T> |
Tag.copy()
|
|
Tag<T> |
Tick.getTag()
|
|
Tag<T> |
Clock.getTag(Tick<T> tick)
|
|
private static
|
ClockSet.processConversion(TagRelation<U,V> rel,
Tag<?> tag)
|
|
private static
|
ClockSet.processRevConversion(TagRelation<U,V> rel,
Tag<?> tag)
|
|
| Methods in tesl that return types with arguments of type Tag | |
|---|---|
private java.util.Map<Clock<? extends java.lang.Comparable<?>>,Tag<? extends java.lang.Comparable<?>>> |
ClockSet.tagClosure(Clock<? extends java.lang.Comparable<?>> clock,
Tag<? extends java.lang.Comparable<?>> tag)
|
| Methods in tesl with parameters of type Tag | ||
|---|---|---|
private static
|
ClockSet.compareTags(Tag<T> t1,
Tag<U> t2)
|
|
private static
|
ClockSet.compareTags(Tag<T> t1,
Tag<U> t2)
|
|
int |
Tag.compareTo(Tag<T> tag)
|
|
Tick<T> |
Clock.getTick(Tag<T> tag)
|
|
private static
|
ClockSet.getTickWithTag(Clock<T> clk,
Tag<? extends java.lang.Comparable<?>> tag)
|
|
private static
|
ClockSet.processConversion(TagRelation<U,V> rel,
Tag<?> tag)
|
|
private static
|
ClockSet.processRevConversion(TagRelation<U,V> rel,
Tag<?> tag)
|
|
Tick<T> |
Tick.setTag(Tag<T> tag)
|
|
private static
|
ClockSet.setTag(Tick<T> tick,
Tag<? extends java.lang.Comparable<?>> tag)
|
|
Tick<T> |
Clock.setTag(Tick<T> tick,
Tag<T> tag)
|
|
private java.util.Map<Clock<? extends java.lang.Comparable<?>>,Tag<? extends java.lang.Comparable<?>>> |
ClockSet.tagClosure(Clock<? extends java.lang.Comparable<?>> clock,
Tag<? extends java.lang.Comparable<?>> tag)
|
|
| Constructors in tesl with parameters of type Tag | |
|---|---|
Tick(Clock<T> clock,
Tag<T> tag)
|
|
|
||||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||