?prevdifflink? - Blame
This is pdfTeX, Version 3.1415926-1.40.10 (TeX Live 2009/Debian) (format=prv_AlloyUML 2011.4.6) 6 APR 2011 16:14
entering extended mode
restricted \write18 enabled.
%&-line parsing enabled.
**&prv_AlloyUML _region_.tex
(./_region_.tex
LaTeX2e <2009/09/24>
Babel <v3.8l> and hyphenation patterns for english, usenglishmax, dumylang, noh
yphenation, loaded.
CUSTOMISED FORMAT. Preloaded files:
.
fix-cm.sty 2006/09/13 v1.1m fixes to LaTeX
ts1enc.def 2001/06/05 v3.0e (jk/car/fm) Standard LaTeX file
svjour3.cls 2007/05/08 v3.2
LaTeX document class for Springer journals
fleqn.clo 1998/08/17 v1.1c Standard LaTeX option (flush left equations)
svglov3.clo 2006/02/03 v3.1 style option for standardised journals
graphicx.sty 1999/02/16 v1.0f Enhanced LaTeX Graphics (DPC,SPQR)
keyval.sty 1999/03/16 v1.13 key=value parser (DPC)
graphics.sty 2009/02/05 v1.0o Standard LaTeX Graphics (DPC,SPQR)
trig.sty 1999/03/16 v1.09 sin cos tan (DPC)
graphics.cfg 2009/08/28 v1.8 graphics configuration of TeX Live
dvips.def 1999/02/16 v3.0i Driver-dependant file (DPC,SPQR)
stmaryrd.sty 1994/03/03 St Mary's Road symbol package
Ustmry.fd
.
No file _region_.aux.
LaTeX Font Info: Checking defaults for OML/cmm/m/it on input line 23.
LaTeX Font Info: ... okay on input line 23.
LaTeX Font Info: Checking defaults for T1/cmr/m/n on input line 23.
LaTeX Font Info: ... okay on input line 23.
LaTeX Font Info: Checking defaults for OT1/cmr/m/n on input line 23.
LaTeX Font Info: ... okay on input line 23.
LaTeX Font Info: Checking defaults for OMS/cmsy/m/n on input line 23.
LaTeX Font Info: ... okay on input line 23.
LaTeX Font Info: Checking defaults for OMX/cmex/m/n on input line 23.
LaTeX Font Info: ... okay on input line 23.
LaTeX Font Info: Checking defaults for U/cmr/m/n on input line 23.
LaTeX Font Info: ... okay on input line 23.
LaTeX Font Info: Checking defaults for TS1/cmr/m/n on input line 23.
LaTeX Font Info: ... okay on input line 23.
(/usr/share/texmf/tex/latex/preview/preview.sty
Package: preview 2008/02/03 11.85 (AUCTeX/preview-latex)
(/usr/share/texmf/tex/latex/preview/prtightpage.def
\PreviewBorder=\dimen117
)
(/usr/share/texmf/tex/latex/preview/prauctex.def
No auxiliary output files.
\hbadness=\count105
\hfuzz=\dimen118
(/usr/share/texmf/tex/latex/preview/prauctex.cfg))
(/usr/share/texmf/tex/latex/preview/prfootnotes.def)
\pr@snippet=\count106
\pr@box=\box29
\pr@output=\toks17
Preview: Fontsize 10pt
)
Unknown journal: specify \journalname{<name of your journal>} in preambel
!name(AlloyUML.tex) !offset(-3)
SVJour3 warning: Missing \journalname
SVJour3 warning: Missing \date
SVJour3 warning: Missing \institute
LaTeX Warning: No \author given.
LaTeX Warning: No \author given.
LaTeX Font Info: Calculating math sizes for size <8.5> on input line 55.
LaTeX Font Info: External font `cmex10' loaded for size
(Font) <8.5> on input line 55.
LaTeX Font Info: External font `cmex10' loaded for size
(Font) <5.94997> on input line 55.
LaTeX Font Info: External font `cmex10' loaded for size
(Font) <4.25> on input line 55.
LaTeX Font Warning: Font shape `U/stmry/m/n' in size <8.5> not available
(Font) size <8> substituted on input line 55.
LaTeX Font Warning: Font shape `U/stmry/m/n' in size <4.25> not available
(Font) size <5> substituted on input line 55.
! Preview: Snippet 1 started.
<-><->
l.81 \section
{Introduction}
Not a real error.
Preview: Tightpage -32891 -32891 32891 32891
! Preview: Snippet 1 ended.(455111+0x15660756).
<-><->
l.81 \section{Introduction}
Not a real error.
[1
]
LaTeX Warning: Citation `UML' on page 2 undefined on input line 88.
LaTeX Warning: Citation `MDA' on page 2 undefined on input line 89.
LaTeX Warning: Citation `Jackson2006' on page 2 undefined on input line 106.
LaTeX Warning: Citation `OCL' on page 2 undefined on input line 111.
! Preview: Snippet 2 started.
<-><->
l.131 such as JEE, CORBA, Java, C, C++, C$
\#$ and Python,
Not a real error.
! Preview: Snippet 2 ended.(455111+127430x546135).
<-><->
l.131 such as JEE, CORBA, Java, C, C++, C$\#$
and Python,
Not a real error.
[2]
LaTeX Warning: Citation `Anastasakis2008' on page 2 undefined on input line 154
.
LaTeX Warning: Citation `Anastasakis2009' on page 2 undefined on input line 154
.
! Preview: Snippet 3 started.
<-><->
l.190 \section
{Model-driven Engineering}
Not a real error.
! Preview: Snippet 3 ended.(455111+127431x15660756).
<-><->
l.190 \section{Model-driven Engineering}
Not a real error.
[3
]
LaTeX Warning: Citation `OMG' on page 3 undefined on input line 200.
LaTeX Warning: Citation `MDA' on page 3 undefined on input line 201.
LaTeX Warning: Citation `Brucker2008' on page 3 undefined on input line 225.
LaTeX Warning: Citation `Gogolla2005' on page 3 undefined on input line 226.
LaTeX Warning: Citation `UML2Alloy' on page 3 undefined on input line 226.
! Preview: Snippet 4 started.
<-><->
l.230 \section
{Alloy} \label{Alloy}
Not a real error.
! Preview: Snippet 4 ended.(455111+127431x15660756).
<-><->
l.230 \section{Alloy}
\label{Alloy}
Not a real error.
[4
]
LaTeX Warning: Citation `Jackson2006' on page 3 undefined on input line 233.
LaTeX Warning: Citation `Jackson2006' on page 3 undefined on input line 281.
LaTeX Warning: Reference `address' on page 3 undefined on input line 284.
! Preview: Snippet 5 started.
<-><->
l.287 \begin{figure}
Not a real error.
! Preview: Snippet 5 ended.(24313856+108316x15660756).
<-><->
l.330 \end{figure}
Not a real error.
[5
]
! Preview: Snippet 6 started.
<-><->
l.334 \section
{Alloy and UML+OCL integration in MDE}\label{Problem}
Not a real error.
! Preview: Snippet 6 ended.(455111+127431x15660756).
<-><->
l.334 ...ion{Alloy and UML+OCL integration in MDE}
\label{Problem}
Not a real error.
[6
]
! Preview: Snippet 7 started.
<-><->
l.357 such as JEE, CORBA, Java, C, C++, C$
\#$ and Python.
Not a real error.
! Preview: Snippet 7 ended.(455111+127430x546135).
<-><->
l.357 such as JEE, CORBA, Java, C, C++, C$\#$
and Python.
Not a real error.
[7]
LaTeX Warning: Citation `Demuth2001' on page 3 undefined on input line 360.
LaTeX Warning: Citation `Dresden' on page 3 undefined on input line 361.
LaTeX Warning: Citation `OCL4Java' on page 3 undefined on input line 362.
! Preview: Snippet 8 started.
<-><->
l.372 \subsection
{Related Work}
Not a real error.
! Preview: Snippet 8 ended.(455111+0x15660756).
<-><->
l.372 \subsection{Related Work}
Not a real error.
[8
]
LaTeX Warning: Citation `Anastasakis2009' on page 4 undefined on input line 379
.
LaTeX Warning: Citation `Anastasakis2009' on page 4 undefined on input line 379
.
LaTeX Warning: Citation `Massoni2005a' on page 4 undefined on input line 387.
LaTeX Warning: Citation `Anastasakis2007b' on page 4 undefined on input line 39
1.
LaTeX Warning: Citation `Anastasakis2008' on page 4 undefined on input line 391
.
LaTeX Warning: Citation `Anastasakis2009' on page 4 undefined on input line 391
.
LaTeX Warning: Citation `Massoni2005a' on page 4 undefined on input line 400.
LaTeX Warning: Citation `Anastasakis2009' on page 4 undefined on input line 400
.
LaTeX Warning: Citation `Geri2010' on page 4 undefined on input line 413.
LaTeX Warning: Citation `Mostefaoui2007' on page 4 undefined on input line 416.
LaTeX Warning: Citation `Braga2010' on page 4 undefined on input line 419.
LaTeX Warning: Citation `Geri2010' on page 4 undefined on input line 423.
LaTeX Warning: Citation `Mostefaoui2007' on page 4 undefined on input line 423.
LaTeX Warning: Citation `Braga2010' on page 4 undefined on input line 423.
LaTeX Warning: Citation `Massoni2005a' on page 4 undefined on input line 425.
LaTeX Warning: Citation `Anastasakis2007b' on page 4 undefined on input line 42
5.
LaTeX Warning: Citation `Anastasakis2008' on page 4 undefined on input line 425
.
LaTeX Warning: Citation `Shah2009' on page 4 undefined on input line 430.
! Preview: Snippet 9 started.
<-><->
l.454 \section
{Model transformation from Alloy to UML Class Diagram and OCL}...
Not a real error.
! Preview: Snippet 9 ended.(1274311+127431x15660756).
<-><->
l.454 ... from Alloy to UML Class Diagram and OCL}
\label{Propose}
Not a real error.
[9
]
LaTeX Warning: Citation `Anastasakis2009' on page 4 undefined on input line 465
.
! Preview: Snippet 10 started.
<-><->
l.472 an equivalent UML$
/$OCL expression.
Not a real error.
! Preview: Snippet 10 ended.(491520+163840x327681).
<-><->
l.472 an equivalent UML$/$
OCL expression.
Not a real error.
[10]
! Preview: Snippet 11 started.
<-><->
l.480 \subsection
{Characterizing target and source models }
Not a real error.
! Preview: Snippet 11 ended.(455111+127431x15660756).
<-><->
l.480 ...haracterizing target and source models }
Not a real error.
[11
]
! Preview: Snippet 12 started.
<-><->
l.513 that we will denote as {\em Alloy$
^{UML}$}.
Not a real error.
! Preview: Snippet 12 ended.(551306+0x1347469).
<-><->
l.513 that we will denote as {\em Alloy$^{UML}$
}.
Not a real error.
[12]
! Preview: Snippet 13 started.
<-><->
l.520 to Alloy$
^{UML}$ enabling
Not a real error.
! Preview: Snippet 13 ended.(551306+0x1347469).
<-><->
l.520 to Alloy$^{UML}$
enabling
Not a real error.
[13]
LaTeX Warning: Citation `Jackson2006' on page 4 undefined on input line 526.
LaTeX Warning: Citation `UMLSuperstructure' on page 4 undefined on input line 5
28.
LaTeX Warning: Citation `OCLSpecification' on page 4 undefined on input line 52
9.
! Preview: Snippet 14 started.
<-><->
l.533 \subsection
{From Alloy to UML class diagrams}
Not a real error.
! Preview: Snippet 14 ended.(455111+127431x15660756).
<-><->
l.533 ...section{From Alloy to UML class diagrams}
Not a real error.
[14
]
! Preview: Snippet 15 started.
<-><->
l.538 \begin{table}
Not a real error.
! Preview: Snippet 15 ended.(4055221+1931673x15660756).
<-><->
l.553 \end{table}
Not a real error.
[15
]
LaTeX Warning: Reference `TableAlloy-UML' on page 4 undefined on input line 557
.
LaTeX Warning: Citation `Vaziri00' on page 4 undefined on input line 561.
LaTeX Warning: Citation `Massoni2005a' on page 4 undefined on input line 561.
LaTeX Warning: Citation `Anastasakis2008' on page 4 undefined on input line 561
.
LaTeX Warning: Citation `Anastasakis2009' on page 4 undefined on input line 561
.
! Preview: Snippet 16 started.
<-><->
l.568 we define a subset Alloy$
^{UML}$
Not a real error.
! Preview: Snippet 16 ended.(551306+0x1347469).
<-><->
l.568 we define a subset Alloy$^{UML}$
Not a real error.
[16]
! Preview: Snippet 17 started.
<-><->
l.570 Part of the Alloy$
^{UML}$ EBNF grammar
Not a real error.
! Preview: Snippet 17 ended.(551306+0x1347469).
<-><->
l.570 Part of the Alloy$^{UML}$
EBNF grammar
Not a real error.
[17]
LaTeX Warning: Reference `AlloyUML' on page 4 undefined on input line 571.
! Preview: Snippet 18 started.
<-><->
l.574 \begin{figure}
Not a real error.
LaTeX Font Info: Try loading font information for OMS+cmr on input line 590.
(/usr/share/texmf-texlive/tex/latex/base/omscmr.fd
File: omscmr.fd 1999/05/25 v2.5h Standard LaTeX font definitions
)
LaTeX Font Info: Font shape `OMS/cmr/m/n' in size <8.5> not available
(Font) Font shape `OMS/cmsy/m/n' tried instead on input line 590.
LaTeX Font Warning: Command \boldmath invalid in math mode on input line 630.
LaTeX Font Warning: Command \mathversion invalid in math mode on input line 630
.
! Preview: Snippet 18 ended.(33556252+108316x15660756).
<-><->
l.700 \end{figure}
Not a real error.
[18
]
! Preview: Snippet 19 started.
<-><->
l.704 \begin{table}
Not a real error.
! Preview: Snippet 19 ended.(4382901+2259353x15660756).
<-><->
l.721 \end{table}
Not a real error.
[19
]
! Preview: Snippet 20 started.
<-><->
l.752 Alloy$
^{UML}$ subset presents
Not a real error.
! Preview: Snippet 20 ended.(551306+0x1347469).
<-><->
l.752 Alloy$^{UML}$
subset presents
Not a real error.
[20]
! Preview: Snippet 21 started.
<-><->
l.811 $
s_{1}$ $-{\small>}$ ... $-{\small>}$ $s_{n}$ $-{\small>}$ $mult$ $sId$,
Not a real error.
! Preview: Snippet 21 ended.(239843+69632x571841).
<-><->
l.811 $s_{1}$
$-{\small>}$ ... $-{\small>}$ $s_{n}$ $-{\small>}$ $mult$ $sId$,
Not a real error.
[21]
! Preview: Snippet 22 started.
<-><->
l.811 $s_{1}$ $
-{\small>}$ ... $-{\small>}$ $s_{n}$ $-{\small>}$ $mult$ $sId$,
Not a real error.
LaTeX Font Warning: Command \small invalid in math mode on input line 811.
! Preview: Snippet 22 ended.(336557+58029x920702).
<-><->
l.811 $s_{1}$ $-{\small>}$
... $-{\small>}$ $s_{n}$ $-{\small>}$ $mult$ $sId$,
Not a real error.
[22]
! Preview: Snippet 23 started.
<-><->
l.811 $s_{1}$ $-{\small>}$ ... $
-{\small>}$ $s_{n}$ $-{\small>}$ $mult$ $sId$,
Not a real error.
LaTeX Font Warning: Command \small invalid in math mode on input line 811.
! Preview: Snippet 23 ended.(336557+58029x920702).
<-><->
l.811 $s_{1}$ $-{\small>}$ ... $-{\small>}$
$s_{n}$ $-{\small>}$ $mult$ $sId$,
Not a real error.
[23]
! Preview: Snippet 24 started.
<-><->
l.811 $s_{1}$ $-{\small>}$ ... $-{\small>}$ $
s_{n}$ $-{\small>}$ $mult$ $sId$,
Not a real error.
! Preview: Snippet 24 ended.(239843+69632x649919).
<-><->
l.811 ...1}$ $-{\small>}$ ... $-{\small>}$ $s_{n}$
$-{\small>}$ $mult$ $sId$,
Not a real error.
[24]
! Preview: Snippet 25 started.
<-><->
l.811 ...$ $-{\small>}$ ... $-{\small>}$ $s_{n}$ $
-{\small>}$ $mult$ $sId$,
Not a real error.
LaTeX Font Warning: Command \small invalid in math mode on input line 811.
! Preview: Snippet 25 ended.(336557+58029x920702).
<-><->
l.811 ...>}$ ... $-{\small>}$ $s_{n}$ $-{\small>}$
$mult$ $sId$,
Not a real error.
[25]
! Preview: Snippet 26 started.
<-><->
l.811 ...$ ... $-{\small>}$ $s_{n}$ $-{\small>}$ $
mult$ $sId$,
Not a real error.
! Preview: Snippet 26 ended.(386844+0x1263220).
<-><->
l.811 ... $-{\small>}$ $s_{n}$ $-{\small>}$ $mult$
$sId$,
Not a real error.
[26]
! Preview: Snippet 27 started.
<-><->
l.811 ...-{\small>}$ $s_{n}$ $-{\small>}$ $mult$ $
sId$,
Not a real error.
! Preview: Snippet 27 ended.(386844+0x878338).
<-><->
l.811 ...mall>}$ $s_{n}$ $-{\small>}$ $mult$ $sId$
,
Not a real error.
[27]
! Preview: Snippet 28 started.
<-><->
l.813 where $
s_{i}$ (with 0 $<$ i $<$ n)
Not a real error.
! Preview: Snippet 28 ended.(239843+69632x514522).
<-><->
l.813 where $s_{i}$
(with 0 $<$ i $<$ n)
Not a real error.
[28]
! Preview: Snippet 29 started.
<-><->
l.813 where $s_{i}$ (with 0 $
<$ i $<$ n)
Not a real error.
! Preview: Snippet 29 ended.(313692+35164x460351).
<-><->
l.813 where $s_{i}$ (with 0 $<$
i $<$ n)
Not a real error.
[29]
! Preview: Snippet 30 started.
<-><->
l.813 where $s_{i}$ (with 0 $<$ i $
<$ n)
Not a real error.
! Preview: Snippet 30 ended.(313692+35164x460351).
<-><->
l.813 where $s_{i}$ (with 0 $<$ i $<$
n)
Not a real error.
[30]
! Preview: Snippet 31 started.
<-><->
l.815 $
sId$ a signature identifier
Not a real error.
! Preview: Snippet 31 ended.(386844+0x878338).
<-><->
l.815 $sId$
a signature identifier
Not a real error.
[31]
! Preview: Snippet 32 started.
<-><->
l.816 and $
mult$ a multiplicity;
Not a real error.
! Preview: Snippet 32 ended.(386844+0x1263220).
<-><->
l.816 and $mult$
a multiplicity;
Not a real error.
[32]
! Preview: Snippet 33 started.
<-><->
l.820 \item {establish target class from $
sId$},
Not a real error.
! Preview: Snippet 33 ended.(386844+0x878338).
<-><->
l.820 ... \item {establish target class from $sId$
},
Not a real error.
[33]
! Preview: Snippet 34 started.
<-><->
l.822 \item {define $
s_{1}$, ... , $s_{n}$ as qualifiers of the associa...
Not a real error.
! Preview: Snippet 34 ended.(239843+69632x571841).
<-><->
l.822 \item {define $s_{1}$
, ... , $s_{n}$ as qualifiers of the associa...
Not a real error.
[34]
! Preview: Snippet 35 started.
<-><->
l.822 \item {define $s_{1}$, ... , $
s_{n}$ as qualifiers of the associa...
Not a real error.
! Preview: Snippet 35 ended.(239843+69632x649919).
<-><->
l.822 \item {define $s_{1}$, ... , $s_{n}$
as qualifiers of the associa...
Not a real error.
[35]
LaTeX Warning: Reference `TableMult' on page 5 undefined on input line 834.
! Preview: Snippet 36 started.
<-><->
l.866 ``{\small $
names -> {\bf some}$ $Target$}'',
Not a real error.
! Preview: Snippet 36 ended.(336557+58029x4486428).
<-><->
l.866 ``{\small $names -> {\bf some}$
$Target$}'',
Not a real error.
[36]
! Preview: Snippet 37 started.
<-><->
l.866 ``{\small $names -> {\bf some}$ $
Target$}'',
Not a real error.
! Preview: Snippet 37 ended.(380654+108316x1814644).
<-><->
l.866 ``{\small $names -> {\bf some}$ $Target$
}'',
Not a real error.
[37]
! Preview: Snippet 38 started.
<-><->
l.868 the expression is not in Alloy$
^{UML}$.
Not a real error.
! Preview: Snippet 38 ended.(551306+0x1347469).
<-><->
l.868 the expression is not in Alloy$^{UML}$
.
Not a real error.
[38]
! Preview: Snippet 39 started.
<-><->
l.871 as ``{\small $
Name -> {\bf some}$ $Target$}''
Not a real error.
! Preview: Snippet 39 ended.(380654+58029x4382720).
<-><->
l.871 as ``{\small $Name -> {\bf some}$
$Target$}''
Not a real error.
[39]
! Preview: Snippet 40 started.
<-><->
l.871 as ``{\small $Name -> {\bf some}$ $
Target$}''
Not a real error.
! Preview: Snippet 40 ended.(380654+108316x1814644).
<-><->
l.871 as ``{\small $Name -> {\bf some}$ $Target$
}''
Not a real error.
[40]
! Preview: Snippet 41 started.
<-><->
l.876 {\bf fact} $
\{$ {\bf all} b : Book $|$
Not a real error.
! Preview: Snippet 41 ended.(417792+139264x295940).
<-><->
l.876 {\bf fact} $\{$
{\bf all} b : Book $|$
Not a real error.
[41]
! Preview: Snippet 42 started.
<-><->
l.876 {\bf fact} $\{$ {\bf all} b : Book $
|$
Not a real error.
! Preview: Snippet 42 ended.(417792+139264x164411).
<-><->
l.876 {\bf fact} $\{$ {\bf all} b : Book $|$
Not a real error.
[42]
! Preview: Snippet 43 started.
<-><->
l.877 {\bf all} n : Name $
|$
Not a real error.
! Preview: Snippet 43 ended.(417792+139264x164411).
<-><->
l.877 {\bf all} n : Name $|$
Not a real error.
[43]
! Preview: Snippet 44 started.
<-><->
l.878 {\bf one} t : Target $
|$
Not a real error.
! Preview: Snippet 44 ended.(417792+139264x164411).
<-><->
l.878 {\bf one} t : Target $|$
Not a real error.
[44]
! Preview: Snippet 45 started.
<-><->
l.881 n {\bf in} b {\bf.} names $
\}$
Not a real error.
! Preview: Snippet 45 ended.(417792+139264x295940).
<-><->
l.881 n {\bf in} b {\bf.} names $\}$
Not a real error.
[45]
LaTeX Warning: Reference `UML-address' on page 5 undefined on input line 889.
! Preview: Snippet 46 started.
<-><->
l.892 \begin{figure}
Not a real error.
File: addressBook.eps Graphic file (type eps)
<addressBook.eps>
! Preview: Snippet 46 ended.(13274860+108316x15660756).
<-><->
l.896 \end{figure}
Not a real error.
[46
]
! Preview: Snippet 47 started.
<-><->
l.899 \subsection
{From Alloy to OCL}
Not a real error.
! Preview: Snippet 47 ended.(455111+127431x15660756).
<-><->
l.899 \subsection{From Alloy to OCL}
Not a real error.
[47
]
! Preview: Snippet 48 started.
<-><->
l.935 can be expressed in OCL using ``{\bf$
\rightarrow$ union}'',
Not a real error.
! Preview: Snippet 48 ended.(240435+0x655361).
<-><->
l.935 ...xpressed in OCL using ``{\bf$\rightarrow$
union}'',
Not a real error.
[48]
! Preview: Snippet 49 started.
<-><->
l.936 ``{\bf $
\rightarrow$ intersection}'', ``{\bf -}'' and
Not a real error.
! Preview: Snippet 49 ended.(240435+0x655361).
<-><->
l.936 ``{\bf $\rightarrow$
intersection}'', ``{\bf -}'' and
Not a real error.
[49]
! Preview: Snippet 50 started.
<-><->
l.946 translated to ``{\bf $
\rightarrow$ size()},
Not a real error.
! Preview: Snippet 50 ended.(240435+0x655361).
<-><->
l.946 translated to ``{\bf $\rightarrow$
size()},
Not a real error.
[50]
! Preview: Snippet 51 started.
<-><->
l.947 ``{\bf $
\rightarrow$ sum()}''
Not a real error.
! Preview: Snippet 51 ended.(240435+0x655361).
<-><->
l.947 ``{\bf $\rightarrow$
sum()}''
Not a real error.
[51]
! Preview: Snippet 52 started.
<-><->
l.959 ``{\bf $
\rightarrow$ includesAll()}''
Not a real error.
! Preview: Snippet 52 ended.(240435+0x655361).
<-><->
l.959 ``{\bf $\rightarrow$
includesAll()}''
Not a real error.
[52]
! Preview: Snippet 53 started.
<-><->
l.966 \subsubsection
{Alloy$^{UML}$ for OCL}
Not a real error.
! Preview: Snippet 53 ended.(551306+127431x15660756).
<-><->
l.966 \subsubsection{Alloy$^{UML}$ for OCL}
Not a real error.
[53
]
! Preview: Snippet 54 started.
<-><->
l.976 ``{\bf$
<$:}'' (domain restriction),
Not a real error.
! Preview: Snippet 54 ended.(353303+25623x509726).
<-><->
l.976 ``{\bf$<$
:}'' (domain restriction),
Not a real error.
[54]
! Preview: Snippet 55 started.
<-><->
l.977 ``{\bf$
>$:}'' (range restriction) or
Not a real error.
! Preview: Snippet 55 ended.(353303+25623x509726).
<-><->
l.977 ``{\bf$>$
:}'' (range restriction) or
Not a real error.
[55]
! Preview: Snippet 56 started.
<-><->
l.986 ``{\bf Int} $
i$'', where $i$ represents
Not a real error.
! Preview: Snippet 56 ended.(432226+0x225780).
<-><->
l.986 ``{\bf Int} $i$
'', where $i$ represents
Not a real error.
[56]
! Preview: Snippet 57 started.
<-><->
l.986 ``{\bf Int} $i$'', where $
i$ represents
Not a real error.
! Preview: Snippet 57 ended.(432226+0x225780).
<-><->
l.986 ``{\bf Int} $i$'', where $i$
represents
Not a real error.
[57]
! Preview: Snippet 58 started.
<-><->
l.993 Alloy$
^{UML}$ introduce modifications
Not a real error.
! Preview: Snippet 58 ended.(551306+0x1347469).
<-><->
l.993 Alloy$^{UML}$
introduce modifications
Not a real error.
[58]
! Preview: Snippet 59 started.
<-><->
l.1002 ``$
\alpha$ {\bf.} $v$'' or
Not a real error.
! Preview: Snippet 59 ended.(282168+0x421661).
<-><->
l.1002 ``$\alpha$
{\bf.} $v$'' or
Not a real error.
[59]
! Preview: Snippet 60 started.
<-><->
l.1002 ``$\alpha$ {\bf.} $
v$'' or
Not a real error.
! Preview: Snippet 60 ended.(282168+0x341181).
<-><->
l.1002 ``$\alpha$ {\bf.} $v$
'' or
Not a real error.
[60]
! Preview: Snippet 61 started.
<-><->
l.1003 ``$
\alpha$ {\bf.} $v$ {\bf [} $\alpha_{1}$
Not a real error.
! Preview: Snippet 61 ended.(282168+0x421661).
<-><->
l.1003 ``$\alpha$
{\bf.} $v$ {\bf [} $\alpha_{1}$
Not a real error.
[61]
! Preview: Snippet 62 started.
<-><->
l.1003 ``$\alpha$ {\bf.} $
v$ {\bf [} $\alpha_{1}$
Not a real error.
! Preview: Snippet 62 ended.(282168+0x341181).
<-><->
l.1003 ``$\alpha$ {\bf.} $v$
{\bf [} $\alpha_{1}$
Not a real error.
[62]
! Preview: Snippet 63 started.
<-><->
l.1003 ``$\alpha$ {\bf.} $v$ {\bf [} $
\alpha_{1}$
Not a real error.
! Preview: Snippet 63 ended.(282168+98303x713238).
<-><->
l.1003 ``$\alpha$ {\bf.} $v$ {\bf [} $\alpha_{1}$
Not a real error.
[63]
! Preview: Snippet 64 started.
<-><->
l.1004 {\bf ,} ... {\bf ,} $
\alpha_{n}$ {\bf ]}'',
Not a real error.
! Preview: Snippet 64 ended.(282168+98303x775969).
<-><->
l.1004 {\bf ,} ... {\bf ,} $\alpha_{n}$
{\bf ]}'',
Not a real error.
[64]
! Preview: Snippet 65 started.
<-><->
l.1006 where $
\alpha, \alpha_{1}, ... ,\alpha_{n}$
Not a real error.
! Preview: Snippet 65 ended.(282168+127431x3330810).
<-><->
l.1006 where $\alpha, \alpha_{1}, ... ,\alpha_{n}$
Not a real error.
[65]
! Preview: Snippet 66 started.
<-><->
l.1008 ``$
v$'' a variable identifier.
Not a real error.
! Preview: Snippet 66 ended.(282168+0x341181).
<-><->
l.1008 ``$v$
'' a variable identifier.
Not a real error.
[66]
! Preview: Snippet 67 started.
<-><->
l.1010 but we will add ``{\bf $
\rightarrow$ asSet()}''
Not a real error.
! Preview: Snippet 67 ended.(240435+0x655361).
<-><->
l.1010 but we will add ``{\bf $\rightarrow$
asSet()}''
Not a real error.
[67]
! Preview: Snippet 68 started.
<-><->
l.1019 Alloy$
^{UML}$ excludes to expressions
Not a real error.
! Preview: Snippet 68 ended.(551306+0x1347469).
<-><->
l.1019 Alloy$^{UML}$
excludes to expressions
Not a real error.
[68]
! Preview: Snippet 69 started.
<-><->
l.1020 which use the product operator ``-$
{\small >}$''.
Not a real error.
LaTeX Font Warning: Command \small invalid in math mode on input line 1020.
! Preview: Snippet 69 ended.(353303+25623x509726).
<-><->
l.1020 ...use the product operator ``-${\small >}$
''.
Not a real error.
[69]
! Preview: Snippet 70 started.
<-><->
l.1024 the transitive closure {\bf $
^{\wedge}$}
Not a real error.
! Preview: Snippet 70 ended.(492688+0x385935).
<-><->
l.1024 the transitive closure {\bf $^{\wedge}$
}
Not a real error.
[70]
! Preview: Snippet 71 started.
<-><->
l.1027 Thus we establish Alloy$
^{UML}$
Not a real error.
! Preview: Snippet 71 ended.(551306+0x1347469).
<-><->
l.1027 Thus we establish Alloy$^{UML}$
Not a real error.
[71]
! Preview: Snippet 72 started.
<-><->
l.1030 ``$
\alpha$ {\bf .} {\bf $^{\wedge}$( }
Not a real error.
! Preview: Snippet 72 ended.(282168+0x421661).
<-><->
l.1030 ``$\alpha$
{\bf .} {\bf $^{\wedge}$( }
Not a real error.
[72]
! Preview: Snippet 73 started.
<-><->
l.1030 ``$\alpha$ {\bf .} {\bf $
^{\wedge}$( }
Not a real error.
! Preview: Snippet 73 ended.(492688+0x385935).
<-><->
l.1030 ``$\alpha$ {\bf .} {\bf $^{\wedge}$
( }
Not a real error.
[73]
! Preview: Snippet 74 started.
<-><->
l.1031 $
v_{1}$ {\bf .} $v_{2}$ {\bf)}''
Not a real error.
! Preview: Snippet 74 ended.(282168+98303x611671).
<-><->
l.1031 $v_{1}$
{\bf .} $v_{2}$ {\bf)}''
Not a real error.
[74]
! Preview: Snippet 75 started.
<-><->
l.1031 $v_{1}$ {\bf .} $
v_{2}$ {\bf)}''
Not a real error.
! Preview: Snippet 75 ended.(282168+98303x611671).
<-><->
l.1031 $v_{1}$ {\bf .} $v_{2}$
{\bf)}''
Not a real error.
[75]
! Preview: Snippet 76 started.
<-><->
l.1033 ``$
\alpha$ {\bf .} $^{\wedge}$ $v$'',
Not a real error.
! Preview: Snippet 76 ended.(282168+0x421661).
<-><->
l.1033 ``$\alpha$
{\bf .} $^{\wedge}$ $v$'',
Not a real error.
[76]
! Preview: Snippet 77 started.
<-><->
l.1033 ``$\alpha$ {\bf .} $
^{\wedge}$ $v$'',
Not a real error.
! Preview: Snippet 77 ended.(492688+0x385935).
<-><->
l.1033 ``$\alpha$ {\bf .} $^{\wedge}$
$v$'',
Not a real error.
[77]
! Preview: Snippet 78 started.
<-><->
l.1033 ``$\alpha$ {\bf .} $^{\wedge}$ $
v$'',
Not a real error.
! Preview: Snippet 78 ended.(282168+0x341181).
<-><->
l.1033 ``$\alpha$ {\bf .} $^{\wedge}$ $v$
'',
Not a real error.
[78]
! Preview: Snippet 79 started.
<-><->
l.1035 where $
\alpha$ represents an expression
Not a real error.
! Preview: Snippet 79 ended.(282168+0x421661).
<-><->
l.1035 where $\alpha$
represents an expression
Not a real error.
[79]
! Preview: Snippet 80 started.
<-><->
l.1036 and $
v$, $v_{1}$, $v_{2}$ variable identifiers.
Not a real error.
! Preview: Snippet 80 ended.(282168+0x341181).
<-><->
l.1036 and $v$
, $v_{1}$, $v_{2}$ variable identifiers.
Not a real error.
[80]
! Preview: Snippet 81 started.
<-><->
l.1036 and $v$, $
v_{1}$, $v_{2}$ variable identifiers.
Not a real error.
! Preview: Snippet 81 ended.(282168+98303x611671).
<-><->
l.1036 and $v$, $v_{1}$
, $v_{2}$ variable identifiers.
Not a real error.
[81]
! Preview: Snippet 82 started.
<-><->
l.1036 and $v$, $v_{1}$, $
v_{2}$ variable identifiers.
Not a real error.
! Preview: Snippet 82 ended.(282168+98303x611671).
<-><->
l.1036 and $v$, $v_{1}$, $v_{2}$
variable identifiers.
Not a real error.
[82]
! Preview: Snippet 83 started.
<-><->
l.1044 \item $
v_{2}$ is a field in
Not a real error.
! Preview: Snippet 83 ended.(239843+69632x586349).
<-><->
l.1044 \item $v_{2}$
is a field in
Not a real error.
[83]
! Preview: Snippet 84 started.
<-><->
l.1045 the signature associated to $
v_{1}$, or
Not a real error.
! Preview: Snippet 84 ended.(239843+69632x586349).
<-><->
l.1045 the signature associated to $v_{1}$
, or
Not a real error.
[84]
! Preview: Snippet 85 started.
<-><->
l.1047 \item $
v$ is a field in the signature
Not a real error.
! Preview: Snippet 85 ended.(239843+0x308189).
<-><->
l.1047 \item $v$
is a field in the signature
Not a real error.
[85]
! Preview: Snippet 86 started.
<-><->
l.1048 associated to $
\alpha$.
Not a real error.
! Preview: Snippet 86 ended.(239843+0x380144).
<-><->
l.1048 associated to $\alpha$
.
Not a real error.
[86]
! Preview: Snippet 87 started.
<-><->
l.1066 ``{\bf fact} $
\{$ {\bf all} $v$ : $sigId$ $cB$ $\}$'',
Not a real error.
! Preview: Snippet 87 ended.(417792+139264x295940).
<-><->
l.1066 ``{\bf fact} $\{$
{\bf all} $v$ : $sigId$ $cB$ $\}$'',
Not a real error.
[87]
! Preview: Snippet 88 started.
<-><->
l.1066 ``{\bf fact} $\{$ {\bf all} $
v$ : $sigId$ $cB$ $\}$'',
Not a real error.
! Preview: Snippet 88 ended.(239843+0x308189).
<-><->
l.1066 ``{\bf fact} $\{$ {\bf all} $v$
: $sigId$ $cB$ $\}$'',
Not a real error.
[88]
! Preview: Snippet 89 started.
<-><->
l.1066 ``{\bf fact} $\{$ {\bf all} $v$ : $
sigId$ $cB$ $\}$'',
Not a real error.
! Preview: Snippet 89 ended.(386844+108316x1381494).
<-><->
l.1066 ...`{\bf fact} $\{$ {\bf all} $v$ : $sigId$
$cB$ $\}$'',
Not a real error.
[89]
! Preview: Snippet 90 started.
<-><->
l.1066 ...\bf fact} $\{$ {\bf all} $v$ : $sigId$ $
cB$ $\}$'',
Not a real error.
! Preview: Snippet 90 ended.(380654+0x730241).
<-><->
l.1066 ... fact} $\{$ {\bf all} $v$ : $sigId$ $cB$
$\}$'',
Not a real error.
[90]
! Preview: Snippet 91 started.
<-><->
l.1066 ...act} $\{$ {\bf all} $v$ : $sigId$ $cB$ $
\}$'',
Not a real error.
! Preview: Snippet 91 ended.(417792+139264x295940).
<-><->
l.1066 ...} $\{$ {\bf all} $v$ : $sigId$ $cB$ $\}$
'',
Not a real error.
[91]
! Preview: Snippet 92 started.
<-><->
l.1067 where $
v$ represents a variable,
Not a real error.
! Preview: Snippet 92 ended.(239843+0x308189).
<-><->
l.1067 where $v$
represents a variable,
Not a real error.
[92]
! Preview: Snippet 93 started.
<-><->
l.1068 $
sigId$ a signature identifier and
Not a real error.
! Preview: Snippet 93 ended.(386844+108316x1381494).
<-><->
l.1068 $sigId$
a signature identifier and
Not a real error.
[93]
! Preview: Snippet 94 started.
<-><->
l.1069 $
cB$ a constraint body;
Not a real error.
! Preview: Snippet 94 ended.(380654+0x730241).
<-><->
l.1069 $cB$
a constraint body;
Not a real error.
[94]
! Preview: Snippet 95 started.
<-><->
l.1070 ...se the context will be determined from $
sigId$.
Not a real error.
! Preview: Snippet 95 ended.(386844+108316x1381494).
<-><->
l.1070 ... context will be determined from $sigId$
.
Not a real error.
[95]
! Preview: Snippet 96 started.
<-><->
l.1076 Alloy$
^{UML}$ forces functions and predicates
Not a real error.
! Preview: Snippet 96 ended.(463051+0x1359162).
<-><->
l.1076 Alloy$^{UML}$
forces functions and predicates
Not a real error.
[96]
! Preview: Snippet 97 started.
<-><->
l.1080 Alloy$
^{UML}$ limits signature declaration by
Not a real error.
! Preview: Snippet 97 ended.(463051+0x1359162).
<-><->
l.1080 Alloy$^{UML}$
limits signature declaration by
Not a real error.
[97]
! Preview: Snippet 98 started.
<-><->
l.1088 Alloy$
^{UML}$ considers two different kinds
Not a real error.
! Preview: Snippet 98 ended.(551306+0x1347469).
<-><->
l.1088 Alloy$^{UML}$
considers two different kinds
Not a real error.
[98]
! Preview: Snippet 99 started.
<-><->
l.1093 ``$
predId ( v, v^{'}: sigId, ....)$'',
Not a real error.
! Preview: Snippet 99 ended.(617644+163840x6779144).
<-><->
l.1093 ``$predId ( v, v^{'}: sigId, ....)$
'',
Not a real error.
[99]
! Preview: Snippet 100 started.
<-><->
l.1094 where $
v$ represents
Not a real error.
! Preview: Snippet 100 ended.(282168+0x341181).
<-><->
l.1094 where $v$
represents
Not a real error.
[100]
! Preview: Snippet 101 started.
<-><->
l.1096 and $
v^{'}$ the post-state.
Not a real error.
! Preview: Snippet 101 ended.(617644+0x551216).
<-><->
l.1096 and $v^{'}$
the post-state.
Not a real error.
[101]
! Preview: Snippet 102 started.
<-><->
l.1102 \subsubsection
{Transformation rules}
Not a real error.
! Preview: Snippet 102 ended.(455111+127431x15660756).
<-><->
l.1102 \subsubsection{Transformation rules}
Not a real error.
[102
]
! Preview: Snippet 103 started.
<-><->
l.1105 of the main Alloy$
^{UML}$ expressions;
Not a real error.
! Preview: Snippet 103 ended.(551306+0x1347469).
<-><->
l.1105 of the main Alloy$^{UML}$
expressions;
Not a real error.
[103]
! Preview: Snippet 104 started.
<-><->
l.1112 Let $
\alpha$ be an expression
Not a real error.
! Preview: Snippet 104 ended.(239843+0x380144).
<-><->
l.1112 Let $\alpha$
be an expression
Not a real error.
[104]
! Preview: Snippet 105 started.
<-><->
l.1113 and $
v$, $v_{1}$ and $v_{2}$ variable identifiers,
Not a real error.
! Preview: Snippet 105 ended.(239843+0x308189).
<-><->
l.1113 and $v$
, $v_{1}$ and $v_{2}$ variable identifiers,
Not a real error.
[105]
! Preview: Snippet 106 started.
<-><->
l.1113 and $v$, $
v_{1}$ and $v_{2}$ variable identifiers,
Not a real error.
! Preview: Snippet 106 ended.(239843+69632x586349).
<-><->
l.1113 and $v$, $v_{1}$
and $v_{2}$ variable identifiers,
Not a real error.
[106]
! Preview: Snippet 107 started.
<-><->
l.1113 and $v$, $v_{1}$ and $
v_{2}$ variable identifiers,
Not a real error.
! Preview: Snippet 107 ended.(239843+69632x586349).
<-><->
l.1113 and $v$, $v_{1}$ and $v_{2}$
variable identifiers,
Not a real error.
[107]
! Preview: Snippet 108 started.
<-><->
l.1114 $
\llbracket \alpha \rrbracket_{e}^{x}$,
Not a real error.
! Preview: Snippet 108 ended.(393216+139264x1170361).
<-><->
l.1114 $\llbracket \alpha \rrbracket_{e}^{x}$
,
Not a real error.
[108]
! Preview: Snippet 109 started.
<-><->
l.1115 $
\llbracket \alpha_{2} \rrbracket_{e}^{x}$...
Not a real error.
! Preview: Snippet 109 ended.(393216+139264x1468507).
<-><->
l.1115 $\llbracket \alpha_{2} \rrbracket_{e}^{x}$
...
Not a real error.
[109]
! Preview: Snippet 110 started.
<-><->
l.1116 , $
\llbracket \alpha_{n} \rrbracket_{e}^{x}$
Not a real error.
! Preview: Snippet 110 ended.(393216+139264x1546585).
<-><->
l.1116 ...llbracket \alpha_{n} \rrbracket_{e}^{x}$
Not a real error.
[110]
! Preview: Snippet 111 started.
<-><->
l.1117 ...essions transformations in the context $
x$,
Not a real error.
! Preview: Snippet 111 ended.(239843+0x333173).
<-><->
l.1117 ...sions transformations in the context $x$
,
Not a real error.
[111]
! Preview: Snippet 112 started.
<-><->
l.1121 in the context $
x$ as
Not a real error.
! Preview: Snippet 112 ended.(239843+0x333173).
<-><->
l.1121 in the context $x$
as
Not a real error.
[112]
! Preview: Snippet 113 started.
<-><->
l.1124 $
\llbracket$ $v$ $\rrbracket_{e}^{x}$ $\equiv$
Not a real error.
! Preview: Snippet 113 ended.(393216+131072x224373).
<-><->
l.1124 $\llbracket$
$v$ $\rrbracket_{e}^{x}$ $\equiv$
Not a real error.
[113]
! Preview: Snippet 114 started.
<-><->
l.1124 $\llbracket$ $
v$ $\rrbracket_{e}^{x}$ $\equiv$
Not a real error.
! Preview: Snippet 114 ended.(239843+0x308189).
<-><->
l.1124 $\llbracket$ $v$
$\rrbracket_{e}^{x}$ $\equiv$
Not a real error.
[114]
! Preview: Snippet 115 started.
<-><->
l.1124 $\llbracket$ $v$ $
\rrbracket_{e}^{x}$ $\equiv$
Not a real error.
! Preview: Snippet 115 ended.(393216+139264x565844).
<-><->
l.1124 $\llbracket$ $v$ $\rrbracket_{e}^{x}$
$\equiv$
Not a real error.
[115]
! Preview: Snippet 116 started.
<-><->
l.1124 $\llbracket$ $v$ $\rrbracket_{e}^{x}$ $
\equiv$
Not a real error.
! Preview: Snippet 116 ended.(269321+0x460351).
<-><->
l.1124 ...cket$ $v$ $\rrbracket_{e}^{x}$ $\equiv$
Not a real error.
[116]
! Preview: Snippet 117 started.
<-><->
l.1126 - {\bf ( self $
\rightarrow$ asSet() ) } if $v$ = $x$
Not a real error.
! Preview: Snippet 117 ended.(210559+0x591880).
<-><->
l.1126 - {\bf ( self $\rightarrow$
asSet() ) } if $v$ = $x$
Not a real error.
[117]
! Preview: Snippet 118 started.
<-><->
l.1126 ...f ( self $\rightarrow$ asSet() ) } if $
v$ = $x$
Not a real error.
! Preview: Snippet 118 ended.(239843+0x308189).
<-><->
l.1126 ...( self $\rightarrow$ asSet() ) } if $v$
= $x$
Not a real error.
[118]
! Preview: Snippet 119 started.
<-><->
l.1126 ...lf $\rightarrow$ asSet() ) } if $v$ = $
x$
Not a real error.
! Preview: Snippet 119 ended.(239843+0x333173).
<-><->
l.1126 ... $\rightarrow$ asSet() ) } if $v$ = $x$
Not a real error.
[119]
! Preview: Snippet 120 started.
<-><->
l.1128 - {\bf (} v {\bf$
\rightarrow$ asSet() ) } if $v$ != $x$
Not a real error.
! Preview: Snippet 120 ended.(210559+0x591880).
<-><->
l.1128 - {\bf (} v {\bf$\rightarrow$
asSet() ) } if $v$ != $x$
Not a real error.
[120]
! Preview: Snippet 121 started.
<-><->
l.1128 ...(} v {\bf$\rightarrow$ asSet() ) } if $
v$ != $x$
Not a real error.
! Preview: Snippet 121 ended.(239843+0x308189).
<-><->
l.1128 ... v {\bf$\rightarrow$ asSet() ) } if $v$
!= $x$
Not a real error.
[121]
! Preview: Snippet 122 started.
<-><->
l.1128 ...bf$\rightarrow$ asSet() ) } if $v$ != $
x$
Not a real error.
! Preview: Snippet 122 ended.(239843+0x333173).
<-><->
l.1128 ...$\rightarrow$ asSet() ) } if $v$ != $x$
Not a real error.
[122]
! Preview: Snippet 123 started.
<-><->
l.1131 $
\llbracket$ sigId $\rrbracket_{e}^{x}$ $\equiv$ sigId {\bf . allIns...
Not a real error.
! Preview: Snippet 123 ended.(393216+131072x224373).
<-><->
l.1131 $\llbracket$
sigId $\rrbracket_{e}^{x}$ $\equiv$ sigId {\bf . allIns...
Not a real error.
[123]
! Preview: Snippet 124 started.
<-><->
l.1131 $\llbracket$ sigId $
\rrbracket_{e}^{x}$ $\equiv$ sigId {\bf . allIns...
Not a real error.
! Preview: Snippet 124 ended.(393216+139264x565844).
<-><->
l.1131 $\llbracket$ sigId $\rrbracket_{e}^{x}$
$\equiv$ sigId {\bf . allIns...
Not a real error.
[124]
! Preview: Snippet 125 started.
<-><->
l.1131 $\llbracket$ sigId $\rrbracket_{e}^{x}$ $
\equiv$ sigId {\bf . allIns...
Not a real error.
! Preview: Snippet 125 ended.(269321+0x460351).
<-><->
l.1131 ...et$ sigId $\rrbracket_{e}^{x}$ $\equiv$
sigId {\bf . allInstances}
Not a real error.
[125]
! Preview: Snippet 126 started.
<-><->
l.1134 $
\llbracket$ {\bf none} $\rrbracket_{e}^{x} \equiv$ {\bf Set$\{$$\}$}
Not a real error.
! Preview: Snippet 126 ended.(393216+131072x224373).
<-><->
l.1134 $\llbracket$
{\bf none} $\rrbracket_{e}^{x} \equiv$ {\bf Set$\{$$\}$}
Not a real error.
[126]
! Preview: Snippet 127 started.
<-><->
l.1134 $\llbracket$ {\bf none} $
\rrbracket_{e}^{x} \equiv$ {\bf Set$\{$$\}$}
Not a real error.
! Preview: Snippet 127 ended.(393216+139264x1190605).
<-><->
l.1134 ... {\bf none} $\rrbracket_{e}^{x} \equiv$
{\bf Set$\{$$\}$}
Not a real error.
[127]
! Preview: Snippet 128 started.
<-><->
l.1134 ...} $\rrbracket_{e}^{x} \equiv$ {\bf Set$
\{$$\}$}
Not a real error.
! Preview: Snippet 128 ended.(417792+139264x295940).
<-><->
l.1134 ...$\rrbracket_{e}^{x} \equiv$ {\bf Set$\{$
$\}$}
Not a real error.
[128]
! Preview: Snippet 129 started.
<-><->
l.1134 ...\rrbracket_{e}^{x} \equiv$ {\bf Set$\{$$
\}$}
Not a real error.
! Preview: Snippet 129 ended.(417792+139264x295940).
<-><->
l.1134 ...bracket_{e}^{x} \equiv$ {\bf Set$\{$$\}$
}
Not a real error.
[129]
! Preview: Snippet 130 started.
<-><->
l.1137 $
\llbracket$ $\alpha$ {\bf .} $v$ $\rrbracket_{e}^{x} \equiv$
Not a real error.
! Preview: Snippet 130 ended.(393216+131072x224373).
<-><->
l.1137 $\llbracket$
$\alpha$ {\bf .} $v$ $\rrbracket_{e}^{x} \equiv$
Not a real error.
[130]
! Preview: Snippet 131 started.
<-><->
l.1137 $\llbracket$ $
\alpha$ {\bf .} $v$ $\rrbracket_{e}^{x} \equiv$
Not a real error.
! Preview: Snippet 131 ended.(239843+0x380144).
<-><->
l.1137 $\llbracket$ $\alpha$
{\bf .} $v$ $\rrbracket_{e}^{x} \equiv$
Not a real error.
[131]
! Preview: Snippet 132 started.
<-><->
l.1137 $\llbracket$ $\alpha$ {\bf .} $
v$ $\rrbracket_{e}^{x} \equiv$
Not a real error.
! Preview: Snippet 132 ended.(239843+0x308189).
<-><->
l.1137 $\llbracket$ $\alpha$ {\bf .} $v$
$\rrbracket_{e}^{x} \equiv$
Not a real error.
[132]
! Preview: Snippet 133 started.
<-><->
l.1137 $\llbracket$ $\alpha$ {\bf .} $v$ $
\rrbracket_{e}^{x} \equiv$
Not a real error.
! Preview: Snippet 133 ended.(393216+139264x1190605).
<-><->
l.1137 ... {\bf .} $v$ $\rrbracket_{e}^{x} \equiv$
Not a real error.
[133]
! Preview: Snippet 134 started.
<-><->
l.1139 $
\llbracket$ $\alpha$ $\rrbracket_{e}^{x}$ {\bf .} $v$
Not a real error.
! Preview: Snippet 134 ended.(393216+131072x224373).
<-><->
l.1139 $\llbracket$
$\alpha$ $\rrbracket_{e}^{x}$ {\bf .} $v$
Not a real error.
[134]
! Preview: Snippet 135 started.
<-><->
l.1139 $\llbracket$ $
\alpha$ $\rrbracket_{e}^{x}$ {\bf .} $v$
Not a real error.
! Preview: Snippet 135 ended.(239843+0x380144).
<-><->
l.1139 $\llbracket$ $\alpha$
$\rrbracket_{e}^{x}$ {\bf .} $v$
Not a real error.
[135]
! Preview: Snippet 136 started.
<-><->
l.1139 $\llbracket$ $\alpha$ $
\rrbracket_{e}^{x}$ {\bf .} $v$
Not a real error.
! Preview: Snippet 136 ended.(393216+139264x565844).
<-><->
l.1139 $\llbracket$ $\alpha$ $\rrbracket_{e}^{x}$
{\bf .} $v$
Not a real error.
[136]
! Preview: Snippet 137 started.
<-><->
l.1139 ...$\alpha$ $\rrbracket_{e}^{x}$ {\bf .} $
v$
Not a real error.
! Preview: Snippet 137 ended.(239843+0x308189).
<-><->
l.1139 ...alpha$ $\rrbracket_{e}^{x}$ {\bf .} $v$
Not a real error.
[137]
! Preview: Snippet 138 started.
<-><->
l.1140 {\bf $
\rightarrow$ asSet() )}
Not a real error.
! Preview: Snippet 138 ended.(210559+0x591880).
<-><->
l.1140 {\bf $\rightarrow$
asSet() )}
Not a real error.
[138]
! Preview: Snippet 139 started.
<-><->
l.1153 $
\llbracket$ $\alpha$ {\bf .} $^{\wedge}$ $v$ $\rrbracket_{e}^{x}$
Not a real error.
! Preview: Snippet 139 ended.(393216+131072x224373).
<-><->
l.1153 $\llbracket$
$\alpha$ {\bf .} $^{\wedge}$ $v$ $\rrbracket_{e}^{x}$
Not a real error.
[139]
! Preview: Snippet 140 started.
<-><->
l.1153 $\llbracket$ $
\alpha$ {\bf .} $^{\wedge}$ $v$ $\rrbracket_{e}^{x}$
Not a real error.
! Preview: Snippet 140 ended.(239843+0x380144).
<-><->
l.1153 $\llbracket$ $\alpha$
{\bf .} $^{\wedge}$ $v$ $\rrbracket_{e}^{x}$
Not a real error.
[140]
! Preview: Snippet 141 started.
<-><->
l.1153 $\llbracket$ $\alpha$ {\bf .} $
^{\wedge}$ $v$ $\rrbracket_{e}^{x}$
Not a real error.
! Preview: Snippet 141 ended.(413226+0x401047).
<-><->
l.1153 $\llbracket$ $\alpha$ {\bf .} $^{\wedge}$
$v$ $\rrbracket_{e}^{x}$
Not a real error.
[141]
! Preview: Snippet 142 started.
<-><->
l.1153 $\llbracket$ $\alpha$ {\bf .} $^{\wedge}$ $
v$ $\rrbracket_{e}^{x}$
Not a real error.
! Preview: Snippet 142 ended.(239843+0x308189).
<-><->
l.1153 ...racket$ $\alpha$ {\bf .} $^{\wedge}$ $v$
$\rrbracket_{e}^{x}$
Not a real error.
[142]
! Preview: Snippet 143 started.
<-><->
l.1153 ...cket$ $\alpha$ {\bf .} $^{\wedge}$ $v$ $
\rrbracket_{e}^{x}$
Not a real error.
! Preview: Snippet 143 ended.(393216+139264x565844).
<-><->
l.1153 ... .} $^{\wedge}$ $v$ $\rrbracket_{e}^{x}$
Not a real error.
[143]
! Preview: Snippet 144 started.
<-><->
l.1154 $
\equiv$
Not a real error.
! Preview: Snippet 144 ended.(269321+0x460351).
<-><->
l.1154 $\equiv$
Not a real error.
[144]
! Preview: Snippet 145 started.
<-><->
l.1155 $
v${\bf Clousure ( )}
Not a real error.
! Preview: Snippet 145 ended.(239843+0x308189).
<-><->
l.1155 $v$
{\bf Clousure ( )}
Not a real error.
[145]
! Preview: Snippet 146 started.
<-><->
l.1158 $
v$
Not a real error.
! Preview: Snippet 146 ended.(239843+0x308189).
<-><->
l.1158 $v$
Not a real error.
[146]
! Preview: Snippet 147 started.
<-><->
l.1161 \hspace{3mm} $
v$
Not a real error.
! Preview: Snippet 147 ended.(239843+0x308189).
<-><->
l.1161 \hspace{3mm} $v$
Not a real error.
[147]
! Preview: Snippet 148 started.
<-><->
l.1162 {\bf $
\rightarrow$ union (} v {\bf $\rightarrow$ collect (} y $|$
Not a real error.
! Preview: Snippet 148 ended.(210559+0x591880).
<-><->
l.1162 {\bf $\rightarrow$
union (} v {\bf $\rightarrow$ collect (} y $|$
Not a real error.
[148]
! Preview: Snippet 149 started.
<-><->
l.1162 {\bf $\rightarrow$ union (} v {\bf $
\rightarrow$ collect (} y $|$
Not a real error.
! Preview: Snippet 149 ended.(210559+0x591880).
<-><->
l.1162 ...ghtarrow$ union (} v {\bf $\rightarrow$
collect (} y $|$
Not a real error.
[149]
! Preview: Snippet 150 started.
<-><->
l.1162 ... (} v {\bf $\rightarrow$ collect (} y $
|$
Not a real error.
! Preview: Snippet 150 ended.(417792+139264x164411).
<-><->
l.1162 ...} v {\bf $\rightarrow$ collect (} y $|$
Not a real error.
[150]
! Preview: Snippet 151 started.
<-><->
l.1164 \hspace{6mm} y . $
v${\bf Closure ( ) ) $\rightarrow$ flatten()
Not a real error.
! Preview: Snippet 151 ended.(239843+0x308189).
<-><->
l.1164 \hspace{6mm} y . $v$
{\bf Closure ( ) ) $\rightarrow$ flatten()
Not a real error.
[151]
! Preview: Snippet 152 started.
<-><->
l.1164 \hspace{6mm} y . $v${\bf Closure ( ) ) $
\rightarrow$ flatten()
Not a real error.
! Preview: Snippet 152 ended.(210559+0x591880).
<-><->
l.1164 ... y . $v${\bf Closure ( ) ) $\rightarrow$
flatten()
Not a real error.
[152]
! Preview: Snippet 153 started.
<-><->
l.1165 $
\rightarrow$ asSet() ) }
Not a real error.
! Preview: Snippet 153 ended.(210559+0x591880).
<-><->
l.1165 $\rightarrow$
asSet() ) }
Not a real error.
[153]
! Preview: Snippet 154 started.
<-><->
l.1168 $
\llbracket$ $\alpha$ {\bf .} {\bf $^{\wedge}$( }
Not a real error.
! Preview: Snippet 154 ended.(393216+131072x224373).
<-><->
l.1168 $\llbracket$
$\alpha$ {\bf .} {\bf $^{\wedge}$( }
Not a real error.
[154]
! Preview: Snippet 155 started.
<-><->
l.1168 $\llbracket$ $
\alpha$ {\bf .} {\bf $^{\wedge}$( }
Not a real error.
! Preview: Snippet 155 ended.(239843+0x380144).
<-><->
l.1168 $\llbracket$ $\alpha$
{\bf .} {\bf $^{\wedge}$( }
Not a real error.
[155]
! Preview: Snippet 156 started.
<-><->
l.1168 $\llbracket$ $\alpha$ {\bf .} {\bf $
^{\wedge}$( }
Not a real error.
! Preview: Snippet 156 ended.(413226+0x401047).
<-><->
l.1168 ...acket$ $\alpha$ {\bf .} {\bf $^{\wedge}$
( }
Not a real error.
[156]
! Preview: Snippet 157 started.
<-><->
l.1169 $
v_{1}$ {\bf .} $v_{2}$ {\bf)} $\rrbracket_{e}^{x}$
Not a real error.
! Preview: Snippet 157 ended.(239843+69632x586349).
<-><->
l.1169 $v_{1}$
{\bf .} $v_{2}$ {\bf)} $\rrbracket_{e}^{x}$
Not a real error.
[157]
! Preview: Snippet 158 started.
<-><->
l.1169 $v_{1}$ {\bf .} $
v_{2}$ {\bf)} $\rrbracket_{e}^{x}$
Not a real error.
! Preview: Snippet 158 ended.(239843+69632x586349).
<-><->
l.1169 $v_{1}$ {\bf .} $v_{2}$
{\bf)} $\rrbracket_{e}^{x}$
Not a real error.
[158]
! Preview: Snippet 159 started.
<-><->
l.1169 $v_{1}$ {\bf .} $v_{2}$ {\bf)} $
\rrbracket_{e}^{x}$
Not a real error.
! Preview: Snippet 159 ended.(393216+139264x565844).
<-><->
l.1169 ...f .} $v_{2}$ {\bf)} $\rrbracket_{e}^{x}$
Not a real error.
[159]
! Preview: Snippet 160 started.
<-><->
l.1170 $
\equiv$
Not a real error.
! Preview: Snippet 160 ended.(269321+0x460351).
<-><->
l.1170 $\equiv$
Not a real error.
[160]
! Preview: Snippet 161 started.
<-><->
l.1171 $
v2${\bf Clousure (} $\llbracket \alpha \rrbracket_{e}^{x}$ {\bf )}
Not a real error.
! Preview: Snippet 161 ended.(358992+0x604129).
<-><->
l.1171 $v2$
{\bf Clousure (} $\llbracket \alpha \rrbracket_{e}^{x}$ {\bf )}
Not a real error.
[161]
! Preview: Snippet 162 started.
<-><->
l.1171 $v2${\bf Clousure (} $
\llbracket \alpha \rrbracket_{e}^{x}$ {\bf )}
Not a real error.
! Preview: Snippet 162 ended.(393216+139264x1170361).
<-><->
l.1171 ...} $\llbracket \alpha \rrbracket_{e}^{x}$
{\bf )}
Not a real error.
[162]
! Preview: Snippet 163 started.
<-><->
l.1174 $
v_{2}$
Not a real error.
! Preview: Snippet 163 ended.(239843+69632x586349).
<-><->
l.1174 $v_{2}$
Not a real error.
[163]
! Preview: Snippet 164 started.
<-><->
l.1177 \hspace{3mm} $
v_{2}$
Not a real error.
! Preview: Snippet 164 ended.(239843+69632x586349).
<-><->
l.1177 \hspace{3mm} $v_{2}$
Not a real error.
[164]
! Preview: Snippet 165 started.
<-><->
l.1178 {\bf[} x {\bf]} {\bf $
\rightarrow$ union (}
Not a real error.
! Preview: Snippet 165 ended.(210559+0x591880).
<-><->
l.1178 {\bf[} x {\bf]} {\bf $\rightarrow$
union (}
Not a real error.
[165]
! Preview: Snippet 166 started.
<-><->
l.1179 $
v_{2}${\bf[} x {\bf]}
Not a real error.
! Preview: Snippet 166 ended.(239843+69632x586349).
<-><->
l.1179 $v_{2}$
{\bf[} x {\bf]}
Not a real error.
[166]
! Preview: Snippet 167 started.
<-><->
l.1181 \hspace{9mm}{\bf $
\rightarrow$ select (} o {\bf $|$
Not a real error.
! Preview: Snippet 167 ended.(210559+0x591880).
<-><->
l.1181 \hspace{9mm}{\bf $\rightarrow$
select (} o {\bf $|$
Not a real error.
[167]
! Preview: Snippet 168 started.
<-><->
l.1181 ...mm}{\bf $\rightarrow$ select (} o {\bf $
|$
Not a real error.
! Preview: Snippet 168 ended.(417792+139264x164411).
<-><->
l.1181 ...}{\bf $\rightarrow$ select (} o {\bf $|$
Not a real error.
[168]
! Preview: Snippet 169 started.
<-><->
l.1184 \hspace{12mm} $
\rightarrow$ collect (} y {\bf$|$}
Not a real error.
! Preview: Snippet 169 ended.(210559+0x591880).
<-><->
l.1184 \hspace{12mm} $\rightarrow$
collect (} y {\bf$|$}
Not a real error.
[169]
! Preview: Snippet 170 started.
<-><->
l.1184 ...e{12mm} $\rightarrow$ collect (} y {\bf$
|$}
Not a real error.
! Preview: Snippet 170 ended.(417792+139264x164411).
<-><->
l.1184 ...12mm} $\rightarrow$ collect (} y {\bf$|$
}
Not a real error.
[170]
! Preview: Snippet 171 started.
<-><->
l.1185 $
v_{2}$ {\bf Closure (y) )
Not a real error.
! Preview: Snippet 171 ended.(239843+69632x586349).
<-><->
l.1185 $v_{2}$
{\bf Closure (y) )
Not a real error.
[171]
! Preview: Snippet 172 started.
<-><->
l.1187 \hspace{15mm}$
\rightarrow$ flatten()
Not a real error.
! Preview: Snippet 172 ended.(210559+0x591880).
<-><->
l.1187 \hspace{15mm}$\rightarrow$
flatten()
Not a real error.
[172]
! Preview: Snippet 173 started.
<-><->
l.1188 $
\rightarrow$ asSet() ) }
Not a real error.
! Preview: Snippet 173 ended.(210559+0x591880).
<-><->
l.1188 $\rightarrow$
asSet() ) }
Not a real error.
[173]
! Preview: Snippet 174 started.
<-><->
l.1200 Let $
v$ be a variable identifier,
Not a real error.
! Preview: Snippet 174 ended.(239843+0x308189).
<-><->
l.1200 Let $v$
be a variable identifier,
Not a real error.
[174]
! Preview: Snippet 175 started.
<-><->
l.1201 $
sigId$ a signature identifier,
Not a real error.
! Preview: Snippet 175 ended.(386844+108316x1381494).
<-><->
l.1201 $sigId$
a signature identifier,
Not a real error.
[175]
! Preview: Snippet 176 started.
<-><->
l.1202 $
cB$ a constraint body,
Not a real error.
! Preview: Snippet 176 ended.(380654+0x730241).
<-><->
l.1202 $cB$
a constraint body,
Not a real error.
[176]
! Preview: Snippet 177 started.
<-><->
l.1203 $
funId$ a function identifier,
Not a real error.
! Preview: Snippet 177 ended.(386844+108316x1652195).
<-><->
l.1203 $funId$
a function identifier,
Not a real error.
[177]
! Preview: Snippet 178 started.
<-><->
l.1204 $
predId$ a predicate identifier,
Not a real error.
! Preview: Snippet 178 ended.(386844+108316x1765222).
<-><->
l.1204 $predId$
a predicate identifier,
Not a real error.
[178]
! Preview: Snippet 179 started.
<-><->
l.1205 $
sigRef$ a signature reference,
Not a real error.
! Preview: Snippet 179 ended.(386844+108316x1846389).
<-><->
l.1205 $sigRef$
a signature reference,
Not a real error.
[179]
! Preview: Snippet 180 started.
<-><->
l.1206 $
d_{1}$, ... , $d_{n}$ declarations,
Not a real error.
! Preview: Snippet 180 ended.(386844+69632x602692).
<-><->
l.1206 $d_{1}$
, ... , $d_{n}$ declarations,
Not a real error.
[180]
! Preview: Snippet 181 started.
<-><->
l.1206 $d_{1}$, ... , $
d_{n}$ declarations,
Not a real error.
! Preview: Snippet 181 ended.(386844+69632x680770).
<-><->
l.1206 $d_{1}$, ... , $d_{n}$
declarations,
Not a real error.
[181]
! Preview: Snippet 182 started.
<-><->
l.1207 $
c_{1}$, ... ,$c_{n}$ constraints,
Not a real error.
! Preview: Snippet 182 ended.(239843+69632x554498).
<-><->
l.1207 $c_{1}$
, ... ,$c_{n}$ constraints,
Not a real error.
[182]
! Preview: Snippet 183 started.
<-><->
l.1207 $c_{1}$, ... ,$
c_{n}$ constraints,
Not a real error.
! Preview: Snippet 183 ended.(239843+69632x632576).
<-><->
l.1207 $c_{1}$, ... ,$c_{n}$
constraints,
Not a real error.
[183]
! Preview: Snippet 184 started.
<-><->
l.1208 $
\alpha$ an expression,
Not a real error.
! Preview: Snippet 184 ended.(239843+0x380144).
<-><->
l.1208 $\alpha$
an expression,
Not a real error.
[184]
! Preview: Snippet 185 started.
<-><->
l.1209 $
\llbracket c_{i} \rrbracket_{c}^{v}$ (with 1$<$ i $<$n)
Not a real error.
! Preview: Snippet 185 ended.(393216+139264x1274307).
<-><->
l.1209 $\llbracket c_{i} \rrbracket_{c}^{v}$
(with 1$<$ i $<$n)
Not a real error.
[185]
! Preview: Snippet 186 started.
<-><->
l.1209 ...acket c_{i} \rrbracket_{c}^{v}$ (with 1$
<$ i $<$n)
Not a real error.
! Preview: Snippet 186 ended.(313692+35164x460351).
<-><->
l.1209 ...ket c_{i} \rrbracket_{c}^{v}$ (with 1$<$
i $<$n)
Not a real error.
[186]
! Preview: Snippet 187 started.
<-><->
l.1209 ...c_{i} \rrbracket_{c}^{v}$ (with 1$<$ i $
<$n)
Not a real error.
! Preview: Snippet 187 ended.(313692+35164x460351).
<-><->
l.1209 ...{i} \rrbracket_{c}^{v}$ (with 1$<$ i $<$
n)
Not a real error.
[187]
! Preview: Snippet 188 started.
<-><->
l.1210 ...nstraint transformation in the context $
v$,
Not a real error.
! Preview: Snippet 188 ended.(239843+0x308189).
<-><->
l.1210 ...traint transformation in the context $v$
,
Not a real error.
[188]
! Preview: Snippet 189 started.
<-><->
l.1211 $
\llbracket cB \rrbracket_{cB}^{v}$
Not a real error.
! Preview: Snippet 189 ended.(393216+174715x1887561).
<-><->
l.1211 $\llbracket cB \rrbracket_{cB}^{v}$
Not a real error.
[189]
! Preview: Snippet 190 started.
<-><->
l.1212 ...int body transformation in the context $
v$,
Not a real error.
! Preview: Snippet 190 ended.(239843+0x308189).
<-><->
l.1212 ...t body transformation in the context $v$
,
Not a real error.
[190]
! Preview: Snippet 191 started.
<-><->
l.1213 $
\llbracket \alpha \rrbracket_{e}^{v}$
Not a real error.
! Preview: Snippet 191 ended.(393216+139264x1157272).
<-><->
l.1213 $\llbracket \alpha \rrbracket_{e}^{v}$
Not a real error.
[191]
! Preview: Snippet 192 started.
<-><->
l.1214 ...pression transformation in the context $
v$,
Not a real error.
! Preview: Snippet 192 ended.(239843+0x308189).
<-><->
l.1214 ...ession transformation in the context $v$
,
Not a real error.
[192]
! Preview: Snippet 193 started.
<-><->
l.1215 $
\llbracket sigRef \rrbracket_{sR}$
Not a real error.
! Preview: Snippet 193 ended.(393216+131072x2991479).
<-><->
l.1215 $\llbracket sigRef \rrbracket_{sR}$
Not a real error.
[193]
! Preview: Snippet 194 started.
<-><->
l.1220 $
\llbracket$ {\bf fact $\{$ all} $v$ {\bf :} sigId $cB$ {\bf $\}$}
Not a real error.
! Preview: Snippet 194 ended.(393216+131072x224373).
<-><->
l.1220 $\llbracket$
{\bf fact $\{$ all} $v$ {\bf :} sigId $cB$ {\bf $\}$}
Not a real error.
[194]
! Preview: Snippet 195 started.
<-><->
l.1220 $\llbracket$ {\bf fact $
\{$ all} $v$ {\bf :} sigId $cB$ {\bf $\}$}
Not a real error.
! Preview: Snippet 195 ended.(417792+139264x295940).
<-><->
l.1220 $\llbracket$ {\bf fact $\{$
all} $v$ {\bf :} sigId $cB$ {\bf $\}$}
Not a real error.
[195]
! Preview: Snippet 196 started.
<-><->
l.1220 $\llbracket$ {\bf fact $\{$ all} $
v$ {\bf :} sigId $cB$ {\bf $\}$}
Not a real error.
! Preview: Snippet 196 ended.(239843+0x308189).
<-><->
l.1220 $\llbracket$ {\bf fact $\{$ all} $v$
{\bf :} sigId $cB$ {\bf $\}$}
Not a real error.
[196]
! Preview: Snippet 197 started.
<-><->
l.1220 ... {\bf fact $\{$ all} $v$ {\bf :} sigId $
cB$ {\bf $\}$}
Not a real error.
! Preview: Snippet 197 ended.(380654+0x730241).
<-><->
l.1220 ...bf fact $\{$ all} $v$ {\bf :} sigId $cB$
{\bf $\}$}
Not a real error.
[197]
! Preview: Snippet 198 started.
<-><->
l.1220 ... $\{$ all} $v$ {\bf :} sigId $cB$ {\bf $
\}$}
Not a real error.
! Preview: Snippet 198 ended.(417792+139264x295940).
<-><->
l.1220 ...{$ all} $v$ {\bf :} sigId $cB$ {\bf $\}$
}
Not a real error.
[198]
! Preview: Snippet 199 started.
<-><->
l.1221 $
\rrbracket_{factD} \equiv$
Not a real error.
! Preview: Snippet 199 ended.(393216+154737x2415991).
<-><->
l.1221 $\rrbracket_{factD} \equiv$
Not a real error.
[199]
! Preview: Snippet 200 started.
<-><->
l.1227 {\bf inv:} $
\llbracket$ $cB$ $\rrbracket_{cB}^{v}$
Not a real error.
! Preview: Snippet 200 ended.(393216+131072x224373).
<-><->
l.1227 {\bf inv:} $\llbracket$
$cB$ $\rrbracket_{cB}^{v}$
Not a real error.
[200]
! Preview: Snippet 201 started.
<-><->
l.1227 {\bf inv:} $\llbracket$ $
cB$ $\rrbracket_{cB}^{v}$
Not a real error.
! Preview: Snippet 201 ended.(380654+0x730241).
<-><->
l.1227 {\bf inv:} $\llbracket$ $cB$
$\rrbracket_{cB}^{v}$
Not a real error.
[201]
! Preview: Snippet 202 started.
<-><->
l.1227 {\bf inv:} $\llbracket$ $cB$ $
\rrbracket_{cB}^{v}$
Not a real error.
! Preview: Snippet 202 ended.(393216+174715x932947).
<-><->
l.1227 ... $\llbracket$ $cB$ $\rrbracket_{cB}^{v}$
Not a real error.
[202]
! Preview: Snippet 203 started.
<-><->
l.1232 $
\llbracket$ {\bf fun}
Not a real error.
! Preview: Snippet 203 ended.(393216+131072x224373).
<-><->
l.1232 $\llbracket$
{\bf fun}
Not a real error.
[203]
! Preview: Snippet 204 started.
<-><->
l.1233 funId {\bf(}$
v$: sigId, $d1_{1}$, ... , $d_{n}$ {\bf):}
Not a real error.
! Preview: Snippet 204 ended.(239843+0x308189).
<-><->
l.1233 funId {\bf(}$v$
: sigId, $d1_{1}$, ... , $d_{n}$ {\bf):}
Not a real error.
[204]
! Preview: Snippet 205 started.
<-><->
l.1233 funId {\bf(}$v$: sigId, $
d1_{1}$, ... , $d_{n}$ {\bf):}
Not a real error.
! Preview: Snippet 205 ended.(386844+69632x898632).
<-><->
l.1233 funId {\bf(}$v$: sigId, $d1_{1}$
, ... , $d_{n}$ {\bf):}
Not a real error.
[205]
! Preview: Snippet 206 started.
<-><->
l.1233 funId {\bf(}$v$: sigId, $d1_{1}$, ... , $
d_{n}$ {\bf):}
Not a real error.
! Preview: Snippet 206 ended.(386844+69632x680770).
<-><->
l.1233 ...\bf(}$v$: sigId, $d1_{1}$, ... , $d_{n}$
{\bf):}
Not a real error.
[206]
! Preview: Snippet 207 started.
<-><->
l.1234 sigRef {\bf $
\{$}$\alpha${\bf $\}$} $\rrbracket_{funD} \equiv$
Not a real error.
! Preview: Snippet 207 ended.(417792+139264x295940).
<-><->
l.1234 sigRef {\bf $\{$
}$\alpha${\bf $\}$} $\rrbracket_{funD} \equiv$
Not a real error.
[207]
! Preview: Snippet 208 started.
<-><->
l.1234 sigRef {\bf $\{$}$
\alpha${\bf $\}$} $\rrbracket_{funD} \equiv$
Not a real error.
! Preview: Snippet 208 ended.(239843+0x380144).
<-><->
l.1234 sigRef {\bf $\{$}$\alpha$
{\bf $\}$} $\rrbracket_{funD} \equiv$
Not a real error.
[208]
! Preview: Snippet 209 started.
<-><->
l.1234 sigRef {\bf $\{$}$\alpha${\bf $
\}$} $\rrbracket_{funD} \equiv$
Not a real error.
! Preview: Snippet 209 ended.(417792+139264x295940).
<-><->
l.1234 sigRef {\bf $\{$}$\alpha${\bf $\}$
} $\rrbracket_{funD} \equiv$
Not a real error.
[209]
! Preview: Snippet 210 started.
<-><->
l.1234 sigRef {\bf $\{$}$\alpha${\bf $\}$} $
\rrbracket_{funD} \equiv$
Not a real error.
! Preview: Snippet 210 ended.(393216+154737x2314358).
<-><->
l.1234 ...ha${\bf $\}$} $\rrbracket_{funD} \equiv$
Not a real error.
[210]
! Preview: Snippet 211 started.
<-><->
l.1240 {\bf(} $
d_{1}$,
Not a real error.
! Preview: Snippet 211 ended.(386844+69632x602692).
<-><->
l.1240 {\bf(} $d_{1}$
,
Not a real error.
[211]
! Preview: Snippet 212 started.
<-><->
l.1242 , $
d_{n}$
Not a real error.
! Preview: Snippet 212 ended.(386844+69632x680770).
<-><->
l.1242 , $d_{n}$
Not a real error.
[212]
! Preview: Snippet 213 started.
<-><->
l.1244 $
\llbracket$ sigRef $\rrbracket_{sR}$ {\bf )}
Not a real error.
! Preview: Snippet 213 ended.(393216+131072x224373).
<-><->
l.1244 $\llbracket$
sigRef $\rrbracket_{sR}$ {\bf )}
Not a real error.
[213]
! Preview: Snippet 214 started.
<-><->
l.1244 $\llbracket$ sigRef $
\rrbracket_{sR}$ {\bf )}
Not a real error.
! Preview: Snippet 214 ended.(393216+131072x920717).
<-><->
l.1244 $\llbracket$ sigRef $\rrbracket_{sR}$
{\bf )}
Not a real error.
[214]
! Preview: Snippet 215 started.
<-><->
l.1247 $
\llbracket$ $\alpha$ $\rrbracket_{e}^{v}$\\
Not a real error.
! Preview: Snippet 215 ended.(393216+131072x224373).
<-><->
l.1247 $\llbracket$
$\alpha$ $\rrbracket_{e}^{v}$\\
Not a real error.
[215]
! Preview: Snippet 216 started.
<-><->
l.1247 $\llbracket$ $
\alpha$ $\rrbracket_{e}^{v}$\\
Not a real error.
! Preview: Snippet 216 ended.(239843+0x380144).
<-><->
l.1247 $\llbracket$ $\alpha$
$\rrbracket_{e}^{v}$\\
Not a real error.
[216]
! Preview: Snippet 217 started.
<-><->
l.1247 $\llbracket$ $\alpha$ $
\rrbracket_{e}^{v}$\\
Not a real error.
! Preview: Snippet 217 ended.(393216+139264x552755).
<-><->
l.1247 $\llbracket$ $\alpha$ $\rrbracket_{e}^{v}$
\\
Not a real error.
[217]
! Preview: Snippet 218 started.
<-><->
l.1251 $
\llbracket$
Not a real error.
! Preview: Snippet 218 ended.(393216+131072x224373).
<-><->
l.1251 $\llbracket$
Not a real error.
[218]
! Preview: Snippet 219 started.
<-><->
l.1252 {\bf pred} predId {\bf (}$
v$: sigId,
Not a real error.
! Preview: Snippet 219 ended.(239843+0x308189).
<-><->
l.1252 {\bf pred} predId {\bf (}$v$
: sigId,
Not a real error.
[219]
! Preview: Snippet 220 started.
<-><->
l.1253 $
d_{1}$, ... ,$d_{n}${\bf )} $\{$$c_{1}$ ... $c_{n}$$\}$
Not a real error.
! Preview: Snippet 220 ended.(386844+69632x602692).
<-><->
l.1253 $d_{1}$
, ... ,$d_{n}${\bf )} $\{$$c_{1}$ ... $c_{n}$$\}$
Not a real error.
[220]
! Preview: Snippet 221 started.
<-><->
l.1253 $d_{1}$, ... ,$
d_{n}${\bf )} $\{$$c_{1}$ ... $c_{n}$$\}$
Not a real error.
! Preview: Snippet 221 ended.(386844+69632x680770).
<-><->
l.1253 $d_{1}$, ... ,$d_{n}$
{\bf )} $\{$$c_{1}$ ... $c_{n}$$\}$
Not a real error.
[221]
! Preview: Snippet 222 started.
<-><->
l.1253 $d_{1}$, ... ,$d_{n}${\bf )} $
\{$$c_{1}$ ... $c_{n}$$\}$
Not a real error.
! Preview: Snippet 222 ended.(417792+139264x295940).
<-><->
l.1253 $d_{1}$, ... ,$d_{n}${\bf )} $\{$
$c_{1}$ ... $c_{n}$$\}$
Not a real error.
[222]
! Preview: Snippet 223 started.
<-><->
l.1253 $d_{1}$, ... ,$d_{n}${\bf )} $\{$$
c_{1}$ ... $c_{n}$$\}$
Not a real error.
! Preview: Snippet 223 ended.(239843+69632x554498).
<-><->
l.1253 $d_{1}$, ... ,$d_{n}${\bf )} $\{$$c_{1}$
... $c_{n}$$\}$
Not a real error.
[223]
! Preview: Snippet 224 started.
<-><->
l.1253 ...$, ... ,$d_{n}${\bf )} $\{$$c_{1}$ ... $
c_{n}$$\}$
Not a real error.
! Preview: Snippet 224 ended.(239843+69632x632576).
<-><->
l.1253 ... ,$d_{n}${\bf )} $\{$$c_{1}$ ... $c_{n}$
$\}$
Not a real error.
[224]
! Preview: Snippet 225 started.
<-><->
l.1253 ...,$d_{n}${\bf )} $\{$$c_{1}$ ... $c_{n}$$
\}$
Not a real error.
! Preview: Snippet 225 ended.(417792+139264x295940).
<-><->
l.1253 ..._{n}${\bf )} $\{$$c_{1}$ ... $c_{n}$$\}$
Not a real error.
[225]
! Preview: Snippet 226 started.
<-><->
l.1254 $
\rrbracket_{predD}$ $\equiv$
Not a real error.
! Preview: Snippet 226 ended.(393216+154737x1819638).
<-><->
l.1254 $\rrbracket_{predD}$
$\equiv$
Not a real error.
[226]
! Preview: Snippet 227 started.
<-><->
l.1254 $\rrbracket_{predD}$ $
\equiv$
Not a real error.
! Preview: Snippet 227 ended.(269321+0x460351).
<-><->
l.1254 $\rrbracket_{predD}$ $\equiv$
Not a real error.
[227]
! Preview: Snippet 228 started.
<-><->
l.1260 {\bf(} $
d_{1}$
Not a real error.
! Preview: Snippet 228 ended.(386844+69632x602692).
<-><->
l.1260 {\bf(} $d_{1}$
Not a real error.
[228]
! Preview: Snippet 229 started.
<-><->
l.1261 , ... , $
d_{n}$
Not a real error.
! Preview: Snippet 229 ended.(386844+69632x680770).
<-><->
l.1261 , ... , $d_{n}$
Not a real error.
[229]
! Preview: Snippet 230 started.
<-><->
l.1265 $
\llbracket$ $c_{1}$ $\rrbracket_{c}^{v}$
Not a real error.
! Preview: Snippet 230 ended.(393216+131072x224373).
<-><->
l.1265 $\llbracket$
$c_{1}$ $\rrbracket_{c}^{v}$
Not a real error.
[230]
! Preview: Snippet 231 started.
<-><->
l.1265 $\llbracket$ $
c_{1}$ $\rrbracket_{c}^{v}$
Not a real error.
! Preview: Snippet 231 ended.(239843+69632x554498).
<-><->
l.1265 $\llbracket$ $c_{1}$
$\rrbracket_{c}^{v}$
Not a real error.
[231]
! Preview: Snippet 232 started.
<-><->
l.1265 $\llbracket$ $c_{1}$ $
\rrbracket_{c}^{v}$
Not a real error.
! Preview: Snippet 232 ended.(393216+139264x552755).
<-><->
l.1265 $\llbracket$ $c_{1}$ $\rrbracket_{c}^{v}$
Not a real error.
[232]
! Preview: Snippet 233 started.
<-><->
l.1270 $
\llbracket$ $c_{n}$ $\rrbracket_{c}^{v}$
Not a real error.
! Preview: Snippet 233 ended.(393216+131072x224373).
<-><->
l.1270 $\llbracket$
$c_{n}$ $\rrbracket_{c}^{v}$
Not a real error.
[233]
! Preview: Snippet 234 started.
<-><->
l.1270 $\llbracket$ $
c_{n}$ $\rrbracket_{c}^{v}$
Not a real error.
! Preview: Snippet 234 ended.(239843+69632x632576).
<-><->
l.1270 $\llbracket$ $c_{n}$
$\rrbracket_{c}^{v}$
Not a real error.
[234]
! Preview: Snippet 235 started.
<-><->
l.1270 $\llbracket$ $c_{n}$ $
\rrbracket_{c}^{v}$
Not a real error.
! Preview: Snippet 235 ended.(393216+139264x552755).
<-><->
l.1270 $\llbracket$ $c_{n}$ $\rrbracket_{c}^{v}$
Not a real error.
[235]
! Preview: Snippet 236 started.
<-><->
l.1273 $
\llbracket$
Not a real error.
! Preview: Snippet 236 ended.(393216+131072x224373).
<-><->
l.1273 $\llbracket$
Not a real error.
[236]
! Preview: Snippet 237 started.
<-><->
l.1274 {\bf pred} predId{\bf (}$
v$,$v{\bf ^{'}}$:sigId,
Not a real error.
! Preview: Snippet 237 ended.(239843+0x308189).
<-><->
l.1274 {\bf pred} predId{\bf (}$v$
,$v{\bf ^{'}}$:sigId,
Not a real error.
[237]
! Preview: Snippet 238 started.
<-><->
l.1274 {\bf pred} predId{\bf (}$v$,$
v{\bf ^{'}}$:sigId,
Not a real error.
! Preview: Snippet 238 ended.(508692+0x496549).
<-><->
l.1274 {\bf pred} predId{\bf (}$v$,$v{\bf ^{'}}$
:sigId,
Not a real error.
[238]
! Preview: Snippet 239 started.
<-><->
l.1275 $
d_{1}$,... , $d_{n}${\bf )} $\{$$c_{1}$...$c_{n}$$\}$
Not a real error.
! Preview: Snippet 239 ended.(386844+69632x602692).
<-><->
l.1275 $d_{1}$
,... , $d_{n}${\bf )} $\{$$c_{1}$...$c_{n}$$\}$
Not a real error.
[239]
! Preview: Snippet 240 started.
<-><->
l.1275 $d_{1}$,... , $
d_{n}${\bf )} $\{$$c_{1}$...$c_{n}$$\}$
Not a real error.
! Preview: Snippet 240 ended.(386844+69632x680770).
<-><->
l.1275 $d_{1}$,... , $d_{n}$
{\bf )} $\{$$c_{1}$...$c_{n}$$\}$
Not a real error.
[240]
! Preview: Snippet 241 started.
<-><->
l.1275 $d_{1}$,... , $d_{n}${\bf )} $
\{$$c_{1}$...$c_{n}$$\}$
Not a real error.
! Preview: Snippet 241 ended.(417792+139264x295940).
<-><->
l.1275 $d_{1}$,... , $d_{n}${\bf )} $\{$
$c_{1}$...$c_{n}$$\}$
Not a real error.
[241]
! Preview: Snippet 242 started.
<-><->
l.1275 $d_{1}$,... , $d_{n}${\bf )} $\{$$
c_{1}$...$c_{n}$$\}$
Not a real error.
! Preview: Snippet 242 ended.(239843+69632x554498).
<-><->
l.1275 $d_{1}$,... , $d_{n}${\bf )} $\{$$c_{1}$
...$c_{n}$$\}$
Not a real error.
[242]
! Preview: Snippet 243 started.
<-><->
l.1275 ...1}$,... , $d_{n}${\bf )} $\{$$c_{1}$...$
c_{n}$$\}$
Not a real error.
! Preview: Snippet 243 ended.(239843+69632x632576).
<-><->
l.1275 .... , $d_{n}${\bf )} $\{$$c_{1}$...$c_{n}$
$\}$
Not a real error.
[243]
! Preview: Snippet 244 started.
<-><->
l.1275 ... , $d_{n}${\bf )} $\{$$c_{1}$...$c_{n}$$
\}$
Not a real error.
! Preview: Snippet 244 ended.(417792+139264x295940).
<-><->
l.1275 ...$d_{n}${\bf )} $\{$$c_{1}$...$c_{n}$$\}$
Not a real error.
[244]
! Preview: Snippet 245 started.
<-><->
l.1276 $
\rrbracket_{predD}$ $\equiv$
Not a real error.
! Preview: Snippet 245 ended.(393216+154737x1819638).
<-><->
l.1276 $\rrbracket_{predD}$
$\equiv$
Not a real error.
[245]
! Preview: Snippet 246 started.
<-><->
l.1276 $\rrbracket_{predD}$ $
\equiv$
Not a real error.
! Preview: Snippet 246 ended.(269321+0x460351).
<-><->
l.1276 $\rrbracket_{predD}$ $\equiv$
Not a real error.
[246]
! Preview: Snippet 247 started.
<-><->
l.1282 {\bf(} $
d_{1}$
Not a real error.
! Preview: Snippet 247 ended.(386844+69632x602692).
<-><->
l.1282 {\bf(} $d_{1}$
Not a real error.
[247]
! Preview: Snippet 248 started.
<-><->
l.1283 , ... , $
d_{n}$
Not a real error.
! Preview: Snippet 248 ended.(386844+69632x680770).
<-><->
l.1283 , ... , $d_{n}$
Not a real error.
[248]
! Preview: Snippet 249 started.
<-><->
l.1287 - Translate each $
c_{i}$ without a $v{\bf ^{'}}$ as
Not a real error.
! Preview: Snippet 249 ended.(239843+69632x497179).
<-><->
l.1287 - Translate each $c_{i}$
without a $v{\bf ^{'}}$ as
Not a real error.
[249]
! Preview: Snippet 250 started.
<-><->
l.1287 - Translate each $c_{i}$ without a $
v{\bf ^{'}}$ as
Not a real error.
! Preview: Snippet 250 ended.(508692+0x496549).
<-><->
l.1287 ...te each $c_{i}$ without a $v{\bf ^{'}}$
as
Not a real error.
[250]
! Preview: Snippet 251 started.
<-><->
l.1290 $
\llbracket$ $c_{i}$ $\rrbracket_{c}^{v}$
Not a real error.
! Preview: Snippet 251 ended.(393216+131072x224373).
<-><->
l.1290 $\llbracket$
$c_{i}$ $\rrbracket_{c}^{v}$
Not a real error.
[251]
! Preview: Snippet 252 started.
<-><->
l.1290 $\llbracket$ $
c_{i}$ $\rrbracket_{c}^{v}$
Not a real error.
! Preview: Snippet 252 ended.(239843+69632x497179).
<-><->
l.1290 $\llbracket$ $c_{i}$
$\rrbracket_{c}^{v}$
Not a real error.
[252]
! Preview: Snippet 253 started.
<-><->
l.1290 $\llbracket$ $c_{i}$ $
\rrbracket_{c}^{v}$
Not a real error.
! Preview: Snippet 253 ended.(393216+139264x552755).
<-><->
l.1290 $\llbracket$ $c_{i}$ $\rrbracket_{c}^{v}$
Not a real error.
[253]
! Preview: Snippet 254 started.
<-><->
l.1293 - Translate each $
c_{i}$ with a $v{\bf ^{'}}$ as
Not a real error.
! Preview: Snippet 254 ended.(239843+69632x497179).
<-><->
l.1293 - Translate each $c_{i}$
with a $v{\bf ^{'}}$ as
Not a real error.
[254]
! Preview: Snippet 255 started.
<-><->
l.1293 - Translate each $c_{i}$ with a $
v{\bf ^{'}}$ as
Not a real error.
! Preview: Snippet 255 ended.(508692+0x496549).
<-><->
l.1293 ...nslate each $c_{i}$ with a $v{\bf ^{'}}$
as
Not a real error.
[255]
! Preview: Snippet 256 started.
<-><->
l.1296 $
\llbracket c_{i}\rrbracket_{c^{'}}^{v{\bf ^{'}}})$
Not a real error.
! Preview: Snippet 256 ended.(621093+259822x1692842).
<-><->
l.1296 ... c_{i}\rrbracket_{c^{'}}^{v{\bf ^{'}}})$
Not a real error.
[256]
! Preview: Snippet 257 started.
<-><->
l.1298 $
\llbracket c_{i} \rrbracket_{valid}^{v{\bf ^{'}}}$ = true
Not a real error.
! Preview: Snippet 257 ended.(621093+179048x2260079).
<-><->
l.1298 ... c_{i} \rrbracket_{valid}^{v{\bf ^{'}}}$
= true
Not a real error.
[257]
! Preview: Snippet 258 started.
<-><->
l.1309 ...lid : Constraint( Variable, Variable ) $
\rightarrow$ Boolean}
Not a real error.
! Preview: Snippet 258 ended.(240435+0x655361).
<-><->
l.1309 ...aint( Variable, Variable ) $\rightarrow$
Boolean}
Not a real error.
[258]
! Preview: Snippet 259 started.
<-><->
l.1311 cardinality of $
\llbracket$ $\alpha$ $\rrbracket_{state}^{x}$
Not a real error.
! Preview: Snippet 259 ended.(491520+163840x263965).
<-><->
l.1311 cardinality of $\llbracket$
$\alpha$ $\rrbracket_{state}^{x}$
Not a real error.
[259]
! Preview: Snippet 260 started.
<-><->
l.1311 cardinality of $\llbracket$ $
\alpha$ $\rrbracket_{state}^{x}$
Not a real error.
! Preview: Snippet 260 ended.(282168+0x421661).
<-><->
l.1311 ... cardinality of $\llbracket$ $\alpha$
$\rrbracket_{state}^{x}$
Not a real error.
[260]
! Preview: Snippet 261 started.
<-><->
l.1311 ... cardinality of $\llbracket$ $\alpha$ $
\rrbracket_{state}^{x}$
Not a real error.
! Preview: Snippet 261 ended.(491520+163840x1472958).
<-><->
l.1311 ...acket$ $\alpha$ $\rrbracket_{state}^{x}$
Not a real error.
[261]
! Preview: Snippet 262 started.
<-><->
l.1313 for each expression $
\alpha$ in $c_{i}$,
Not a real error.
! Preview: Snippet 262 ended.(282168+0x421661).
<-><->
l.1313 for each expression $\alpha$
in $c_{i}$,
Not a real error.
[262]
! Preview: Snippet 263 started.
<-><->
l.1313 for each expression $\alpha$ in $
c_{i}$,
Not a real error.
! Preview: Snippet 263 ended.(282168+98303x501799).
<-><->
l.1313 ... for each expression $\alpha$ in $c_{i}$
,
Not a real error.
[263]
! Preview: Snippet 264 started.
<-><->
l.1318 ``$
v$ {\bf in} Book'',
Not a real error.
! Preview: Snippet 264 ended.(282168+0x341181).
<-><->
l.1318 ``$v$
{\bf in} Book'',
Not a real error.
[264]
! Preview: Snippet 265 started.
<-><->
l.1319 where $
v$ is the pre-state
Not a real error.
! Preview: Snippet 265 ended.(282168+0x341181).
<-><->
l.1319 where $v$
is the pre-state
Not a real error.
[265]
! Preview: Snippet 266 started.
<-><->
l.1324 ...te : Expression( Variable , Variable ) $
\rightarrow \{ pre , post ...
Not a real error.
! Preview: Snippet 266 ended.(491520+163840x3924043).
<-><->
l.1324 ...ariable ) $\rightarrow \{ pre , post \}$
}
Not a real error.
[266]
! Preview: Snippet 267 started.
<-><->
l.1326 the expression $
\alpha$
Not a real error.
! Preview: Snippet 267 ended.(282168+0x421661).
<-><->
l.1326 the expression $\alpha$
Not a real error.
[267]
! Preview: Snippet 268 started.
<-><->
l.1332 if x = $
v{\bf ^{'}}$ then
Not a real error.
! Preview: Snippet 268 ended.(617644+0x551216).
<-><->
l.1332 if x = $v{\bf ^{'}}$
then
Not a real error.
[268]
! Preview: Snippet 269 started.
<-><->
l.1335 $
\llbracket$ $v$ $\rrbracket_{state}^{x}$
Not a real error.
! Preview: Snippet 269 ended.(393216+131072x224373).
<-><->
l.1335 $\llbracket$
$v$ $\rrbracket_{state}^{x}$
Not a real error.
[269]
! Preview: Snippet 270 started.
<-><->
l.1335 $\llbracket$ $
v$ $\rrbracket_{state}^{x}$
Not a real error.
! Preview: Snippet 270 ended.(239843+0x308189).
<-><->
l.1335 $\llbracket$ $v$
$\rrbracket_{state}^{x}$
Not a real error.
[270]
! Preview: Snippet 271 started.
<-><->
l.1335 $\llbracket$ $v$ $
\rrbracket_{state}^{x}$
Not a real error.
! Preview: Snippet 271 ended.(393216+148100x1524013).
<-><->
l.1335 ...\llbracket$ $v$ $\rrbracket_{state}^{x}$
Not a real error.
[271]
! Preview: Snippet 272 started.
<-><->
l.1336 $
\equiv$ $\{ pre \}$,
Not a real error.
! Preview: Snippet 272 ended.(269321+0x460351).
<-><->
l.1336 $\equiv$
$\{ pre \}$,
Not a real error.
[272]
! Preview: Snippet 273 started.
<-><->
l.1336 $\equiv$ $
\{ pre \}$,
Not a real error.
! Preview: Snippet 273 ended.(417792+139264x1447913).
<-><->
l.1336 $\equiv$ $\{ pre \}$
,
Not a real error.
[273]
! Preview: Snippet 274 started.
<-><->
l.1338 $
\llbracket$ $v{\bf ^{'}}$ $\rrbracket_{state}^{x}$
Not a real error.
! Preview: Snippet 274 ended.(393216+131072x224373).
<-><->
l.1338 $\llbracket$
$v{\bf ^{'}}$ $\rrbracket_{state}^{x}$
Not a real error.
[274]
! Preview: Snippet 275 started.
<-><->
l.1338 $\llbracket$ $
v{\bf ^{'}}$ $\rrbracket_{state}^{x}$
Not a real error.
! Preview: Snippet 275 ended.(508692+0x496549).
<-><->
l.1338 $\llbracket$ $v{\bf ^{'}}$
$\rrbracket_{state}^{x}$
Not a real error.
[275]
! Preview: Snippet 276 started.
<-><->
l.1338 $\llbracket$ $v{\bf ^{'}}$ $
\rrbracket_{state}^{x}$
Not a real error.
! Preview: Snippet 276 ended.(393216+148100x1524013).
<-><->
l.1338 ...$ $v{\bf ^{'}}$ $\rrbracket_{state}^{x}$
Not a real error.
[276]
! Preview: Snippet 277 started.
<-><->
l.1339 $
\equiv$ $\{ post \}$,
Not a real error.
! Preview: Snippet 277 ended.(269321+0x460351).
<-><->
l.1339 $\equiv$
$\{ post \}$,
Not a real error.
[277]
! Preview: Snippet 278 started.
<-><->
l.1339 $\equiv$ $
\{ post \}$,
Not a real error.
! Preview: Snippet 278 ended.(417792+139264x1663323).
<-><->
l.1339 $\equiv$ $\{ post \}$
,
Not a real error.
[278]
! Preview: Snippet 279 started.
<-><->
l.1341 $
\llbracket$ $v$ + $v{\bf ^{'}}$ $\rrbracket_{state}^{v}$
Not a real error.
! Preview: Snippet 279 ended.(393216+131072x224373).
<-><->
l.1341 $\llbracket$
$v$ + $v{\bf ^{'}}$ $\rrbracket_{state}^{v}$
Not a real error.
[279]
! Preview: Snippet 280 started.
<-><->
l.1341 $\llbracket$ $
v$ + $v{\bf ^{'}}$ $\rrbracket_{state}^{v}$
Not a real error.
! Preview: Snippet 280 ended.(239843+0x308189).
<-><->
l.1341 $\llbracket$ $v$
+ $v{\bf ^{'}}$ $\rrbracket_{state}^{v}$
Not a real error.
[280]
! Preview: Snippet 281 started.
<-><->
l.1341 $\llbracket$ $v$ + $
v{\bf ^{'}}$ $\rrbracket_{state}^{v}$
Not a real error.
! Preview: Snippet 281 ended.(508692+0x496549).
<-><->
l.1341 $\llbracket$ $v$ + $v{\bf ^{'}}$
$\rrbracket_{state}^{v}$
Not a real error.
[281]
! Preview: Snippet 282 started.
<-><->
l.1341 $\llbracket$ $v$ + $v{\bf ^{'}}$ $
\rrbracket_{state}^{v}$
Not a real error.
! Preview: Snippet 282 ended.(393216+148100x1524013).
<-><->
l.1341 ...+ $v{\bf ^{'}}$ $\rrbracket_{state}^{v}$
Not a real error.
[282]
! Preview: Snippet 283 started.
<-><->
l.1342 $
\equiv$ $\{ pre, post \}$
Not a real error.
! Preview: Snippet 283 ended.(269321+0x460351).
<-><->
l.1342 $\equiv$
$\{ pre, post \}$
Not a real error.
[283]
! Preview: Snippet 284 started.
<-><->
l.1342 $\equiv$ $
\{ pre, post \}$
Not a real error.
! Preview: Snippet 284 ended.(417792+139264x2782413).
<-><->
l.1342 $\equiv$ $\{ pre, post \}$
Not a real error.
[284]
! Preview: Snippet 285 started.
<-><->
l.1347 expressions such as ``$
\alpha {\bf.} v$''
Not a real error.
! Preview: Snippet 285 ended.(282168+0x944887).
<-><->
l.1347 expressions such as ``$\alpha {\bf.} v$
''
Not a real error.
[285]
! Preview: Snippet 286 started.
<-><->
l.1351 $
\llbracket$ $\alpha$ {\bf .} $v$ $\rrbracket_{e^{'}}^{x} \equiv$
Not a real error.
! Preview: Snippet 286 ended.(393216+131072x224373).
<-><->
l.1351 $\llbracket$
$\alpha$ {\bf .} $v$ $\rrbracket_{e^{'}}^{x} \equiv$
Not a real error.
[286]
! Preview: Snippet 287 started.
<-><->
l.1351 $\llbracket$ $
\alpha$ {\bf .} $v$ $\rrbracket_{e^{'}}^{x} \equiv$
Not a real error.
! Preview: Snippet 287 ended.(239843+0x380144).
<-><->
l.1351 $\llbracket$ $\alpha$
{\bf .} $v$ $\rrbracket_{e^{'}}^{x} \equiv$
Not a real error.
[287]
! Preview: Snippet 288 started.
<-><->
l.1351 $\llbracket$ $\alpha$ {\bf .} $
v$ $\rrbracket_{e^{'}}^{x} \equiv$
Not a real error.
! Preview: Snippet 288 ended.(239843+0x308189).
<-><->
l.1351 $\llbracket$ $\alpha$ {\bf .} $v$
$\rrbracket_{e^{'}}^{x} \equiv$
Not a real error.
[288]
! Preview: Snippet 289 started.
<-><->
l.1351 $\llbracket$ $\alpha$ {\bf .} $v$ $
\rrbracket_{e^{'}}^{x} \equiv$
Not a real error.
! Preview: Snippet 289 ended.(393216+259822x1334256).
<-><->
l.1351 ...f .} $v$ $\rrbracket_{e^{'}}^{x} \equiv$
Not a real error.
[289]
! Preview: Snippet 290 started.
<-><->
l.1354 $
\llbracket$ $\alpha$ $\rrbracket_{e^{'}}^{x}$ {\bf .} $v$
Not a real error.
! Preview: Snippet 290 ended.(393216+131072x224373).
<-><->
l.1354 $\llbracket$
$\alpha$ $\rrbracket_{e^{'}}^{x}$ {\bf .} $v$
Not a real error.
[290]
! Preview: Snippet 291 started.
<-><->
l.1354 $\llbracket$ $
\alpha$ $\rrbracket_{e^{'}}^{x}$ {\bf .} $v$
Not a real error.
! Preview: Snippet 291 ended.(239843+0x380144).
<-><->
l.1354 $\llbracket$ $\alpha$
$\rrbracket_{e^{'}}^{x}$ {\bf .} $v$
Not a real error.
[291]
! Preview: Snippet 292 started.
<-><->
l.1354 $\llbracket$ $\alpha$ $
\rrbracket_{e^{'}}^{x}$ {\bf .} $v$
Not a real error.
! Preview: Snippet 292 ended.(393216+259822x709495).
<-><->
l.1354 ...cket$ $\alpha$ $\rrbracket_{e^{'}}^{x}$
{\bf .} $v$
Not a real error.
[292]
! Preview: Snippet 293 started.
<-><->
l.1354 ...pha$ $\rrbracket_{e^{'}}^{x}$ {\bf .} $
v$
Not a real error.
! Preview: Snippet 293 ended.(239843+0x308189).
<-><->
l.1354 ...a$ $\rrbracket_{e^{'}}^{x}$ {\bf .} $v$
Not a real error.
[293]
! Preview: Snippet 294 started.
<-><->
l.1355 {\bf $
\rightarrow$ asSet() )}
Not a real error.
! Preview: Snippet 294 ended.(210559+0x591880).
<-><->
l.1355 {\bf $\rightarrow$
asSet() )}
Not a real error.
[294]
! Preview: Snippet 295 started.
<-><->
l.1357 $
\llbracket$ $\alpha$ $\rrbracket_{state}^{x}$ =
Not a real error.
! Preview: Snippet 295 ended.(393216+131072x224373).
<-><->
l.1357 $\llbracket$
$\alpha$ $\rrbracket_{state}^{x}$ =
Not a real error.
[295]
! Preview: Snippet 296 started.
<-><->
l.1357 $\llbracket$ $
\alpha$ $\rrbracket_{state}^{x}$ =
Not a real error.
! Preview: Snippet 296 ended.(239843+0x380144).
<-><->
l.1357 $\llbracket$ $\alpha$
$\rrbracket_{state}^{x}$ =
Not a real error.
[296]
! Preview: Snippet 297 started.
<-><->
l.1357 $\llbracket$ $\alpha$ $
\rrbracket_{state}^{x}$ =
Not a real error.
! Preview: Snippet 297 ended.(393216+148100x1524013).
<-><->
l.1357 ...cket$ $\alpha$ $\rrbracket_{state}^{x}$
=
Not a real error.
[297]
! Preview: Snippet 298 started.
<-><->
l.1358 $
\{$ {\em post} $\}$
Not a real error.
! Preview: Snippet 298 ended.(417792+139264x295940).
<-><->
l.1358 $\{$
{\em post} $\}$
Not a real error.
[298]
! Preview: Snippet 299 started.
<-><->
l.1358 $\{$ {\em post} $
\}$
Not a real error.
! Preview: Snippet 299 ended.(417792+139264x295940).
<-><->
l.1358 $\{$ {\em post} $\}$
Not a real error.
[299]
! Preview: Snippet 300 started.
<-><->
l.1361 $
\llbracket$ $\alpha$ $\rrbracket_{e^{'}}^{x}$
Not a real error.
! Preview: Snippet 300 ended.(393216+131072x224373).
<-><->
l.1361 $\llbracket$
$\alpha$ $\rrbracket_{e^{'}}^{x}$
Not a real error.
[300]
! Preview: Snippet 301 started.
<-><->
l.1361 $\llbracket$ $
\alpha$ $\rrbracket_{e^{'}}^{x}$
Not a real error.
! Preview: Snippet 301 ended.(239843+0x380144).
<-><->
l.1361 $\llbracket$ $\alpha$
$\rrbracket_{e^{'}}^{x}$
Not a real error.
[301]
! Preview: Snippet 302 started.
<-><->
l.1361 $\llbracket$ $\alpha$ $
\rrbracket_{e^{'}}^{x}$
Not a real error.
! Preview: Snippet 302 ended.(393216+259822x709495).
<-><->
l.1361 ...cket$ $\alpha$ $\rrbracket_{e^{'}}^{x}$
Not a real error.
[302]
! Preview: Snippet 303 started.
<-><->
l.1362 {\bf .} $
v${\bf @pre}
Not a real error.
! Preview: Snippet 303 ended.(239843+0x308189).
<-><->
l.1362 {\bf .} $v$
{\bf @pre}
Not a real error.
[303]
! Preview: Snippet 304 started.
<-><->
l.1363 {\bf $
\rightarrow$ asSet() )}
Not a real error.
! Preview: Snippet 304 ended.(210559+0x591880).
<-><->
l.1363 {\bf $\rightarrow$
asSet() )}
Not a real error.
[304]
! Preview: Snippet 305 started.
<-><->
l.1365 $
\llbracket$ $\alpha$ $\rrbracket_{state}^{x}$ =
Not a real error.
! Preview: Snippet 305 ended.(393216+131072x224373).
<-><->
l.1365 $\llbracket$
$\alpha$ $\rrbracket_{state}^{x}$ =
Not a real error.
[305]
! Preview: Snippet 306 started.
<-><->
l.1365 $\llbracket$ $
\alpha$ $\rrbracket_{state}^{x}$ =
Not a real error.
! Preview: Snippet 306 ended.(239843+0x380144).
<-><->
l.1365 $\llbracket$ $\alpha$
$\rrbracket_{state}^{x}$ =
Not a real error.
[306]
! Preview: Snippet 307 started.
<-><->
l.1365 $\llbracket$ $\alpha$ $
\rrbracket_{state}^{x}$ =
Not a real error.
! Preview: Snippet 307 ended.(393216+148100x1524013).
<-><->
l.1365 ...cket$ $\alpha$ $\rrbracket_{state}^{x}$
=
Not a real error.
[307]
! Preview: Snippet 308 started.
<-><->
l.1366 $
\{$ {\em pre} $\}$\\
Not a real error.
! Preview: Snippet 308 ended.(417792+139264x295940).
<-><->
l.1366 $\{$
{\em pre} $\}$\\
Not a real error.
[308]
! Preview: Snippet 309 started.
<-><->
l.1366 $\{$ {\em pre} $
\}$\\
Not a real error.
! Preview: Snippet 309 ended.(417792+139264x295940).
<-><->
l.1366 $\{$ {\em pre} $\}$
\\
Not a real error.
[309]
! Preview: Snippet 310 started.
<-><->
l.1381 Most of the Alloy constrains $
c$
Not a real error.
! Preview: Snippet 310 ended.(282168+0x283611).
<-><->
l.1381 Most of the Alloy constrains $c$
Not a real error.
[310]
! Preview: Snippet 311 started.
<-><->
l.1390 Let $
d$ be a declaration,
Not a real error.
! Preview: Snippet 311 ended.(386844+0x304546).
<-><->
l.1390 Let $d$
be a declaration,
Not a real error.
[311]
! Preview: Snippet 312 started.
<-><->
l.1391 $
cB$ a constraint body,
Not a real error.
! Preview: Snippet 312 ended.(380654+0x730241).
<-><->
l.1391 $cB$
a constraint body,
Not a real error.
[312]
! Preview: Snippet 313 started.
<-><->
l.1392 $
\llbracket cB \rrbracket_{cB}^{x}$
Not a real error.
! Preview: Snippet 313 ended.(393216+174715x1887561).
<-><->
l.1392 $\llbracket cB \rrbracket_{cB}^{x}$
Not a real error.
[313]
! Preview: Snippet 314 started.
<-><->
l.1393 ...int body transformation in the context $
x$,
Not a real error.
! Preview: Snippet 314 ended.(239843+0x333173).
<-><->
l.1393 ...t body transformation in the context $x$
,
Not a real error.
[314]
! Preview: Snippet 315 started.
<-><->
l.1394 $
\llbracket d \rrbracket_{decl}$
Not a real error.
! Preview: Snippet 315 ended.(393216+131072x1779024).
<-><->
l.1394 $\llbracket d \rrbracket_{decl}$
Not a real error.
[315]
! Preview: Snippet 316 started.
<-><->
l.1396 $
\llbracket d \rrbracket_{var}$
Not a real error.
! Preview: Snippet 316 ended.(393216+131072x1658957).
<-><->
l.1396 $\llbracket d \rrbracket_{var}$
Not a real error.
[316]
! Preview: Snippet 317 started.
<-><->
l.1400 $
\llbracket$ {\bf all} $d$ $cB$ $\rrbracket_{c}^{x} \equiv$
Not a real error.
! Preview: Snippet 317 ended.(393216+131072x224373).
<-><->
l.1400 $\llbracket$
{\bf all} $d$ $cB$ $\rrbracket_{c}^{x} \equiv$
Not a real error.
[317]
! Preview: Snippet 318 started.
<-><->
l.1400 $\llbracket$ {\bf all} $
d$ $cB$ $\rrbracket_{c}^{x} \equiv$
Not a real error.
! Preview: Snippet 318 ended.(386844+0x304546).
<-><->
l.1400 $\llbracket$ {\bf all} $d$
$cB$ $\rrbracket_{c}^{x} \equiv$
Not a real error.
[318]
! Preview: Snippet 319 started.
<-><->
l.1400 $\llbracket$ {\bf all} $d$ $
cB$ $\rrbracket_{c}^{x} \equiv$
Not a real error.
! Preview: Snippet 319 ended.(380654+0x730241).
<-><->
l.1400 $\llbracket$ {\bf all} $d$ $cB$
$\rrbracket_{c}^{x} \equiv$
Not a real error.
[319]
! Preview: Snippet 320 started.
<-><->
l.1400 $\llbracket$ {\bf all} $d$ $cB$ $
\rrbracket_{c}^{x} \equiv$
Not a real error.
! Preview: Snippet 320 ended.(393216+139264x1190605).
<-><->
l.1400 ...} $d$ $cB$ $\rrbracket_{c}^{x} \equiv$
Not a real error.
[320]
! Preview: Snippet 321 started.
<-><->
l.1402 \hspace{3mm}$
\llbracket$ $d$ $\rrbracket_{decl }${\bf . allInstances}
Not a real error.
! Preview: Snippet 321 ended.(393216+131072x224373).
<-><->
l.1402 \hspace{3mm}$\llbracket$
$d$ $\rrbracket_{decl }${\bf . allInstances}
Not a real error.
[321]
! Preview: Snippet 322 started.
<-><->
l.1402 \hspace{3mm}$\llbracket$ $
d$ $\rrbracket_{decl }${\bf . allInstances}
Not a real error.
! Preview: Snippet 322 ended.(386844+0x304546).
<-><->
l.1402 \hspace{3mm}$\llbracket$ $d$
$\rrbracket_{decl }${\bf . allInstances}
Not a real error.
[322]
! Preview: Snippet 323 started.
<-><->
l.1402 \hspace{3mm}$\llbracket$ $d$ $
\rrbracket_{decl }${\bf . allInstances}
Not a real error.
! Preview: Snippet 323 ended.(393216+131072x1250105).
<-><->
l.1402 ...}$\llbracket$ $d$ $\rrbracket_{decl }$
{\bf . allInstances}
Not a real error.
[323]
! Preview: Snippet 324 started.
<-><->
l.1403 {\bf $
\rightarrow$ forAll (} $\llbracket d \rrbracket_{var }$ {\bf $|$}
Not a real error.
! Preview: Snippet 324 ended.(210559+0x591880).
<-><->
l.1403 {\bf $\rightarrow$
forAll (} $\llbracket d \rrbracket_{var }$ {\bf $|$}
Not a real error.
[324]
! Preview: Snippet 325 started.
<-><->
l.1403 {\bf $\rightarrow$ forAll (} $
\llbracket d \rrbracket_{var }$ {\bf $|$}
Not a real error.
! Preview: Snippet 325 ended.(393216+131072x1658957).
<-><->
l.1403 ...rAll (} $\llbracket d \rrbracket_{var }$
{\bf $|$}
Not a real error.
[325]
! Preview: Snippet 326 started.
<-><->
l.1403 ... $\llbracket d \rrbracket_{var }$ {\bf $
|$}
Not a real error.
! Preview: Snippet 326 ended.(417792+139264x164411).
<-><->
l.1403 ...\llbracket d \rrbracket_{var }$ {\bf $|$
}
Not a real error.
[326]
! Preview: Snippet 327 started.
<-><->
l.1404 $
\llbracket cB \rrbracket_{cB }^{x}${\bf )}
Not a real error.
! Preview: Snippet 327 ended.(393216+174715x1887561).
<-><->
l.1404 $\llbracket cB \rrbracket_{cB }^{x}$
{\bf )}
Not a real error.
[327]
! Preview: Snippet 328 started.
<-><->
l.1407 $
\llbracket$ {\bf no} $d$ $cB$ $\rrbracket_{c}^{x} \equiv$
Not a real error.
! Preview: Snippet 328 ended.(393216+131072x224373).
<-><->
l.1407 $\llbracket$
{\bf no} $d$ $cB$ $\rrbracket_{c}^{x} \equiv$
Not a real error.
[328]
! Preview: Snippet 329 started.
<-><->
l.1407 $\llbracket$ {\bf no} $
d$ $cB$ $\rrbracket_{c}^{x} \equiv$
Not a real error.
! Preview: Snippet 329 ended.(386844+0x304546).
<-><->
l.1407 $\llbracket$ {\bf no} $d$
$cB$ $\rrbracket_{c}^{x} \equiv$
Not a real error.
[329]
! Preview: Snippet 330 started.
<-><->
l.1407 $\llbracket$ {\bf no} $d$ $
cB$ $\rrbracket_{c}^{x} \equiv$
Not a real error.
! Preview: Snippet 330 ended.(380654+0x730241).
<-><->
l.1407 $\llbracket$ {\bf no} $d$ $cB$
$\rrbracket_{c}^{x} \equiv$
Not a real error.
[330]
! Preview: Snippet 331 started.
<-><->
l.1407 $\llbracket$ {\bf no} $d$ $cB$ $
\rrbracket_{c}^{x} \equiv$
Not a real error.
! Preview: Snippet 331 ended.(393216+139264x1190605).
<-><->
l.1407 ...} $d$ $cB$ $\rrbracket_{c}^{x} \equiv$
Not a real error.
[331]
! Preview: Snippet 332 started.
<-><->
l.1409 \hspace{3mm}$
\llbracket$ $d$ $\rrbracket_{decl }${\bf . allInstances}
Not a real error.
! Preview: Snippet 332 ended.(393216+131072x224373).
<-><->
l.1409 \hspace{3mm}$\llbracket$
$d$ $\rrbracket_{decl }${\bf . allInstances}
Not a real error.
[332]
! Preview: Snippet 333 started.
<-><->
l.1409 \hspace{3mm}$\llbracket$ $
d$ $\rrbracket_{decl }${\bf . allInstances}
Not a real error.
! Preview: Snippet 333 ended.(386844+0x304546).
<-><->
l.1409 \hspace{3mm}$\llbracket$ $d$
$\rrbracket_{decl }${\bf . allInstances}
Not a real error.
[333]
! Preview: Snippet 334 started.
<-><->
l.1409 \hspace{3mm}$\llbracket$ $d$ $
\rrbracket_{decl }${\bf . allInstances}
Not a real error.
! Preview: Snippet 334 ended.(393216+131072x1250105).
<-><->
l.1409 ...}$\llbracket$ $d$ $\rrbracket_{decl }$
{\bf . allInstances}
Not a real error.
[334]
! Preview: Snippet 335 started.
<-><->
l.1410 {\bf $
\rightarrow$ select (} $\llbracket d \rrbracket_{var }$ {\bf $|$}
Not a real error.
! Preview: Snippet 335 ended.(210559+0x591880).
<-><->
l.1410 {\bf $\rightarrow$
select (} $\llbracket d \rrbracket_{var }$ {\bf $|$}
Not a real error.
[335]
! Preview: Snippet 336 started.
<-><->
l.1410 {\bf $\rightarrow$ select (} $
\llbracket d \rrbracket_{var }$ {\bf $|$}
Not a real error.
! Preview: Snippet 336 ended.(393216+131072x1658957).
<-><->
l.1410 ...lect (} $\llbracket d \rrbracket_{var }$
{\bf $|$}
Not a real error.
[336]
! Preview: Snippet 337 started.
<-><->
l.1410 ... $\llbracket d \rrbracket_{var }$ {\bf $
|$}
Not a real error.
! Preview: Snippet 337 ended.(417792+139264x164411).
<-><->
l.1410 ...\llbracket d \rrbracket_{var }$ {\bf $|$
}
Not a real error.
[337]
! Preview: Snippet 338 started.
<-><->
l.1411 $
\llbracket cB \rrbracket_{cB}^{x}$
Not a real error.
! Preview: Snippet 338 ended.(393216+174715x1887561).
<-><->
l.1411 $\llbracket cB \rrbracket_{cB}^{x}$
Not a real error.
[338]
! Preview: Snippet 339 started.
<-><->
l.1414 \hspace{18mm}$
\rightarrow$ isEmpty()}
Not a real error.
! Preview: Snippet 339 ended.(210559+0x591880).
<-><->
l.1414 \hspace{18mm}$\rightarrow$
isEmpty()}
Not a real error.
[339]
! Preview: Snippet 340 started.
<-><->
l.1417 $
\llbracket$ {\bf lone} $d$ $cB$ $\rrbracket_{c}^{x} \equiv$
Not a real error.
! Preview: Snippet 340 ended.(393216+131072x224373).
<-><->
l.1417 $\llbracket$
{\bf lone} $d$ $cB$ $\rrbracket_{c}^{x} \equiv$
Not a real error.
[340]
! Preview: Snippet 341 started.
<-><->
l.1417 $\llbracket$ {\bf lone} $
d$ $cB$ $\rrbracket_{c}^{x} \equiv$
Not a real error.
! Preview: Snippet 341 ended.(386844+0x304546).
<-><->
l.1417 $\llbracket$ {\bf lone} $d$
$cB$ $\rrbracket_{c}^{x} \equiv$
Not a real error.
[341]
! Preview: Snippet 342 started.
<-><->
l.1417 $\llbracket$ {\bf lone} $d$ $
cB$ $\rrbracket_{c}^{x} \equiv$
Not a real error.
! Preview: Snippet 342 ended.(380654+0x730241).
<-><->
l.1417 $\llbracket$ {\bf lone} $d$ $cB$
$\rrbracket_{c}^{x} \equiv$
Not a real error.
[342]
! Preview: Snippet 343 started.
<-><->
l.1417 $\llbracket$ {\bf lone} $d$ $cB$ $
\rrbracket_{c}^{x} \equiv$
Not a real error.
! Preview: Snippet 343 ended.(393216+139264x1190605).
<-><->
l.1417 ...} $d$ $cB$ $\rrbracket_{c}^{x} \equiv$
Not a real error.
[343]
! Preview: Snippet 344 started.
<-><->
l.1419 \hspace{3mm}$
\llbracket$ $d$ $\rrbracket_{decl }$ {\bf . allInstances}
Not a real error.
! Preview: Snippet 344 ended.(393216+131072x224373).
<-><->
l.1419 \hspace{3mm}$\llbracket$
$d$ $\rrbracket_{decl }$ {\bf . allInstances}
Not a real error.
[344]
! Preview: Snippet 345 started.
<-><->
l.1419 \hspace{3mm}$\llbracket$ $
d$ $\rrbracket_{decl }$ {\bf . allInstances}
Not a real error.
! Preview: Snippet 345 ended.(386844+0x304546).
<-><->
l.1419 \hspace{3mm}$\llbracket$ $d$
$\rrbracket_{decl }$ {\bf . allInstances}
Not a real error.
[345]
! Preview: Snippet 346 started.
<-><->
l.1419 \hspace{3mm}$\llbracket$ $d$ $
\rrbracket_{decl }$ {\bf . allInstances}
Not a real error.
! Preview: Snippet 346 ended.(393216+131072x1250105).
<-><->
l.1419 ...}$\llbracket$ $d$ $\rrbracket_{decl }$
{\bf . allInstances}
Not a real error.
[346]
! Preview: Snippet 347 started.
<-><->
l.1420 {\bf $
\rightarrow$ select (} $\llbracket d \rrbracket_{var }$ {\bf $|$}
Not a real error.
! Preview: Snippet 347 ended.(210559+0x591880).
<-><->
l.1420 {\bf $\rightarrow$
select (} $\llbracket d \rrbracket_{var }$ {\bf $|$}
Not a real error.
[347]
! Preview: Snippet 348 started.
<-><->
l.1420 {\bf $\rightarrow$ select (} $
\llbracket d \rrbracket_{var }$ {\bf $|$}
Not a real error.
! Preview: Snippet 348 ended.(393216+131072x1658957).
<-><->
l.1420 ...lect (} $\llbracket d \rrbracket_{var }$
{\bf $|$}
Not a real error.
[348]
! Preview: Snippet 349 started.
<-><->
l.1420 ... $\llbracket d \rrbracket_{var }$ {\bf $
|$}
Not a real error.
! Preview: Snippet 349 ended.(417792+139264x164411).
<-><->
l.1420 ...\llbracket d \rrbracket_{var }$ {\bf $|$
}
Not a real error.
[349]
! Preview: Snippet 350 started.
<-><->
l.1421 $
\llbracket cB \rrbracket_{cB}^{x}$ {\bf )
Not a real error.
! Preview: Snippet 350 ended.(393216+174715x1887561).
<-><->
l.1421 $\llbracket cB \rrbracket_{cB}^{x}$
{\bf )
Not a real error.
[350]
! Preview: Snippet 351 started.
<-><->
l.1423 \hspace{18mm}$
\rightarrow$ size() $<$= 1}
Not a real error.
! Preview: Snippet 351 ended.(210559+0x591880).
<-><->
l.1423 \hspace{18mm}$\rightarrow$
size() $<$= 1}
Not a real error.
[351]
! Preview: Snippet 352 started.
<-><->
l.1423 \hspace{18mm}$\rightarrow$ size() $
<$= 1}
Not a real error.
! Preview: Snippet 352 ended.(313692+35164x460351).
<-><->
l.1423 \hspace{18mm}$\rightarrow$ size() $<$
= 1}
Not a real error.
[352]
! Preview: Snippet 353 started.
<-><->
l.1429 \subsubsection
{Address book case study}
Not a real error.
! Preview: Snippet 353 ended.(455111+127431x15660756).
<-><->
l.1429 \subsubsection{Address book case study}
Not a real error.
[353
]
! Preview: Snippet 354 started.
<-><->
l.1440 {\bf pred} add{\bf(}b, b$
^{'}$: Book, n: Name, t: Target{\bf)}
Not a real error.
! Preview: Snippet 354 ended.(508692+0x188360).
<-><->
l.1440 {\bf pred} add{\bf(}b, b$^{'}$
: Book, n: Name, t: Target{\bf)}
Not a real error.
[354]
! Preview: Snippet 355 started.
<-><->
l.1442 $
\{$ n {\bf in} b {\bf .} names
Not a real error.
! Preview: Snippet 355 ended.(417792+139264x295940).
<-><->
l.1442 $\{$
n {\bf in} b {\bf .} names
Not a real error.
[355]
! Preview: Snippet 356 started.
<-><->
l.1444 \hspace{3mm}b {\bf$
^{'}$ .} addr {\bf =}
Not a real error.
! Preview: Snippet 356 ended.(508692+0x188360).
<-><->
l.1444 \hspace{3mm}b {\bf$^{'}$
.} addr {\bf =}
Not a real error.
[356]
! Preview: Snippet 357 started.
<-><->
l.1445 b {\bf .} adrr {\bf +} n -$
>$ t
Not a real error.
! Preview: Snippet 357 ended.(313692+35164x460351).
<-><->
l.1445 b {\bf .} adrr {\bf +} n -$>$
t
Not a real error.
[357]
! Preview: Snippet 358 started.
<-><->
l.1446 $
\}$\\
Not a real error.
! Preview: Snippet 358 ended.(417792+139264x295940).
<-><->
l.1446 $\}$
\\
Not a real error.
[358]
! Preview: Snippet 359 started.
<-><->
l.1451 for Alloy$
^{UML}$ subset,
Not a real error.
! Preview: Snippet 359 ended.(551306+0x1347469).
<-><->
l.1451 for Alloy$^{UML}$
subset,
Not a real error.
[359]
! Preview: Snippet 360 started.
<-><->
l.1459 $
\llbracket$ {\bf no} n : Name $|$
Not a real error.
! Preview: Snippet 360 ended.(393216+131072x224373).
<-><->
l.1459 $\llbracket$
{\bf no} n : Name $|$
Not a real error.
[360]
! Preview: Snippet 361 started.
<-><->
l.1459 $\llbracket$ {\bf no} n : Name $
|$
Not a real error.
! Preview: Snippet 361 ended.(417792+139264x164411).
<-><->
l.1459 $\llbracket$ {\bf no} n : Name $|$
Not a real error.
[361]
! Preview: Snippet 362 started.
<-><->
l.1460 n {\bf in} n {\bf .} $
^{\wedge}$( addr ) $\rrbracket_{ref}$ $\equiv$
Not a real error.
! Preview: Snippet 362 ended.(413226+0x401047).
<-><->
l.1460 n {\bf in} n {\bf .} $^{\wedge}$
( addr ) $\rrbracket_{ref}$ $\equiv$
Not a real error.
[362]
! Preview: Snippet 363 started.
<-><->
l.1460 n {\bf in} n {\bf .} $^{\wedge}$( addr ) $
\rrbracket_{ref}$ $\equiv$
Not a real error.
! Preview: Snippet 363 ended.(393216+154737x1109203).
<-><->
l.1460 ...} $^{\wedge}$( addr ) $\rrbracket_{ref}$
$\equiv$
Not a real error.
[363]
! Preview: Snippet 364 started.
<-><->
l.1460 ...$^{\wedge}$( addr ) $\rrbracket_{ref}$ $
\equiv$
Not a real error.
! Preview: Snippet 364 ended.(269321+0x460351).
<-><->
l.1460 ...ge}$( addr ) $\rrbracket_{ref}$ $\equiv$
Not a real error.
[364]
! Preview: Snippet 365 started.
<-><->
l.1463 {\bf fact $
\{$ all} b : Book $|$ {\bf no} n : Name $|$
Not a real error.
! Preview: Snippet 365 ended.(417792+139264x295940).
<-><->
l.1463 {\bf fact $\{$
all} b : Book $|$ {\bf no} n : Name $|$
Not a real error.
[365]
! Preview: Snippet 366 started.
<-><->
l.1463 {\bf fact $\{$ all} b : Book $
|$ {\bf no} n : Name $|$
Not a real error.
! Preview: Snippet 366 ended.(417792+139264x164411).
<-><->
l.1463 {\bf fact $\{$ all} b : Book $|$
{\bf no} n : Name $|$
Not a real error.
[366]
! Preview: Snippet 367 started.
<-><->
l.1463 ...{$ all} b : Book $|$ {\bf no} n : Name $
|$
Not a real error.
! Preview: Snippet 367 ended.(417792+139264x164411).
<-><->
l.1463 ... all} b : Book $|$ {\bf no} n : Name $|$
Not a real error.
[367]
! Preview: Snippet 368 started.
<-><->
l.1464 n {\bf in} n {\bf .} $
^{\wedge}$( b {\bf .} addr ) $\}$
Not a real error.
! Preview: Snippet 368 ended.(413226+0x401047).
<-><->
l.1464 n {\bf in} n {\bf .} $^{\wedge}$
( b {\bf .} addr ) $\}$
Not a real error.
[368]
! Preview: Snippet 369 started.
<-><->
l.1464 ... {\bf .} $^{\wedge}$( b {\bf .} addr ) $
\}$
Not a real error.
! Preview: Snippet 369 ended.(417792+139264x295940).
<-><->
l.1464 ...bf .} $^{\wedge}$( b {\bf .} addr ) $\}$
Not a real error.
[369]
! Preview: Snippet 370 started.
<-><->
l.1467 $
\llbracket$
Not a real error.
! Preview: Snippet 370 ended.(393216+131072x224373).
<-><->
l.1467 $\llbracket$
Not a real error.
[370]
! Preview: Snippet 371 started.
<-><->
l.1468 b$
^{'}$ {\bf.} addr =
Not a real error.
! Preview: Snippet 371 ended.(508692+0x188360).
<-><->
l.1468 b$^{'}$
{\bf.} addr =
Not a real error.
[371]
! Preview: Snippet 372 started.
<-><->
l.1469 b {\bf.} addr + n {\bf -$
>$} t $\rrbracket_{ref} \equiv$
Not a real error.
! Preview: Snippet 372 ended.(313692+35164x460351).
<-><->
l.1469 b {\bf.} addr + n {\bf -$>$
} t $\rrbracket_{ref} \equiv$
Not a real error.
[372]
! Preview: Snippet 373 started.
<-><->
l.1469 b {\bf.} addr + n {\bf -$>$} t $
\rrbracket_{ref} \equiv$
Not a real error.
! Preview: Snippet 373 ended.(393216+154737x1733964).
<-><->
l.1469 ...n {\bf -$>$} t $\rrbracket_{ref} \equiv$
Not a real error.
[373]
! Preview: Snippet 374 started.
<-><->
l.1471 {\bf all} m : Name $
|$ m {\bf !=} n {\bf =$>$}
Not a real error.
! Preview: Snippet 374 ended.(417792+139264x164411).
<-><->
l.1471 {\bf all} m : Name $|$
m {\bf !=} n {\bf =$>$}
Not a real error.
[374]
! Preview: Snippet 375 started.
<-><->
l.1471 ... all} m : Name $|$ m {\bf !=} n {\bf =$
>$}
Not a real error.
! Preview: Snippet 375 ended.(313692+35164x460351).
<-><->
l.1471 ...ll} m : Name $|$ m {\bf !=} n {\bf =$>$
}
Not a real error.
[375]
! Preview: Snippet 376 started.
<-><->
l.1473 b$
^{'}$ {\bf .}addr{\bf [} m {\bf ]}
Not a real error.
! Preview: Snippet 376 ended.(508692+0x188360).
<-><->
l.1473 b$^{'}$
{\bf .}addr{\bf [} m {\bf ]}
Not a real error.
[376]
! Preview: Snippet 377 started.
<-><->
l.1476 b$
^{'}$ {\bf .} addr{\bf [} n {\bf ]} {\bf +} t
Not a real error.
! Preview: Snippet 377 ended.(508692+0x188360).
<-><->
l.1476 b$^{'}$
{\bf .} addr{\bf [} n {\bf ]} {\bf +} t
Not a real error.
[377]
! Preview: Snippet 378 started.
<-><->
l.1489 {\bf $
\rightarrow$ select (} n : Name $|$
Not a real error.
! Preview: Snippet 378 ended.(210559+0x591880).
<-><->
l.1489 {\bf $\rightarrow$
select (} n : Name $|$
Not a real error.
[378]
! Preview: Snippet 379 started.
<-><->
l.1489 {\bf $\rightarrow$ select (} n : Name $
|$
Not a real error.
! Preview: Snippet 379 ended.(417792+139264x164411).
<-><->
l.1489 {\bf $\rightarrow$ select (} n : Name $|$
Not a real error.
[379]
! Preview: Snippet 380 started.
<-><->
l.1491 \hspace{3mm}{\bf (} addr{\bf Closure(n) $
\rightarrow$ includesAll (
Not a real error.
! Preview: Snippet 380 ended.(210559+0x591880).
<-><->
l.1491 ...\bf (} addr{\bf Closure(n) $\rightarrow$
includesAll (
Not a real error.
[380]
! Preview: Snippet 381 started.
<-><->
l.1492 }n {\bf $
\rightarrow$ asSet() )))
Not a real error.
! Preview: Snippet 381 ended.(210559+0x591880).
<-><->
l.1492 }n {\bf $\rightarrow$
asSet() )))
Not a real error.
[381]
! Preview: Snippet 382 started.
<-><->
l.1494 \hspace{6mm} $
\rightarrow$ isEmpty() )}
Not a real error.
! Preview: Snippet 382 ended.(210559+0x591880).
<-><->
l.1494 \hspace{6mm} $\rightarrow$
isEmpty() )}
Not a real error.
[382]
! Preview: Snippet 383 started.
<-><->
l.1499 add(b, b$
^{'}$: Book, n: Name, t: Target) {\bf: Boolean}
Not a real error.
! Preview: Snippet 383 ended.(508692+0x188360).
<-><->
l.1499 add(b, b$^{'}$
: Book, n: Name, t: Target) {\bf: Boolean}
Not a real error.
[383]
! Preview: Snippet 384 started.
<-><->
l.1502 {\bf pre:} {\bf (} b {\bf.} names {\bf$
\rightarrow$ includesAll(}
Not a real error.
! Preview: Snippet 384 ended.(210559+0x591880).
<-><->
l.1502 ...{\bf (} b {\bf.} names {\bf$\rightarrow$
includesAll(}
Not a real error.
[384]
! Preview: Snippet 385 started.
<-><->
l.1503 n {\bf$
\rightarrow$ asSet() )}
Not a real error.
! Preview: Snippet 385 ended.(210559+0x591880).
<-><->
l.1503 n {\bf$\rightarrow$
asSet() )}
Not a real error.
[385]
! Preview: Snippet 386 started.
<-><->
l.1505 {\bf post:} Name {\bf. allInstances} $
\rightarrow$
Not a real error.
! Preview: Snippet 386 ended.(210559+0x591880).
<-><->
l.1505 ...} Name {\bf. allInstances} $\rightarrow$
Not a real error.
[386]
! Preview: Snippet 387 started.
<-><->
l.1506 {\bf forAll(} m: Name $
|$
Not a real error.
! Preview: Snippet 387 ended.(417792+139264x164411).
<-><->
l.1506 {\bf forAll(} m: Name $|$
Not a real error.
[387]
! Preview: Snippet 388 started.
<-><->
l.1508 \hspace{3mm} ( m {\bf $
<>$} n {\bf implies}
Not a real error.
! Preview: Snippet 388 ended.(313692+35164x920702).
<-><->
l.1508 \hspace{3mm} ( m {\bf $<>$
} n {\bf implies}
Not a real error.
[388]
! Preview: Snippet 389 started.
<-><->
l.1509 ...lf .} addr{\bf[}m{\bf]}{\bf @pre} {\bf $
\rightarrow$ asSet()}
Not a real error.
! Preview: Snippet 389 ended.(210559+0x591880).
<-><->
l.1509 ...bf[}m{\bf]}{\bf @pre} {\bf $\rightarrow$
asSet()}
Not a real error.
[389]
! Preview: Snippet 390 started.
<-><->
l.1512 {\bf self .} addr{\bf[}m{\bf]} {\bf $
\rightarrow$ asSet() )))}
Not a real error.
! Preview: Snippet 390 ended.(210559+0x591880).
<-><->
l.1512 ... .} addr{\bf[}m{\bf]} {\bf $\rightarrow$
asSet() )))}
Not a real error.
[390]
! Preview: Snippet 391 started.
<-><->
l.1516 ...lf .} addr{\bf[}n{\bf]}{\bf @pre} {\bf $
\rightarrow$ asSet()}
Not a real error.
! Preview: Snippet 391 ended.(210559+0x591880).
<-><->
l.1516 ...bf[}n{\bf]}{\bf @pre} {\bf $\rightarrow$
asSet()}
Not a real error.
[391]
! Preview: Snippet 392 started.
<-><->
l.1519 ...}{\bf ( self .} addr{\bf[}n{\bf]} {\bf $
\rightarrow$ asSet() )}
Not a real error.
! Preview: Snippet 392 ended.(210559+0x591880).
<-><->
l.1519 ... .} addr{\bf[}n{\bf]} {\bf $\rightarrow$
asSet() )}
Not a real error.
[392]
! Preview: Snippet 393 started.
<-><->
l.1521 \hspace{6mm}{\bf $
\rightarrow$ union( t $\rightarrow$ asSet() ) ) )}
Not a real error.
! Preview: Snippet 393 ended.(210559+0x591880).
<-><->
l.1521 \hspace{6mm}{\bf $\rightarrow$
union( t $\rightarrow$ asSet() ) ) )}
Not a real error.
[393]
! Preview: Snippet 394 started.
<-><->
l.1521 \hspace{6mm}{\bf $\rightarrow$ union( t $
\rightarrow$ asSet() ) ) )}
Not a real error.
! Preview: Snippet 394 ended.(210559+0x591880).
<-><->
l.1521 ...\bf $\rightarrow$ union( t $\rightarrow$
asSet() ) ) )}
Not a real error.
[394]
! Preview: Snippet 395 started.
<-><->
l.1534 \section
{Concluding remarks and future work}\label{Conclusion}
Not a real error.
! Preview: Snippet 395 ended.(455111+127431x15660756).
<-><->
l.1534 ...tion{Concluding remarks and future work}
\label{Conclusion}
Not a real error.
[395
]
! Preview: Snippet 396 started.
<-><->
l.1563 to the Alloy$
^{UML}$ idiom.
Not a real error.
! Preview: Snippet 396 ended.(551306+0x1347469).
<-><->
l.1563 to the Alloy$^{UML}$
idiom.
Not a real error.
[396]
No file _region_.bbl.
LaTeX Font Warning: Size substitutions with differences
(Font) up to 0.75pt have occurred.
LaTeX Warning: There were undefined references.
)
Here is how much of TeX's memory you used:
256 strings out of 493687
3454 string characters out of 1162835
75179 words of memory out of 3000000
4804 multiletter control sequences out of 15000+50000
11805 words of font info for 43 fonts, out of 3000000 for 9000
28 hyphenation exceptions out of 8191
23i,9n,22p,165b,281s stack positions out of 5000i,500n,10000p,200000b,50000s
Output written on _region_.dvi (396 pages, 50504 bytes).
|