<?php include("macros.php3"); ?>
<?php heading("The Linear structure", "The <TT>Linear</TT> structure"); ?>

<P></P>

<?php section("synopsis", "synopsis"); ?>

  <PRE>
    signature LINEAR
    structure Linear : LINEAR</PRE>

  <P>
    The <TT>Linear</TT> structure provides functionality to post
    linear equality constraints using a convenient infix operator syntax.
  </P>

  <P class=node><EM>Notes:</EM>
  </P>
    The linear module maps linear constraints onto regular sum constraints
    of the FD modu