guide.ind
No OneTemporary

File Metadata

Created
Mon, Aug 24, 7:47 AM

guide.ind

\begin{theindex}
\item Aggregates, \hyperpage{18}
\subitem Average, \code{\#avg}, \hyperpage{18}
\subitem Conditions, \hyperpage{16}
\subitem Count, \code{\#count}, \hyperpage{18}
\subitem Disjunction, \hyperpage{12}
\subitem Even Parity, \code{\#even}, \hyperpage{18}
\subitem Maximum, \code{\#max}, \hyperpage{18}
\subitem Minimum, \code{\#min}, \hyperpage{18}
\subitem Odd Parity, \code{\#odd}, \hyperpage{18}
\subitem Sum, \code{\#sum}, \hyperpage{18}
\indexspace
\item Incremental Grounding, \hyperpage{29}
\subitem Base Part, \code{\#base}, \hyperpage{30}
\subitem Cumulative Part, \code{\#cumulative}, \hyperpage{30}
\subitem Volatile Part, \code{\#volatile}, \hyperpage{30}
\indexspace
\item Literals
\subitem Arithmetic Functions, \hyperpage{12}
\subsubitem Absolute Value, \code{\#abs}, \hyperpage{12}
\subsubitem Addition, \code{+}, \hyperpage{12}
\subsubitem Bitwise AND, \code{\&}, \hyperpage{12}
\subsubitem Bitwise Complement, \code{\textasciitilde},
\hyperpage{12}
\subsubitem Bitwise OR, \code{?}, \hyperpage{12}
\subsubitem Bitwise XOR, \code{\^}, \hyperpage{12}
\subsubitem Division, \code{/}, \hyperpage{12}
\subsubitem Exponentation, \code{**}, \hyperpage{12}
\subsubitem Modulo, \code{\%}, \hyperpage{12}
\subsubitem Multiplication, \code{*}, \hyperpage{12}
\subsubitem Subtraction, \code{-}, \hyperpage{12}
\subitem Assignments, \hyperpage{14}
\subsubitem Term Unification, \code{:=}, \hyperpage{14}
\subsubitem Variable Assignment, \code{=}, \hyperpage{14}
\subitem Classical Negation, \hyperpage{11}
\subitem Comparison Predicates, \hyperpage{13}
\subsubitem Equality, \code{==}, \hyperpage{13}
\subsubitem Greater or Equal\code{>=}, \hyperpage{13}
\subsubitem Greater,\code{>}, \hyperpage{13}
\subsubitem Less or Equal, \code{<=}, \hyperpage{13}
\subsubitem Less, \code{<}, \hyperpage{13}
\subitem Default Negation, \hyperpage{11}
\item Lua, \hyperpage{26}
\subitem Assignment Metatable, \hyperpage{28}
\subitem Function Call, \hyperpage{26}
\subitem Term Insertion, \hyperpage{27}
\subitem Val Metatable, \hyperpage{27}
\indexspace
\item Meta-Statements, \hyperpage{23}
\subitem Base Part, \code{\#base}, \hyperpage{30}
\subitem Comments, \hyperpage{23}
\subitem Compute Statements, \code{\#compute}, \hyperpage{24}
\subitem Constant Replacement, \code{\#const}, \hyperpage{24}
\subitem Cumulative Part, \code{\#cumulative}, \hyperpage{30}
\subitem Domain Declarations, \code{\#domain}, \hyperpage{24}
\subitem External Statements, \code{\#external}, \hyperpage{25}
\subitem Hiding Predicates, \code{\#show}, \code{\#hide},
\hyperpage{23}
\subitem Volatile Part, \code{\#volatile}, \hyperpage{30}
\indexspace
\item Safe Program, \hyperpage{11}
\item Statements
\subitem Facts, \hyperpage{9}
\subitem Integrity Constraints, \hyperpage{9}
\subitem Optimize Statements, \hyperpage{22}
\subsubitem \#maximize, \hyperpage{22}
\subsubitem \#minimize, \hyperpage{22}
\subitem Rules, \hyperpage{9}
\indexspace
\item Terms, \hyperpage{9}
\subitem \code{\#infimum}, \hyperpage{9}
\subitem \code{\#supremum}, \hyperpage{9}
\subitem Constants, \hyperpage{9}
\subitem Functions, \hyperpage{9}
\subitem Intervals, \hyperpage{14}
\subitem Lua Function Call, \hyperpage{26}
\subitem Pooling, \hyperpage{17}
\subitem Variables, \hyperpage{9}
\subsubitem Anonymous, \hyperpage{9}
\end{theindex}

Event Timeline