t/ezasp submodule

.gitignore

@@ -245,3 +245,5 @@ TSWLatexianTemp*
 
 # generated if using elsarticle.cls
 *.spl
+
+trash

application_figs.tex

@@ -14,8 +14,8 @@
 % normal rules
 %
 \only<4>{
-\node at (0,0) (x) {$\phantom{{A}_{\{s \leftarrow \naf{q}, \naf{r}\}}}\boldsymbol{X}=\{\{\}, \{r\}, \{p, q\}\}$};
-\node[below=of x] (aofx) {$\A{\{s \leftarrow \naf{q}, \naf{r}\}}{\boldsymbol{X}}=\{\{s\},\{r\},\{p,q\}\}$};
+\node at (0,0) (x) {$\phantom{{A}_{\{s \leftarrow \neg{q}, \neg{r}\}}}\boldsymbol{X}=\{\{\}, \{r\}, \{p, q\}\}$};
+\node[below=of x] (aofx) {$\A{\{s \leftarrow \neg{q}, \neg{r}\}}{\boldsymbol{X}}=\{\{s\},\{r\},\{p,q\}\}$};
 
 % line 3
 \node[smodel, right=of x.east, xshift=-6mm] (node31) {};
@@ -27,15 +27,15 @@
 \node[smodel, below=of node32] (node42) {$r$}     edge [arrow] (node32);
 \node[smodel, below=of node33] (node43) {$p$ $q$} edge [arrow] (node33);
 
-\node[rule, right=of node43.east, xshift=-6mm] (rule_seq_4) {$s \leftarrow \naf{q}, \naf{r}$};
+\node[rule, right=of node43.east, xshift=-6mm] (rule_seq_4) {$s \leftarrow \neg{q}, \neg{r}$};
 }
 
 %
 % choices
 %
 \only<6>{
-\node at (0,0) (x) {$\phantom{{A}_{\{\{r\} \leftarrow \naf{p}\}}}\boldsymbol{X}=\{\{\}, \{p, q\}\}\phantom{,\{r\}}$};
-\node[below=of x] (aofx) {$\A{\{\{r\} \leftarrow \naf{p}\}}{\boldsymbol{X}}=\{\{\},\{r\},\{p,q\}\}$};
+\node at (0,0) (x) {$\phantom{{A}_{\{\{r\} \leftarrow \neg{p}\}}}\boldsymbol{X}=\{\{\}, \{p, q\}\}\phantom{,\{r\}}$};
+\node[below=of x] (aofx) {$\A{\{\{r\} \leftarrow \neg{p}\}}{\boldsymbol{X}}=\{\{\},\{r\},\{p,q\}\}$};
 
 % line 3
 \node[smodel, right=of x.east, xshift=0mm] (node31) {};
@@ -46,15 +46,15 @@
 \node[smodel, below right=of node31, xshift=-4mm] (node42) {$r$}     edge [arrow] (node31);
 \node[smodel, below=of node32] (node43) {$p$ $q$} edge [arrow] (node32);
 
-\node[rule, right=of node43.east, xshift=-6mm] (rule_seq_4) {$\{r\} \leftarrow \naf{p}$};
+\node[rule, right=of node43.east, xshift=-6mm] (rule_seq_4) {$\{r\} \leftarrow \neg{p}$};
 }
 
 %
 % constraints
 %
 \only<8>{
-\node at (0,0) (x) {$\phantom{{A}_{\{\phantom{s}\leftarrow r, \naf{p}\}}}\boldsymbol{X}=\{\{s\}, \{r\}, \{p, q\}\}$};
-\node[below=of x] (aofx) {$\A{\{\phantom{s}\leftarrow r, \naf{p}\}}{\boldsymbol{X}}=\{\{s\},\{p,q\}\}\phantom{,\{r\}}$};
+\node at (0,0) (x) {$\phantom{{A}_{\{\phantom{s}\leftarrow r, \neg{p}\}}}\boldsymbol{X}=\{\{s\}, \{r\}, \{p, q\}\}$};
+\node[below=of x] (aofx) {$\A{\{\phantom{s}\leftarrow r, \neg{p}\}}{\boldsymbol{X}}=\{\{s\},\{p,q\}\}\phantom{,\{r\}}$};
 
 % line 3
 \node[smodel, right=of x.east, xshift=-6mm] (node31) {$s$};
@@ -65,7 +65,7 @@
 \node[smodel, below=of node31] (node41) {$s$}     edge [arrow] (node31);
 \node[smodel, below=of node33] (node42) {$p$ $q$} edge [arrow] (node33);
 
-\node[rule, right=of node42.east, xshift=-6mm] (rule_seq_4) {$\phantom{s}\leftarrow r, \naf{p}$};
+\node[rule, right=of node42.east, xshift=-6mm] (rule_seq_4) {$\phantom{s}\leftarrow r, \neg{p}$};
 }
 
 \end{tikzpicture}

example1.tex

@@ -0,0 +1,154 @@
+% ----------------------------------------------------------------------
+\begin{frame}<1-10,11-20>[label=ezaspexample1,fragile]{An example}
+%
+\alt<1-10>{
+%
+\texttt{
+\alert<4-5,10>{\alert<8>{\{\alert<2-3>{{a}}\}}.}
+\alert<4,6,10>{\alert<2-3,8>{b}{ \myleftarrow}\alert<2-3,9>{ a}.}
+\alert<4,7,10>{\myleftarrow\alert<3,9>{ \myneg}\alert<2-3,9>{ b}.}
+}
+%
+\hspace{3mm}
+\alert{{%
+\only<2>{{atoms}}%
+\only<3>{{literals}}%
+\only<4>{{rules}}%
+\only<5>{{choice rule}}%
+\only<6>{{normal rule}}%
+\only<7>{{constraint rule}}%
+\only<8>{{heads}}%
+\only<9>{{bodies}}%
+\only<10>{{program}}%
+}} % \alert
+} % \alt
+{
+\only<13->{\hspace{-1.1mm}}
+\alert<11,12>{
+%
+\texttt{
+b \myleftarrow { a}.%
+\only<11>{\hspace{3.2mm}\{a\}.}\only<12->{ \myleftarrow { \myneg} {b}.}%
+\only<11>{ \myleftarrow { \myneg} {b}.}\only<12->{\hspace{3.2mm}\{a\}.}
+} % \texttt
+%
+\visible<11-12>{\hspace{3mm}program}
+} % \alertbf
+} % \alt
+%
+\bigskip
+%
+\begin{center}
+%
+%\resizebox{.50\textwidth}{!}{
+%
+\begin{tikzpicture}[
+  examples,
+  every node/.style={node distance=1cm and 1cm, on grid},
+  rule/.style={minimum width = 1cm},
+]
+% line 0
+\uncover<14->{
+\alert<14>{
+\node[smodel] (node01)  at ( 0, 0) {};
+}}
+% line 1
+\uncover<15->{
+\alert<15>{
+\node[smodel, below left=of node01] (node11) {}
+  edge [arrow] (node01);
+\node[smodel, below right=of node01] (node12) {a}
+  edge [arrow] (node01);
+\node[rule, right=of node12, xshift=12mm] (rule1)
+  {\scode \ \ \hspace{-1mm}\{a\}.\phantom{b :- }};
+}}
+% line 2
+\uncover<16->{
+\alert<16>{
+\node[smodel, below=of node11] (node21) {}
+  edge [arrow] (node11);
+\node[smodel, below=of node12] (node22) {a b}
+  edge [arrow] (node12);
+\node[rule, below=of rule1] (rule2)
+  {\scode \ \ b :- a.\phantom{nt}};
+}}
+
+\visible<18-19>{\node[right=of rule2, xshift=15mm] {\Large{\textbf{\alert{In order}}}};}
+% line 3
+\uncover<17->{
+\alert<17>{
+\node[smodel, below=of node22] (node32) {a b}
+  edge [arrow] (node22);
+\node[rule, below=of rule2] (rule3)
+  {\scode \ \ :- not b.};
+}}
+
+\uncover<19->{
+%\node[any, below=of node22, xshift=7mm, yshift=-3mm] (ok) {\MiddleBigOK};
+\node[any, below=of node22, xshift=8mm, yshift=-3mm] (ok) {\OK};
+}
+
+\visible<20>{
+ \draw[on grid] ($ (rule1.north west) + (3mm,-0.1) $) rectangle ($ (rule3.south east) + (0,0.1) $);
+ \node[on grid] at ($ (rule1.north) + (1.5mm,4.5mm) $) {\texttt{example1.lp}};
+}
+
+%\draw [help lines] (0,0) grid (5,5);
+\end{tikzpicture}
+%}
+\end{center}
+%
+\end{frame}
+% ----------------------------------------------------------------------
+\begin{frame}[fragile]{An example}
+
+{
+{\hspace{0.15mm}}
+%
+\texttt{
+b \myleftarrow { a}.%
+{ \myleftarrow { \myneg} {b}.}%
+{\hspace{3.2mm}\{a\}.}
+} % \texttt
+%
+%\visible<11-12>{\hspace{3mm}program}
+%} % \alertbf
+} % \alt
+%
+\bigskip
+%
+\begin{center}
+%\resizebox{.50\textwidth}{!}{
+\begin{tikzpicture}[
+  examples,
+]
+% line 0
+\alert<1>{\node[smodel] (node01)  at ( 1, 0) {};}
+
+% line 1
+\uncover<2->{\alert<2>{
+\node[smodel, below=of node01] (newnode11){}
+  edge [arrow] (node01);
+\node[rule, right=of newnode11, xshift=8mm] (rule1)
+  {\scode \ \ b :- a.\phantom{nt}};
+}}
+
+% line 2
+\uncover<3->{\alert<3>{
+\node[rule, below=of rule1] (rule2) {\scode \ \ :- not b.};
+}}
+
+% line 3
+\uncover<4->{\alert<4>{
+\node[rule, below=of rule2] (rule3) {\scode \ \ \hspace{-1mm}\{a\}.\phantom{b :- }};
+}}
+
+\visible<5->{\node[right=of rule2, xshift=-5mm] {\Large{\textbf{\alert{Not in order}}}};}
+%\visible<6>{\node[any, below=of rule1, xshift=3mm] (ko) {\BigBigKO};}
+\visible<6>{\node[any, below=of rule1, xshift=-7mm, yshift=0.5cm] (ko) {\BigBigKO};}
+\end{tikzpicture}
+%}
+\end{center}
+%
+\end{frame}
+% ----------------------------------------------------------------------