CECS Home | ANU Home | Search ANU
The Australian National University
ANU College of Engineering and Computer Science
School of Computer Science

Probabilities file for the Employee specification

The result of processing this SHYSTER output using the LaTeX document processor is available as an Acrobat PDF file. Other example SHYSTER output is also available.

PDF PDF files can be read and printed using Adobe's free Reader.   Get Adobe Reader

% Probabilities file

% Produced by SHYSTER version 1.0

% Copyright James Popple 1993

% This is a stand-alone LaTeX file.
% Use LaTeX version 2.09 <25 March 1992> and TeX version 3.141.

\documentstyle[12pt]{article}
\oddsidemargin=-5.4mm
\evensidemargin=-5.4mm
\topmargin=-5.4mm
\headheight=0mm
\headsep=0mm
\textheight=247mm
\textwidth=170mm
\footskip=15mm
\pagestyle{plain}

\begin{document}

\subsection*{Employee area}

    \begin{small}
	\def\arraystretch{0}
	\begin{tabular}{*{17}{|c}|@{}p{\doublerulesep}@{}|c|}\cline{1-17}
	    \smash{\raisebox{0.6\ht\strutbox}{$A_{2}$}}&\smash{\raisebox{0.6\ht\strutbox}{$A_{3}$}}&\smash{\raisebox{0.6\ht\strutbox}{$A_{4}$}}&\smash{\raisebox{0.6\ht\strutbox}{$A_{5}$}}&\smash{\raisebox{0.6\ht\strutbox}{$A_{6}$}}&\smash{\raisebox{0.6\ht\strutbox}{$A_{7}$}}&\smash{\raisebox{0.6\ht\strutbox}{$A_{8}$}}&\smash{\raisebox{0.6\ht\strutbox}{$A_{9}$}}&\smash{\raisebox{0.6\ht\strutbox}{$A_{10}$}}&\smash{\raisebox{0.6\ht\strutbox}{$A_{11}$}}&\smash{\raisebox{0.6\ht\strutbox}{$A_{12}$}}&\smash{\raisebox{0.6\ht\strutbox}{$A_{13}$}}&\smash{\raisebox{0.6\ht\strutbox}{$A_{14}$}}&\smash{\raisebox{0.6\ht\strutbox}{$A_{15}$}}&\smash{\raisebox{0.6\ht\strutbox}{$A_{16}$}}&\smash{\raisebox{0.6\ht\strutbox}{$A_{17}$}}&\smash{\raisebox{0.6\ht\strutbox}{$A_{18}$}}&\multicolumn{2}{c}{\raisebox{\ht\strutbox}{\strut}}\\\cline{1-17}
	    \multicolumn{19}{c}{\rule{0mm}{\doublerulesep}}\\\cline{1-17}\cline{19-19}
	    0.05&1.00&0.30&0.95&1.00&0.96&0.69&0.41&0.62&0.95&0.97&1.00&1.00&0.23&1.00&0.27&0.83&&\\
	    1.00&0.15&0.95&0.30&0.06&0.28&0.80&0.91&0.85&0.30&0.27&0.50&0.50&1.00&0.50&1.00&0.59&&\smash{\raisebox{0.6\ht\strutbox}{$A_{1}$}}\\\cline{1-17}\cline{19-19}
	    \multicolumn{1}{c|}{}&0.45&0.90&0.50&0.27&0.09&1.00&1.00&1.00&0.50&0.75&0.25&1.00&1.00&1.00&1.00&0.67&&\\
	    \multicolumn{1}{c|}{}&1.00&0.50&0.90&0.97&1.00&0.58&0.19&0.45&0.90&0.76&1.00&0.75&0.55&0.75&0.58&0.82&&\smash{\raisebox{0.6\ht\strutbox}{$A_{2}$}}\\\cline{2-17}\cline{19-19}
	    \multicolumn{2}{c|}{}&0.50&0.90&1.00&0.77&0.58&0.56&1.00&0.90&1.00&1.00&1.00&1.00&1.00&0.04\rlap{\makebox[\tabcolsep]{$\bullet$}}&1.00&&\\
	    \multicolumn{2}{c|}{}&0.90&0.50&0.23&0.77&0.89&0.88&0.45&0.50&0.42&0.83&0.83&0.68&0.83&1.00&0.33&&\smash{\raisebox{0.6\ht\strutbox}{$A_{3}$}}\\\cline{3-17}\cline{19-19}
	    \multicolumn{3}{c|}{}&0.00\rlap{\makebox[\tabcolsep]{\rule[0.25ex]{0.35em}{0.35em}}}&0.50&0.50&0.88&1.00&1.00&0.01\rlap{\makebox[\tabcolsep]{$\bullet$}}&0.15&0.42&1.00&0.68&0.42&0.73&0.72&&\\
	    \multicolumn{3}{c|}{}&1.00&0.87&0.88&0.56&0.08&0.10&1.00&0.99&1.00&0.58&0.85&1.00&0.81&0.72&&\smash{\raisebox{0.6\ht\strutbox}{$A_{4}$}}\\\cline{4-17}\cline{19-19}
	    \multicolumn{4}{c|}{}&0.87&0.88&0.56&0.08&0.10&1.00&0.99&1.00&0.58&0.85&1.00&0.81&0.72&&\\
	    \multicolumn{4}{c|}{}&0.50&0.50&0.88&1.00&1.00&0.01\rlap{\makebox[\tabcolsep]{$\bullet$}}&0.15&0.42&1.00&0.68&0.42&0.73&0.72&&\smash{\raisebox{0.6\ht\strutbox}{$A_{5}$}}\\\cline{5-17}\cline{19-19}
	    \multicolumn{5}{c|}{}&0.99&0.80&0.22&0.73&0.99&0.99&1.00&1.00&0.85&1.00&0.36&0.55&&\\
	    \multicolumn{5}{c|}{}&0.12&0.71&0.98&0.77&0.13&0.15&0.42&0.42&0.68&0.42&1.00&0.87&&\smash{\raisebox{0.6\ht\strutbox}{$A_{6}$}}\\\cline{6-17}\cline{19-19}
	    \multicolumn{6}{c|}{}&0.58&0.02\rlap{\makebox[\tabcolsep]{$\bullet$}}&0.50&0.99&0.97&1.00&1.00&0.77&0.50&1.00&0.27&&\\
	    \multicolumn{6}{c|}{}&0.88&1.00&0.91&0.12&0.27&0.50&0.50&0.77&1.00&0.50&0.97&&\smash{\raisebox{0.6\ht\strutbox}{$A_{7}$}}\\\cline{7-17}\cline{19-19}
	    \multicolumn{7}{c|}{}&1.00&0.89&0.56&0.72&1.00&0.73&0.51&1.00&0.95&0.99&&\\
	    \multicolumn{7}{c|}{}&0.16&0.58&0.88&0.79&1.00&1.00&1.00&0.27&0.45&0.20&&\smash{\raisebox{0.6\ht\strutbox}{$A_{8}$}}\\\cline{8-17}\cline{19-19}
	    \multicolumn{8}{c|}{}&0.88&0.00\rlap{\makebox[\tabcolsep]{$\bullet$}}&0.09&0.36&0.36&0.62&1.00&0.68&0.95&&\\
	    \multicolumn{8}{c|}{}&0.56&1.00&1.00&1.00&1.00&0.89&0.64&0.85&0.34&&\smash{\raisebox{0.6\ht\strutbox}{$A_{9}$}}\\\cline{9-17}\cline{19-19}
	    \multicolumn{9}{c|}{}&0.50&0.76&0.75&1.00&0.55&0.75&0.58&0.99&&\\
	    \multicolumn{9}{c|}{}&0.90&0.75&1.00&0.25&1.00&1.00&1.00&0.18&&\smash{\raisebox{0.6\ht\strutbox}{$A_{10}$}}\\\cline{10-17}\cline{19-19}
	    \multicolumn{10}{c|}{}&1.00&1.00&1.00&0.85&1.00&0.81&0.72&&\\
	    \multicolumn{10}{c|}{}&0.01\rlap{\makebox[\tabcolsep]{$\bullet$}}&0.42&0.42&0.68&0.42&0.73&0.72&&\smash{\raisebox{0.6\ht\strutbox}{$A_{11}$}}\\\cline{11-17}\cline{19-19}
	    \multicolumn{11}{c|}{}&0.67&1.00&0.91&1.00&0.67&0.93&&\\
	    \multicolumn{11}{c|}{}&1.00&0.33&0.58&0.33&1.00&0.41&&\smash{\raisebox{0.6\ht\strutbox}{$A_{12}$}}\\\cline{12-17}\cline{19-19}
	    \multicolumn{12}{c|}{}&0.92&0.83&0.92&0.92&0.67&&\\
	    \multicolumn{12}{c|}{}&1.00&1.00&1.00&1.00&1.00&&\smash{\raisebox{0.6\ht\strutbox}{$A_{13}$}}\\\cline{13-17}\cline{19-19}
	    \multicolumn{13}{c|}{}&0.83&0.92&0.92&0.67&&\\
	    \multicolumn{13}{c|}{}&1.00&1.00&1.00&1.00&&\smash{\raisebox{0.6\ht\strutbox}{$A_{14}$}}\\\cline{14-17}\cline{19-19}
	    \multicolumn{14}{c|}{}&0.83&0.83&0.42&&\\
	    \multicolumn{14}{c|}{}&1.00&1.00&1.00&&\smash{\raisebox{0.6\ht\strutbox}{$A_{15}$}}\\\cline{15-17}\cline{19-19}
	    \multicolumn{15}{c|}{}&0.92&1.00&&\\
	    \multicolumn{15}{c|}{}&1.00&0.33&&\smash{\raisebox{0.6\ht\strutbox}{$A_{16}$}}\\\cline{16-17}\cline{19-19}
	    \multicolumn{16}{c|}{}&0.46&&\\
	    \multicolumn{16}{c|}{}&1.00&&\smash{\raisebox{0.6\ht\strutbox}{$A_{17}$}}\\\cline{17-17}\cline{19-19}
	\end{tabular}
    \end{small}

\end{document}

Valid HTML 4.0Valid Cascading Style Sheets