Skip to content

Latest commit

 

History

History

examples

Copyright (c)1996, 1997, 1998 The Regents of the University of
California (Regents). All Rights Reserved. 

Permission to use, copy, modify, and distribute this software and its
documentation for educational, research, and not-for-profit purposes,
without fee and without a signed licensing agreement, is hereby
granted, provided that the above copyright notice, this paragraph and
the following two paragraphs appear in all copies, modifications, and
distributions. 

Contact The Office of Technology Licensing, UC Berkeley, 2150 Shattuck
Avenue, Suite 510, Berkeley, CA 94720-1620, (510) 643-7201, for
commercial licensing opportunities. 

IN NO EVENT SHALL REGENTS BE LIABLE TO ANY PARTY FOR DIRECT, INDIRECT,
SPECIAL, INCIDENTAL, OR CONSEQUENTIAL DAMAGES, INCLUDING LOST PROFITS,
ARISING OUT OF THE USE OF THIS SOFTWARE AND ITS DOCUMENTATION, EVEN IF
REGENTS HAS BEEN ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. 
  
REGENTS SPECIFICALLY DISCLAIMS ANY WARRANTIES, INCLUDING, BUT NOT
LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR
A PARTICULAR PURPOSE. THE SOFTWARE AND ACCOMPANYING DOCUMENTATION, IF
ANY, PROVIDED HEREUNDER IS PROVIDED "AS IS". REGENTS HAS NO OBLIGATION
TO PROVIDE MAINTENANCE, SUPPORT, UPDATES, ENHANCEMENTS, OR
MODIFICATIONS. 


Alphabetical listing and a brief description of example programs.

bounce.hs	Bouncing balls (or pool table) example. Shows how
		discrete states and flow equations can be used to
		describe the behavior of components
cfunction.hs    Gives an example of linking in c functions
		This program must be linked with cfun.o.
linklist.hs	Gives an example of how to construct link lists
ljoin.hs	Three vehicles that communicate and form a platoon.
		Example contains fairly complex synchronization
		sequences and reset actions. It is documented in the
		file ljoin.doc.
manySprings.hs  Oscillating Springs
		Example of synchronizing with all elements of a set
manySprings2.hs Similar to manySprings.hs.
		Example of synchronizing with one element of a set
manySprings3.hs A specification that results in no transitions.
		Illustrates how NOT to use set synchronization
mutex.hs	Another example of synchronizing with one element of a set.
		Implement mutual exclusion.
particle.hs	Midsize example that illustrates several features.
		Example is discussed in the paper.
precedence.hs	Example that discusses precedence rules for 
		initializing variables at instantiation.
setupprec.hs    Example that illustrates precedence rules in setup
		actions.
tank_monit.hs	Examples of i/o connection and synchronization of
		independent components
rccircuit.hs	Simple rc-circuit. Examples of differential and
		algebraic variables and component creation.