diogo/yap-6.3
Archived
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

doc fixes

Browse Source
This commit is contained in:
Vítor Santos Costa 2013-09-30 00:26:00 +01:00
parent 937077d51b
commit bb6ae90019
1 changed files with 7 additions and 7 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

14
docs/yap.tex
View File

@ -9408,14 +9408,14 @@ in a more CLP like style. It requires
Several example programs are available with the distribution. Several example programs are available with the distribution.
Integer variables are declared as: Integer variables are declared as:
@table @node @table @code
@var{V} in @var{A}..@var{B} @item @var{V} in @var{A}..@var{B}
declares an integer variable @var{V} with range @var{A} to @var{B}. declares an integer variable @var{V} with range @var{A} to @var{B}.
@var{Vs} ins @var{A}..@var{B} @item @var{Vs} ins @var{A}..@var{B}
declares a set of integer variabless @var{Vs} with range @var{A} to @var{B}. declares a set of integer variabless @var{Vs} with range @var{A} to @var{B}.
@boolvar{@var{V}} @item boolvar(@var{V})
declares a boolean variable. declares a boolean variable.
@boolvars{@var{Vs}} @item boolvars(@var{Vs})
declares a set of boolean variable. declares a set of boolean variable.
@end table @end table
@ -9530,8 +9530,8 @@ Note that not all constraints may be reifiable.
@item element(@var{X}, @var{Vs} ) @item element(@var{X}, @var{Vs} )
@var{X} is an element of list @var{Vs} @var{X} is an element of list @var{Vs}
@item clause(@var{Type}, @var{Ps} , @var{Ns}, , @var{V} ) @item clause(@var{Type}, @var{Ps} , @var{Ns}, @var{V} )
If @var{Type} is @code{and} it is the conjunction of boolen variables If @var{Type} is @code{and} it is the conjunction of boolean variables
@var{Ps} and the negation of boolean variables @var{Ns} and must have @var{Ps} and the negation of boolean variables @var{Ns} and must have
result @var{V}. If @var{Type} is @code{or} it is a disjunction. result @var{V}. If @var{Type} is @code{or} it is a disjunction.