The run macro can run a quantified set of repeated goals.

    run(<quantified_process_set>)
    run(<quantified_process_set>, Argument2)

The run macro uses the "repeat" service to transform the
<quantified_process_set> .  See the description of the
"repeat" service in this directory for a BNF description
of <quantified_process_set> .

The second argument (default "true") specifies whether an
undefined variable  <service name>  within the <quantified_process_set> should be  replaced by the name
of the variable.

Examples:
--------

1. run(64*dimerization#A_PROTEIN)

2. run([activator#6*(A_PROTEIN, A_GENE), repressor#R_GENE])

3. run([2*(activator#A_GENE,3*repressor#R_GENE), hysteresis#MODULE])

The "repeat" service is also used by various macros of the Logix system and of sub-systems spifcp and biospi (see SpiFcp/record.txt).

4. record(AVIV#receptor_endo#System, "recording.txt")

5. atrace(porin#SYSTEM, traced, 10)

   (See efcp/SpiFcp/[BioSpi/]   Examples & user_macros.txt).



This document is licensed under Gnu General Public License - Version 3 

     http://www.nongnu.org/efcp/gnu-gpl3.html