Uses of Class
triveni.Activity

Packages that use Activity

triveni	This package contains all the classes for building systems in Triveni, a component framework for concurrent programming with threads and events.
triveni.demo	This package contains common classes used in the Triveni demos.
triveni.demo.counter	This package demonstrates how bounded counters, control buttons, and clocks can be composed.
triveni.demo.microwave	This package provides a microwave applet demo.

Uses of Activity in triveni

Subclasses of Activity in triveni

class	Assertion An item-selectable activity wrapper around a temporal logic assertion.
class	ThreadActivity An abstraction of thread-based activities, that is, activities with autonomously evolving behavior.

Constructors in triveni with parameters of type Activity

Act.Act(Activity activity)
Builds an Expr from an Activity.

Uses of Activity in triveni.demo

Subclasses of Activity in triveni.demo

class

Clock A continuous one-tick-per-second activity.

Uses of Activity in triveni.demo.counter

Subclasses of Activity in triveni.demo.counter

class	Counter A bounded counter implemented as an activity.
class	ManualClock A manual clock that ticks each time a button is pressed.

Uses of Activity in triveni.demo.microwave

Subclasses of Activity in triveni.demo.microwave

class

ControlPanel The control panel consists of buttons for setting the time, for starting and stopping the device, for setting timer-only mode, and for changing the power setting.