-
Notifications
You must be signed in to change notification settings - Fork 13
/
guide.ind
167 lines (141 loc) · 5.91 KB
/
guide.ind
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
\begin{theindex}
\item aggregate, \hyperpage{30}
\subitem average, \code{\#avg}, \hyperpage{120}
\subitem body, \hyperpage{31}
\subitem condition, \hyperpage{28}
\subitem count, \code{\#count}, \hyperpage{31}
\subitem even, \code{\#even}, \hyperpage{120}
\subitem head, \hyperpage{32}
\subitem maximum, \code{\#max}, \hyperpage{31}
\subitem minimum, \code{\#min}, \hyperpage{31}
\subitem odd, \code{\#odd}, \hyperpage{120}
\subitem sum plus, \code{\#sum+}, \hyperpage{31}
\subitem sum, \code{\#sum}, \hyperpage{31}
\item arithmetic function, \hyperpage{24}
\subitem absolute value, \mbox{\textbar$\cdot$\textbar},
\hyperpage{24}
\subitem addition, \code{+}, \hyperpage{24}
\subitem bitwise and, \code{\&}, \hyperpage{24}
\subitem bitwise complement, \code{\textasciitilde}, \hyperpage{24}
\subitem bitwise or, \code{?}, \hyperpage{24}
\subitem bitwise xor, \code{\^}, \hyperpage{24}
\subitem division, \code{/}, \hyperpage{24}
\subitem exponentiation, \code{**}, \hyperpage{24}
\subitem modulo, \code{\textbackslash}, \hyperpage{24}
\subitem multiplication, \code{*}, \hyperpage{24}
\subitem subtraction, \code{-}, \hyperpage{24}
\subitem unary minus, \code{-}, \hyperpage{24}
\item atom, \hyperindexformat{\seealso{literal}}{19}, \hyperpage{19}
\subitem \gobblecomma, \hyperindexformat{\see{aggregate}}{30}
\subitem Boolean constant, \hyperpage{24}
\subitem \gobblecomma,
\hyperindexformat{\see{comparison predicate}}{25}
\subitem \gobblecomma, \hyperindexformat{\see{pooling}}{28}
\indexspace
\item comparison predicate, \hyperpage{25}
\subitem greater or equal, \code{>=}, \hyperpage{25}
\subitem greater, \code{>}, \hyperpage{25}
\subitem inequality, \code{!=}, \hyperpage{25}
\subitem less or equal, \code{<=}, \hyperpage{25}
\subitem less, \code{<}, \hyperpage{25}
\item conditional literal, \hyperpage{28}
\indexspace
\item domain predicate, \hyperpage{30}
\indexspace
\item external function, \hyperpage{39}
\indexspace
\item heuristic predicate, \hyperpage{85}
\subitem \code{factor}, \hyperpage{89}
\subitem \code{false}, \hyperpage{87}
\subitem \code{init}, \hyperpage{89}
\subitem \code{level}, \hyperpage{86}
\subitem \code{sign}, \hyperpage{85}
\subitem \code{true}, \hyperpage{87}
\indexspace
\item literal, \hyperindexformat{\seealso{atom}}{19}, \hyperpage{19}
\subitem conditional, \hyperpage{28}
\subitem head, \hyperpage{23}
\item logic program, \hyperpage{19}
\subitem disjunctive, \hyperpage{22}
\subitem normal, \hyperpage{19}
\item lua, \hyperpage{39}
\indexspace
\item meta-statement, \hyperpage{42}
\subitem comment, \hyperpage{43}
\subitem const, \code{\#const}, \hyperpage{44}
\subitem external, \code{\#external}, \hyperpage{44}
\subitem \gobblecomma, \hyperindexformat{\see{optimization}}{38}
\subitem program part, \code{\#program}, \hyperpage{45}
\subitem show, \code{\#show}, \hyperpage{43}
\indexspace
\item negation, \hyperindexformat{\seealso{literal}}{19}
\subitem classical, \hyperpage{21}
\subitem default, \hyperpage{19}
\subitem double, \hyperpage{23}
\indexspace
\item optimization, \hyperpage{37}
\subitem maximize, \code{\#maximize}, \hyperpage{37}
\subitem minimize, \code{\#minimize}, \hyperpage{37}
\subitem optimization directive, \hyperpage{97}
\subitem preference program, \hyperpage{107}
\subitem preference specification, \hyperpage{97}
\subsubitem preference element, \hyperpage{97}
\subsubitem preference statement, \hyperpage{97}
\subsubitem weighted formula, \hyperpage{97}
\subitem \gobblecomma,
\hyperindexformat{\see{preference type}}{100}
\subitem weak constraint, \hyperpage{37}
\indexspace
\item pooling, \code{;}, \hyperpage{28}
\item preference type, \hyperpage{100}
\subitem \code{and}, \hyperpage{106}
\subitem \code{aso}, \hyperpage{101}
\subitem \code{cp}, \hyperpage{101}
\subitem \code{less(cardinality)}, \hyperpage{101}
\subitem \code{less(weight)}, \hyperpage{101}
\subitem \code{lexico}, \hyperpage{106}
\subitem \code{maxmin}, \hyperpage{101}
\subitem \code{minmax}, \hyperpage{101}
\subitem \code{more(cardinality)}, \hyperpage{101}
\subitem \code{more(weight)}, \hyperpage{101}
\subitem \code{neg}, \hyperpage{106}
\subitem \code{pareto}, \hyperpage{106}
\subitem \code{poset}, \hyperpage{101}
\subitem \code{subset}, \hyperpage{101}
\subitem \code{superset}, \hyperpage{101}
\item python, \hyperpage{39}
\indexspace
\item rule
\subitem disjunctive, \hyperpage{22}
\subitem fact, \hyperpage{19}
\subitem integrity constraint, \hyperpage{19}
\subitem normal, \hyperpage{19}
\indexspace
\item safety, \hyperpage{21}
\subitem aggregate, \hyperpage{35}
\subitem arithmetic function, \hyperpage{25}
\subitem comparison predicate, \hyperpage{27}
\subitem external, \code{\#external}, \hyperpage{45}
\subitem interval, \hyperpage{27}
\subitem maximize, \code{\#maximize}, \hyperpage{38}
\subitem minimize, \code{\#minimize}, \hyperpage{38}
\subitem preference statement, \hyperpage{99}
\subitem show, \code{\#show}, \hyperpage{44}
\subitem weak constraint, \hyperpage{38}
\indexspace
\item term, \hyperpage{17}
\subitem \code{\#inf}, \hyperpage{17}
\subitem \code{\#sup}, \hyperpage{17}
\subitem anonymous variable, \hyperpage{17}
\subitem \gobblecomma,
\hyperindexformat{\see{arithmetic function}}{24}
\subitem constant, \hyperpage{17}
\subitem \gobblecomma,
\hyperindexformat{\see{external function}}{39}
\subitem function, \hyperpage{17}
\subitem integer, \hyperpage{17}, \hyperpage{24}
\subitem interval, \hyperpage{27}
\subitem \gobblecomma, \hyperindexformat{\see{pooling}}{28}
\subitem string, \hyperpage{17}
\subitem variable, \hyperpage{17}
\end{theindex}