Hello,
tables don't look good in LyX 1.4.0cvs. For illustration, see the attached LyX file:
1. Each cell starts with some (invalid) indentation. 2. The second column is much too small.
Kind regards,
Michael
#LyX 1.3 created this file. For more info see http://www.lyx.org/ \lyxformat 221 \textclass scrreprt \begin_preamble \hyphenation{Inres-PDU Autolink MDATreq MDATind others vari-ous be-ha-vi-our be-ha-vior}
\frenchspacing
% the following code was stolen from package 'parskip'
[EMAIL PROTECTED]
\topsep\z@ \parsep\parskip [EMAIL PROTECTED]
[EMAIL PROTECTED]@listI
[EMAIL PROTECTED]
[EMAIL PROTECTED]
\labelwidth\leftmarginii\advance\labelwidth-\labelsep
\topsep\z@ \parsep\parskip [EMAIL PROTECTED]
[EMAIL PROTECTED]
\labelwidth\leftmarginiii\advance\labelwidth-\labelsep
\topsep\z@ \parsep\parskip [EMAIL PROTECTED]
\partopsep=\z@
% end of 'parskip' code
\newcommand{\Nat}{\mathbb{N}}
\newcommand{\Rat}{\mathbb{R}}
\newcommand{\Pow}{\mathbb{P}}
\newcommand{\ttcntab}{\setlength{\tabcolsep}{0.5\tabcolsep}
\renewcommand{\arraystretch}{1.1} \scriptsize}
\renewcommand*\floatpagefraction{.7}
\usepackage{msc}
\usepackage{url}
\usepackage{alltt}
\usepackage{lscape}
\setmscvalues{small}
\setlength{\topheaddist}{0.8\topheaddist}
\setlength{\bottomfootdist}{0.7\bottomfootdist}
\setlength{\conditionheight}{0.8\conditionheight}
%\usepackage[sort]{natbib}
\newcommand{\bibfont}{\small}
\usepackage[dvips]{thumbpdf}
\usepackage[dvips,linktocpage=true,bookmarks=true,colorlinks=false,
pdftitle={Automatic Test Generation Based on Formal Specifications -
Practical Procedures for Efficient State
Space Exploration and Improved Representation of Test Cases},
pdfauthor={Michael Schmitt},
pdfsubject={Dissertation zur Erlangung des Doktorgrades der
Mathematisch-Naturwissenschaftlichen Fakultäten der
Georg-August-Universität zu Göttingen},
pdfcreator={ps2pdf},
pdfproducer={LyX with teTeX and dvips},
pdfkeywords={Automatic Test Generation, Autolink, SDL, MSC, TTCN-2,
TTCN-3}]{hyperref}
% To avoid hyperref error:
\newcommand{\theHalgorithm}{\theHchapter.\arabic{algorithm}}
\end_preamble
\options DIV12,BCOR1.5cm,headinclude,footexclude,bibtotoc,pointlessnumbers
\language american
\inputencoding default
\fontscheme ae
\graphics default
\paperfontsize 11
\spacing single
\papersize a4paper
\paperpackage a4
\use_geometry 0
\use_amsmath 1
\use_natbib 1
\use_numerical_citations 0
\paperorientation portrait
\secnumdepth 3
\tocdepth 2
\paragraph_separation skip
\defskip medskip
\quotes_language english
\quotes_times 2
\papercolumns 1
\papersides 2
\paperpagestyle headings
\layout Standard
\begin_inset Float algorithm
placement tb
wide false
collapsed false
\layout Standard
\added_space_top bigskip \added_space_bottom bigskip \align center
\size small
\begin_inset Tabular
<lyxtabular version="3" rows="9" columns="2">
<features firstHeadEmpty="true">
<column alignment="right" valignment="top" width="0pt">
<column alignment="left" valignment="top" width="0pt">
<row endhead="true">
<cell alignment="right" valignment="top" usebox="none">
\begin_inset Text
\layout Standard
\size small
1:
\end_inset
</cell>
<cell alignment="left" valignment="top" usebox="none">
\begin_inset Text
\layout Standard
\family sans
\size small
testgen()
\family default
{
\end_inset
</cell>
</row>
<row>
<cell alignment="right" valignment="top" usebox="none">
\begin_inset Text
\layout Standard
\size small
2:
\end_inset
</cell>
<cell alignment="left" valignment="top" usebox="none">
\begin_inset Text
\layout Standard
\family typewriter
\size small
\SpecialChar ~
\SpecialChar ~
\family default
\series bold
for all
\series default
\begin_inset Formula $i\in\{1,\ldots,n\}$
\end_inset
{
\end_inset
</cell>
</row>
<row>
<cell alignment="right" valignment="top" usebox="none">
\begin_inset Text
\layout Standard
\size small
3:
\end_inset
</cell>
<cell alignment="left" valignment="top" usebox="none">
\begin_inset Text
\layout Standard
\family typewriter
\size small
\SpecialChar ~
\SpecialChar ~
\SpecialChar ~
\SpecialChar ~
\family default
\begin_inset Formula $\textit{root}_{\textit{ptc}_{i}}$
\end_inset
:=
\family sans
newStartNode
\family default
();
\end_inset
</cell>
</row>
<row>
<cell alignment="right" valignment="top" usebox="none">
\begin_inset Text
\layout Standard
\size small
4:
\end_inset
</cell>
<cell alignment="left" valignment="top" usebox="none">
\begin_inset Text
\layout Standard
\family typewriter
\size small
\SpecialChar ~
\SpecialChar ~
\SpecialChar ~
\SpecialChar ~
\family sans
testgenPTC
\family default
(
\emph on
i
\emph default
,
\begin_inset Formula $\textit{root}_{sim}$
\end_inset
,
\begin_inset Formula $\textit{root}_{\textit{ptc}_{i}}$
\end_inset
);
\end_inset
</cell>
</row>
<row>
<cell alignment="right" valignment="top" usebox="none">
\begin_inset Text
\layout Standard
\size small
5:
\end_inset
</cell>
<cell alignment="left" valignment="top" usebox="none">
\begin_inset Text
\layout Standard
\family typewriter
\size small
\SpecialChar ~
\SpecialChar ~
\family default
}
\end_inset
</cell>
</row>
<row>
<cell alignment="right" valignment="top" usebox="none">
\begin_inset Text
\layout Standard
\size small
6:
\end_inset
</cell>
<cell alignment="left" valignment="top" usebox="none">
\begin_inset Text
\layout Standard
\family typewriter
\size small
\SpecialChar ~
\SpecialChar ~
\family default
\begin_inset Formula $\textit{root}_{mtc}$
\end_inset
:=
\family sans
newStartNode
\family default
();
\end_inset
</cell>
</row>
<row>
<cell alignment="right" valignment="top" usebox="none">
\begin_inset Text
\layout Standard
\size small
7:
\end_inset
</cell>
<cell alignment="left" valignment="top" usebox="none">
\begin_inset Text
\layout Standard
\family typewriter
\size small
\SpecialChar ~
\SpecialChar ~
\family sans
testgenMTC
\family default
(
\begin_inset Formula $\textit{root}_{sim}$
\end_inset
,
\family sans
\family default
\begin_inset Formula $\textit{root}_{mtc}$
\end_inset
\family sans
.addTransition
\family default
( CREATE(
\begin_inset Formula $\textit{PTC}_{1}$
\end_inset
:Test
\begin_inset Formula $\textit{PTC}_{1}$
\end_inset
, \SpecialChar \ldots{}
,
\end_inset
</cell>
</row>
<row>
<cell alignment="right" valignment="top" usebox="none">
\begin_inset Text
\layout Standard
\size small
8:
\end_inset
</cell>
<cell alignment="left" valignment="top" usebox="none">
\begin_inset Text
\layout Standard
\family typewriter
\size small
\SpecialChar ~
\SpecialChar ~
\SpecialChar ~
\SpecialChar ~
\SpecialChar ~
\SpecialChar ~
\SpecialChar ~
\SpecialChar ~
\SpecialChar ~
\SpecialChar ~
\SpecialChar ~
\SpecialChar ~
\SpecialChar ~
\SpecialChar ~
\SpecialChar ~
\SpecialChar ~
\SpecialChar ~
\SpecialChar ~
\SpecialChar ~
\SpecialChar ~
\SpecialChar ~
\SpecialChar ~
\SpecialChar ~
\SpecialChar ~
\SpecialChar ~
\SpecialChar ~
\SpecialChar ~
\SpecialChar ~
\SpecialChar ~
\SpecialChar ~
\SpecialChar ~
\SpecialChar ~
\SpecialChar ~
\SpecialChar ~
\SpecialChar ~
\SpecialChar ~
\SpecialChar ~
\SpecialChar ~
\SpecialChar ~
\SpecialChar ~
\SpecialChar ~
\SpecialChar ~
\SpecialChar ~
\SpecialChar ~
\SpecialChar ~
\SpecialChar ~
\SpecialChar ~
\SpecialChar ~
\SpecialChar ~
\family default
\begin_inset Formula $\textit{PTC}_{n}$
\end_inset
:Test
\begin_inset Formula $\textit{PTC}_{n}$
\end_inset
) ) );
\end_inset
</cell>
</row>
<row>
<cell alignment="right" valignment="top" usebox="none">
\begin_inset Text
\layout Standard
\size small
9:
\end_inset
</cell>
<cell alignment="left" valignment="top" usebox="none">
\begin_inset Text
\layout Standard
\size small
}
\end_inset
</cell>
</row>
</lyxtabular>
\end_inset
\layout Caption
Invocation of the test generation for the PTCs and the MTC
\begin_inset LatexCommand \label{cap:Invocation-test-generation}
\end_inset
\end_inset
\the_end
