Table of Contents


NAME

specset - set list of specifications (Decida Procedure)

USAGE

          specset speclist

ARGUMENTS

speclist List of specifications: var=val

RESULTS

Sets variables on lhs of spec to value on rhs of spec

EXAMPLE-CALL

            specset {a=24 b=33 c="test 1"}

AUTHOR

Richard Booth

Table of Contents