/******* Machines on which synergy can run **********/

nitro/tnt/ansel/.weh.andrew.cmu.edu
unix9.andrew...


/********** COMMAND LINE *********************/
Enter label to lookup( 
'q' quits, 
"adv_t" advances time, 
"flag" constraints, 
"typeof", 
"lconstr" list constraints,
"unit",
"cline" command line, 
"verbose|substitute|as_parsed" 'y'|'n',
"print  <pattern>",
"freeze <label> 'y'|'n'",
"dormant" <label> 'y'|'n' )


/*********FUNCTION LIST ****************/
				     "^", "%", "/", "\\", "*", "-", "+", "!",
				     "==", "!=", "<", ">", "<=", ">=",
				     "&&", "||", "=",
				     "sum", "product", "dot", "not", "mag", 
				     "if", "sin", "cos", "tan", "asin", "acos",
				     "atan", "atan2", "hypot", "min", "max",
				     "mean", "gdistrib", "gvec", "count", 
				     "poly", "rms",
				     "exp", "expm1", "log", "log1p", "log10",
				     "pow", "sqrt", "cbrt",
				     "get_min", "get_max", "get_mean",
				     "get_stddev", "sample" };



/* PARSING GRAMMAR
   parse_block  <- <component> [<parse_block>]
                 | <element> [<parse_block>]
		 | <global_def> [<parse_block>]
		 | <clock> [<parse_block>]
   
   label        <- <alphabet_character>|'_' [<label2>]
   label2       <- <alphanumeric_character>|'_' [<label2>]

   component    <- 'component' <label> '{' 
                   [[( 'inherited' | 'local' )] <user_type>]
[<parse_block>] '}'

		// constraints must be of type bool.  
		// transparent means that sets should exlude this element
   element      <- ['transparent'] [<dtag>|<symbolic_type>]
                   [['element'|'constraint'] <label>['('<args>')']'=']
		   <function>|'<nil>'[':'<data>][','<e_clocks>]';'	  
   dtag         <- 'bool' | 'int' | 'matrix' | 'real' | 'triple' | vector'

   args         <- [<dtag>] <label> ['=' <function>][',' <args>]

                //         main clock  secondary clocks
   e_clocks     <- 'clock' <label>[',' <label_list>]

   function     <- <arg> [<op_tag> <function>]
   arg          <- '('<function')'
                 | '('<dtag>')'<arg>
		 | <unary_op> <arg>
                 | <data>
                 | <data path>
	         | <element path>
	         | 'old' <element path>
	         | 'self'
	         | 'fcall'
   fcall        <- <func_tag> '(' <f_list> ')'
	         | <func_tag> '(' <set> [<exception>] ')'
		 | <label> '(' <arg_lbl_list> ')'
   arg_lbl_list <- [<label>'='] <function>[','<arg_lbl_list>]   
   f_list       <- <function1>
                 | <function1> ',' <f_list>
   op_tag       <- ( see op_tag_list )
   func_tag     <- ( see func_tag_list )

   data         <- ['bool'] 'true'|'false'
                 | ['int'] <int>
	         | 'matrix' <matrix>
	         | ['real'] <real>
		 | 'shape' <filename> ['*' <triple>]
		 | 'string' <string>
		 | ['symbol'] <symbol_name>
	         | 'triple' <triple>
	         | 'vector' <vector>
   triple       <- '('<real>','<real>[','<real>]')'
		 | '{'<real>','<real>[','<real>]'}'
   quaternion   <- '('<real>','<real>','<real>','<real>')'
		 | '{'<real>','<real>','<real>','<real>'}'
   vector       <- <vrow>
                 | '(' <int> ')' <vrow>
   matrix       <- '(' <int> ')' '<vrow>                 ( w ) { elements }
                 | '(' <int> ',' <int> ')' <vrow>        ( h, w ) { elements }
	         | '{' <vrow_list> '}'
   vrow         <- '{' <real_list> '}'
   vrow_list    <- <vrow> [',' <vrow_list>]
   real_list    <- <real> [',' <real_list>]

   // distribution requires two of ( min, max, mean ) or both mean & stddev
   distribution <- 'distrib' '(' <distarg_list ')'
   distarg_list <- ('min'|'max'|'mean'|'avg'|'typical'|'stddev') '=' <real>
                   [',' <distarg_list>]

   user_type    <- 'type' <type_name>';'

   // an elements main clock is specified in the element def.  if an element is
   // specified in a clock's set it is a secondary clock for that element
   clock        <- 'clock' <label> [':' <set>]';'

   set          <- 'key' <pattern> [ 'of'|',' <set_specs> ] [<exception>]
                 | 'type' <type_name> ['of'|',' <set_specs>] [<exception>]
		 | 'desc' ['of'] <label> ['of'|',' <set_specs>] [<exception>]
		 | 'all' [<exception>]
		 | 'none' [<exception>]
		 | 'set' '(' <label_list> ')'
   set_specs    <- ('desc' ['of'])|'of' <label> ['of'|',' <set_specs>]
                 | 'key' ['of'] <pattern> [ 'of'|',' <set_specs> ]
                 | 'type' <type_name> ['of'|',' <set_specs>]

   exception    <- 'except' 'self'
		 | 'except' <set>

   global_def   <- <default_def>
                 | <type_def>
		 | <enum_def>
		 | <symbol_def>
		 | <link_def>

   default_def  <- 'default' [<dtag>] <label> '=' <data>';'
   type_def     <- 'define' <user_type> ['implies' <type_list>]';'
   type_list    <- <type_name> [',' <type_list>]';'
   enum_def     <- 'enum' <symbolic_type_label> '{' <label_list> '}'';'
   symbol_def   <- 'define' 'symbol' <label>';'
   link_def     <- 'link' <label> ['->'|',' <label>][':'<link_specs>]';'
   link_specs   <- attachment
                 //       src_pt      tgt_pt      distance
                 | 'dist' <triple>',' <triple>',' <real>


		 //        src_pt1    src_pt2    tgt_pt1    tgt_pt2
		 | 'axial' <triple>','<triple>','<triple>','<triple>

		 //        force        src_pt     tgt_pt
		 | 'force' <function>','<triple>','<triple>

   label_list   <- <label> [',' <label>]
 */