← Back to branch summary

~burner/xsb/debianized-xsb

« back to all changes in this revision

Viewing changes to packages/altCDF/doc/manual.tex

  • Committer: Michael R. Head
  • Date: 2006-09-06 22:11:55 UTC
  • Revision ID: burner@n23-20060906221155-7e398d23438a7ee4
Add the files from the 3.0.1 release package

Show diffs side-by-side

added added

removed removed

Lines of Context:
packages/altCDF/doc/manual.tex
 
1
\documentclass[11pt]{report}
 
2
 
 
3
\usepackage{epsf,epsfig,subfigure,latexsym,makeidx,latexsym,xspace,amssymb}
 
4
\usepackage[colorlinks]{hyperref}
 
5
 
 
6
\usepackage{float}
 
7
\usepackage{url}
 
8
\usepackage{verbatim}
 
9
\usepackage{latexsym}
 
10
%\usepackage{fancybox}
 
11
%\usepackage{times}
 
12
\usepackage{epic}
 
13
\usepackage{ecltree}
 
14
%\usepackage{fullpage}
 
15
 
 
16
\input{include}
 
17
%\input{includeopt}
 
18
 
 
19
\pagestyle{headings}
 
20
 
 
21
% LaTeX Size Stuff
 
22
% ----------------
 
23
\setlength{\topmargin}{-0.25in}
 
24
\setlength{\headheight}{10pt}
 
25
\setlength{\headsep}{30pt}
 
26
\setlength{\oddsidemargin}{0.0in}
 
27
\setlength{\evensidemargin}{0.0in}
 
28
\setlength{\textheight}{8.5in}
 
29
\setlength{\textwidth}{6.5in}
 
30
\setlength{\footskip}{50pt}
 
31
\setlength{\parskip}{2mm}               % space between paragraphs
 
32
 
 
33
 
 
34
% New Environments
 
35
% ----------------
 
36
\newcommand{\fillBox}{\hfill$\Box$}
 
37
 
 
38
\newenvironment{Prog}{\begin{tt}\begin{tabular}[c]{l}}{\end{tabular}\end{tt}}
 
39
 
 
40
\newcommand{\demo}[1]{\hspace*{1.5cm}{\tt #1}}
 
41
\newcommand{\desc}[1]{\item[{\tt #1}]\hspace*{1mm}\newline}
 
42
\newcommand{\desce}[1]{\item[{\tt #1}]}
 
43
\newcommand{\ourrepeatitem}[1]{\item[{\mbox{\tt #1}}] \index{predicates!#1} \ \\ \vspace*{-.35in}}
 
44
 
 
45
\newcommand{\ourpreditem}[1]{\item[{\mbox{\tt #1}}] \index{predicates!#1}\ \\}
 
46
 
 
47
\newcommand{\ournewitem}[2]{\item[{\mbox{\tt #1}}]\hspace*{\fill}{\mbox{\sf #2}}\ \\}
 
48
 
 
49
\newcommand{\ourpredmoditem}[2]{
 
50
        \index{CDF predicates!#1}
 
51
        \item[{\mbox{\tt #1}}]\hspace*{\fill}{\mbox{\sf #2}}\ \\}
 
52
 
 
53
\newcommand{\ourpreddomitem}[2]{
 
54
        \index{CDF predicates!#1}
 
55
        \index{domains!#1}
 
56
        \item[{\mbox{\tt #1}}]\hspace*{\fill}{\mbox{\sf #2}}\ \\}
 
57
 
 
58
\newcommand{\ourpredmodrptitem}[2]{
 
59
        \index{CDF predicates!#1}
 
60
        \item[{\mbox{\tt #1}}]\hspace*{\fill}{\mbox{\sf #2}}\ \\
 
61
        \vspace*{-.30in}  }
 
62
 
 
63
\newcommand{\xjitem}[2]{ 
 
64
        \index{XJ predicates!#2} 
 
65
        \item[{\mbox{\tt #1}}]\hspace*{\fill} \\}
 
66
 
 
67
\newcommand{\xjrptitem}[2]{
 
68
        \index{XJ predicates!#2}
 
69
        \item[{\mbox{\tt #1}}]\hspace*{\fill} \\
 
70
        \vspace*{-.30in}  }
 
71
 
 
72
\newcommand{\cid}[1]{cid(#1)}
 
73
\newcommand{\oid}[1]{oid(#1)}
 
74
\newcommand{\crid}[1]{crid(#1)}
 
75
\newcommand{\rid}[1]{rid(#1)}
 
76
 
 
77
\newcommand{\class}[1]{{\tt #1\/}\index{CDF identifiers! #1}}
 
78
\newcommand{\component}[1]{{\tt #1\/}\index{components! #1}}
 
79
\newcommand{\context}[1]{{\tt #1\/}\index{contexts! #1}}
 
80
\newcommand{\file}[1]{{\tt #1\/}\index{files!{\tt #1}}}
 
81
\newcommand{\pred}[1]{{\tt #1\/}\index{predicates!#1}}
 
82
\newcommand{\domain}[1]{{\tt #1\/}\index{domains!#1}}
 
83
 
 
84
\newcommand{\jclass}[1]{{\tt #1\/}\index{Java Classes! #1}}
 
85
\newcommand{\xjclass}[1]{{\tt #1\/}\index{XJ Classes! #1}}
 
86
\newcommand{\xjdom}[1]{{\tt #1\/}\index{XJ Domains! #1}}
 
87
 
 
88
\newcommand{\inhdash}{\vdash_{\mbox{\sc inh}}}
 
89
\newcommand{\ttindex}[1]{{\tt #1\/}\index{#1}}
 
90
\newcommand{\emindex}[1]{{\em #1\/}\index{#1}}
 
91
\newcommand{\lra}{\leftrightarrow}
 
92
 
 
93
\newcommand{\stuff}[1]{
 
94
        \begin{minipage}{4in}
 
95
        {\tt \samepage
 
96
        \begin{tabbing}
 
97
        \hspace{8mm} \= \hspace{6mm} \= \hspace{10mm} \= \hspace{55mm} \= \kill
 
98
        #1 \hfill
 
99
        \end{tabbing}
 
100
        }
 
101
        \end{minipage}
 
102
}
 
103
 
 
104
 
 
105
% Macro Abbrev
 
106
% ------------
 
107
\def\cut{\mbox{\tt '!'/0}}
 
108
\def\naf{\mbox{${\tt '\backslash+'\!/1}$}}
 
109
 
 
110
\newcommand{\version}{Version 1(beta)}
 
111
 
 
112
\newcommand{\refchap}[1]{Chapter~\ref{#1}}
 
113
\newcommand{\refsec}[1]{Section~\ref{#1}}
 
114
\newcommand{\refdef}[1]{Definition~\ref{#1}}
 
115
\newcommand{\secref}[1]{Section~\ref{#1}}
 
116
\newcommand{\refexam}[1]{Example~\ref{#1}}
 
117
\newcommand{\refexer}[1]{Exercise~\ref{#1}}     
 
118
\newcommand{\ctxtexc}[1]{{\bf Exceptions:} based on the context {\tt #1}}
 
119
 
 
120
% Special Type Faces
 
121
% ------------------
 
122
\newcommand{\code}[1]{\textup{\texttt{#1}}}     % program code fragment
 
123
 
 
124
%------------------------------------------------------------
 
125
\input{predindex.sty}
 
126
\makepredindex
 
127
\makeindex
 
128
%------------------------------------------------------------
 
129
 
 
130
\begin{document}
 
131
 
 
132
\begin{center}
 
133
{\Huge
 
134
{\bf Coherent Description Framework \\ Programmer's Manual \\ \version }
 
135
\ \\ \ \\ }
 
136
{\Large
 
137
%{\em The open-source edition of the Coherent Description Framework
 
138
%for managing ontologies}
 
139
\ \\ \ \\ \ \\
 
140
Terrance Swift \\ David S. Warren
 
141
}
 
142
\end{center}
 
143
 
 
144
\date{}
 
145
 
 
146
\newpage
 
147
\thispagestyle{empty}
 
148
\input{acknowledgements}
 
149
 
 
150
\pagenumbering{arabic}
 
151
 
 
152
\thispagestyle{empty}
 
153
 
 
154
\newpage
 
155
\thispagestyle{empty}
 
156
\pagenumbering{roman}
 
157
\tableofcontents
 
158
\newpage        % Just to avoid a silly LaTeX bug with \pagenumbering
 
159
  
 
160
\pagenumbering{arabic}
 
161
 
 
162
\input{intro}
 
163
 
 
164
%------------------------------------------------------------------------------
 
165
\part{A (somewhat) Formal Introduction to CDF} \label{part:semantics}
 
166
 
 
167
\input{semantics}
 
168
  \input{product}
 
169
  \input{inheritance}
 
170
\input{type1}
 
171
 
 
172
%------------------------------------------------------------------------------
 
173
\part{Using CDF}
 
174
 
 
175
\input{impl}
 
176
 
 
177
\input{examples}
 
178
 
 
179
%\input{tools}
 
180
%\input{prologCache}
 
181
 
 
182
%\input{nondoc}
 
183
 
 
184
%\bibliographystyle{plain}
 
185
\bibliographystyle{amsalpha}
 
186
\bibliography{longstring,all}
 
187
%\newpage
 
188
 
 
189
%\appendix
 
190
%\input{graphics}
 
191
 
 
192
\printindex
 
193
 
 
194
\end{document}
 
195