exp.open [exp_opt] spec[.exp] [cc_opt] simulator
fsp.open [fsp_opt] spec[.lts] [cc_opt] simulator
lnt.open [lnt_opt] spec[.lnt] [cc_opt] simulator
lotos.open [lotos_opt] spec[.lotos] [cc_opt] simulator
seq.open [seq_opt] spec[.seq] [cc_opt] simulator
It performs an infinite interpreter loop, reading commands on the standard input, executing these commands, and printing the result on the standard output.
A stack is used to maintain the execution sequence starting from the initial state and leading to the current state, thus making backtrack possible.
The list of available commands can be obtained by typing "help" or "?".bcg_lib .
The options exp_opt, if any, are passed to exp.open .
The options fsp_opt, if any, are passed to fsp.open .
The options lnt_opt, if any, are passed to lnt.open .
The options seq_opt, if any, are passed to seq.open .
The options cc_opt, if any, are passed to the C compiler.
bcg , bcg_open , caesar , caesar.adt , exp , exp.open , fsp.open , lnt.open , lotos , lotos.open , seq , seq.open
Additional information is available from the CADP Web page located at http://cadp.inria.fr
Directives for installation are given in files $CADP/INSTALLATION_*.
Recent changes and improvements to this software are reported and commented in file $CADP/HISTORY.Hubert.Garavel@inria.fr