Package ptolemy.actor

Interface SuperdenseTimeDirector

All Known Implementing Classes:

AbstractATCDirector, ATCDirector, ATCDirector, ContinuousDirector, DEDirector, FixedPointDirector, FMIMADirector, FSMDirector, HDFFSMDirector, HybridModalDirector, MetroIIDEDirector, MetroIIDEDirectorForPtides, MetroIIFSMDirector, MetroIIPtidesDirector, MetroIISRDirector, ModalDirector, MultirateFSMDirector, NonStrictFSMDirector, PtidesDirector, QSSDirector, QSSDirectorTest, SRDirector, SysMLSequentialDirector, TCSDirector, TDLModuleDirector, WirelessDirector

public interface SuperdenseTimeDirector

This is an interface for directors that use a superdense model of time. Actors can determine the index, also called the microstep, of current time by calling getIndex().

Superdense time is defined by Haiyang Zheng as:

"The interactions between CT and DE subsystems and between DE subsystems themselves are captured by discontinuities in continuous-time signals and simultaneous discrete events in discrete-event signals."

"In order to precisely represent them in compute execution results, a two-dimension domain, called "superdense time," is used as the domain for defining signals. This domain allows a signal to have multiple values at the same time point while keeping the values ordered."

See: Haiyang Zheng. Operational Semantics of Hybrid Systems, PhD thesis, University of California, Berkeley, May, 2007.

Since:

Ptolemy II 8.0

Version:

$Id$

Author:

Edward A. Lee

Pt.AcceptedRating:

Red (eal)

Pt.ProposedRating:

Yellow (eal)

Method Summary

Modifier and Type	Method	Description
int	getIndex()	Return a superdense time index for the current time.
void	setIndex(int index)	Set the superdense time index.

Method Detail

getIndex

int getIndex()

Return a superdense time index for the current time.

Returns:

A superdense time object.

See Also:

setIndex(int)

setIndex

void setIndex(int index)
       throws IllegalActionException

Set the superdense time index. This should only be called by an enclosing director.

Parameters:

index - The index of the superdense time object. Events that occur at the same time have different indicies.

Throws:

IllegalActionException - If the specified index is invalid.

See Also:

getIndex()