examples
Folders and files
Name | Name | Last commit date | ||
---|---|---|---|---|
parent directory.. | ||||
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.