.\" /*
.\"  * Revision Control Information
.\"  *
.\"  * $Source$
.\"  * $Author$
.\"  * $Revision$
.\"  * $Date$
.\"  *
.\"
.XX
astg_contract [-f] <signal-name>
.PP
Generate the contracted net for the specified signal of the ASTG.
.PP
The -f option adds the restriction that the contracted net
must also be free-choice.
Chu has conjectured that this restriction may not be necessary,
so it is optional at this time until we have answered this
question.
