Overview
| Comment: | Added csex rep |
|---|---|
| Downloads: | Tarball | ZIP archive | SQL archive |
| Timelines: | family | ancestors | descendants | both | origin/master | trunk |
| Files: | files | file ages | folders |
| SHA3-256: |
94b92b40c3ca8baed1896bd6656bfab5 |
| User & Date: | gawthrop@users.sourceforge.net on 2000-10-11 08:59:15 |
| Other Links: | branch diff | manifest | tags |
Context
|
2000-10-11
| ||
| 09:06:17 | New csex rep (uses scope optimisation) check-in: a95f9980a7 user: gawthrop@users.sourceforge.net tags: origin/master, trunk | |
| 08:59:15 | Added csex rep check-in: 94b92b40c3 user: gawthrop@users.sourceforge.net tags: origin/master, trunk | |
| 08:52:46 | Creates csex (cse with dxe only) rep. check-in: b0fa64f3c6 user: gawthrop@users.sourceforge.net tags: origin/master, trunk | |
Changes
Modified mttroot/mtt/bin/trans/mtt_header from [1c8b860930] to [cb6b2f3e69].
| ︙ | |||
8 9 10 11 12 13 14 15 16 17 18 19 20 21 | 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 | + + + | # Copyright (C) 2000 by Peter J. Gawthrop ############################################################### ## Version control history ############################################################### ## $Id$ ## $Log$ ## Revision 1.2 2000/10/11 08:01:42 peterg ## Added noglobal fudge ## ## Revision 1.1 2000/10/10 21:02:27 peterg ## Initial revision ## ############################################################### # Arguments system=$1 |
| ︙ | |||
32 33 34 35 36 37 38 39 40 41 42 43 44 45 | 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 | + + + + |
Ny=`mtt_getsize $system y` # Outputs
Nyz=`mtt_getsize $system yz` # Zero outputs
Npar=`wc -l $system\_sympar.txt | awk '{print $1}'`
# Representation-specific stuff
case $rep in
cse)
states=yes;
inputs=yes;
;;
csex)
states=yes;
inputs=yes;
;;
cseo)
states=yes;
inputs=yes;
;;
|
| ︙ |