-
Notifications
You must be signed in to change notification settings - Fork 9
/
Copy pathlanguage.tex
64 lines (64 loc) · 2.16 KB
/
language.tex
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
% ----------------------------------------------------------------------
\lecture{Language}{language}
% ----------------------------------------------------------------------
\part{Language}
% ----------------------------------------------------------------------
\section{Base language}
% ------------------------------
\subsection{Motivation}
% ------------------------------
\input{language/motivation}
%------------------------------------------------------------
\subsection{Integrity constraint}
% ------------------------------
\input{language/basic-integrity-constraint}
% ------------------------------
\subsection{Choice rule}
% ------------------------------
\input{language/basic-choice-rule}
% ------------------------------
\subsection{Cardinality rule}
% ------------------------------
\input{language/basic-cardinality-rule}
% ------------------------------
\subsection{Weight rule}
% ------------------------------
\input{language/basic-weight-rule}
% ------------------------------
\subsection{Conditional literal}
% ------------------------------
\input{language/conditional-literal}
%------------------------------------------------------------
\section{Optimization}
% ------------------------------
\input{language/optimization-statements}
% ----------------------------------------------------------------------
\section{Formats}
% ------------------------------
\input{language/gringo-formats}
% ------------------------------
\subsection{Input format}
% ------------------------------
\input{language/gringo}
% ------------------------------
\subsection{Intermediate format}
% ------------------------------
% \subsubsection{smodels format}
% ------------------------------
\input{language/smodels-format}
% ------------------------------
% \subsubsection{aspif format}
% ------------------------------
\input{language/aspif-format}
% ------------------------------
% \subsection{Output formats}
% ----------------------------------------------------------------------
\section{Summary}
% ------------------------------
\input{language/summary}
% ----------------------------------------------------------------------
%
%%% Local Variables:
%%% mode: latex
%%% TeX-master: "main"
%%% End: