← Back to branch summary

~ubuntu-branches/ubuntu/intrepid/swi-prolog/intrepid

« back to all changes in this revision

Viewing changes to man/Manual/simplex.html

  • Committer: Bazaar Package Importer
  • Author(s): Chris Lamb
  • Date: 2008-05-14 02:47:49 UTC
  • mfrom: (1.1.5 upstream)
  • Revision ID: james.westby@ubuntu.com-20080514024749-out53uysriunvn32
Tags: 5.6.55-1
* New upstream release.
* Use correct shared object file extension on HPPA to fix FTBFS on this
  architecture since 5.6.53-2. Patch backported from upstream repository.

Show diffs side-by-side

added added

removed removed

Lines of Context:
man/Manual/simplex.html
2
2
 
3
3
<HTML>
4
4
<HEAD>
5
 
<TITLE>SWI-Prolog 5.6.53 Reference Manual: Section A.21</TITLE><LINK REL=home HREF="index.html">
 
5
<TITLE>SWI-Prolog 5.6.55 Reference Manual: Section A.21</TITLE><LINK REL=home HREF="index.html">
6
6
<LINK REL=contents HREF="Contents.html">
7
7
<LINK REL=index HREF="DocIndex.html">
8
8
<LINK REL=previous HREF="registry.html">
178
178
<DT class="pubdef"><A NAME="constraint/4"><STRONG>constraint</STRONG>(<VAR>+Name, 
179
179
+Constraint, +S0, -S</VAR>)</A></DT>
180
180
<DD class="defbody">
181
 
Like <A NAME="idx:constraint3:1527"></A><A class="pred" href="simplex.html#constraint/3">constraint/3</A>, 
 
181
Like <A NAME="idx:constraint3:1531"></A><A class="pred" href="simplex.html#constraint/3">constraint/3</A>, 
182
182
and attaches the name <VAR>Name</VAR> (an atom or compound term) to the 
183
183
new constraint.</DD>
184
184
<DT class="pubdef"><A NAME="constraint_add/4"><STRONG>constraint_add</STRONG>(<VAR>+Name, 
200
200
<DT class="pubdef"><A NAME="minimize/3"><STRONG>minimize</STRONG>(<VAR>+Objective, 
201
201
+S0, -S</VAR>)</A></DT>
202
202
<DD class="defbody">
203
 
Analogous to <A NAME="idx:maximize3:1528"></A><A class="pred" href="simplex.html#maximize/3">maximize/3</A>.</DD>
 
203
Analogous to <A NAME="idx:maximize3:1532"></A><A class="pred" href="simplex.html#maximize/3">maximize/3</A>.</DD>
204
204
<DT class="pubdef"><A NAME="objective/2"><STRONG>objective</STRONG>(<VAR>+State, 
205
205
-Objective</VAR>)</A></DT>
206
206
<DD class="defbody">
234
234
<P></DD>
235
235
</DL>
236
236
 
237
 
All numeric quantities are converted to rationals via <A NAME="idx:rationalize1:1529"></A><A class="pred" href="arith.html#rationalize/1">rationalize/1</A>, 
 
237
All numeric quantities are converted to rationals via <A NAME="idx:rationalize1:1533"></A><A class="pred" href="arith.html#rationalize/1">rationalize/1</A>, 
238
238
and rational arithmetic is used throughout solving linear programs. In 
239
239
the current implementation, all variables are implicitly constrained to 
240
240
be non-negative. This may change in future versions, and non-negativity