Searched refs:item (Results 1 - 25 of 28) sorted by relevance

12

/hets/utils/LiveCD/
H A D	mkMiniXML.py	46 for item in os.listdir(source): 47 file = os.path.join(source, item) 49 printInfo("adding file '%s'..." % (item)) 50 xml.write(addFile(file, os.path.join(dest, item))) 52 addFiles(xml, file, os.path.join(dest, item))
H A D	mkHetsLiveCD.py	63 for item in os.listdir(rootpath): 64 file = os.path.join(rootpath, item) 66 if not reg.match(item): 68 printInfo("creating mini mod for '%s'" % (item)) 69 cmd = "morphmini %s %s" % (file, minipath+item.replace("Mini.xml", ".mod")) 132 for item in os.listdir(minipath): 133 file = os.path.join(minipath, item) 177 for item in os.listdir(path): 178 file = os.path.join(path, item) 179 newpath = os.path.join(root, item) [all...]
/hets/GUI/doc/
H A D	WebInterfaceTests.tex	27 \item TestBasic.casl - similar output: OK 28 \item silvia.casl - similar output: OK (valid specification) 34 \item donald.casl - similar output: OK 35 \item fred1.casl - similar output: OK 36 \item frederic.casl - similar output: OK 37 \item import\_test.casl - similar output: OK (ERROR) 38 \item Invoice.casl - not similar output: 84 \item min\_test.casl - similar output: OK 85 \item piotr.casl - similar output: OK (ERROR) 86 \item piot [all...]
H A D	WebInterfaceBuildGuide.tex	19 \item get WashNGo via darcs:\\ 21 \item copy additional files to the WashNGo repository 22 \item patch your darcs repository with the darcs patch (or the plain 26 \item inside the WashNGo repository run \verb|make -f Makfile.hets all| 40 \item get WashNGo via darcs:\\ 45 \item copy all files from the directory 47 \item patch your darcs repository with the darcs patch\\ 50 \item inside the WashNGo repository run
/hets/Common/doc/
H A D	Overview.tex	74 \item[AS\_Annotation.der.hs] data types for annotations 75 \item[AnnoState.hs] collecting annotations when parsing 76 \item[Anno\_Parser.hs] actual parsing of annotations 77 \item[CaslLanguage.hs] (unused) parser for CASL mixfix ids based on 79 \item[GlobalAnnotations.hs] data type for global annotations (a 81 \item[GlobalAnnotationsFunctions.hs] conversion to global annotations 82 \item[GraphUtils.hs] no longer used? 83 \item[Id.hs] data types for \texttt{Token} and \texttt{Id} 85 \item[Keywords.hs] most keywords as named identifiers (to be used 87 \item[LaTe [all...]
/hets/CASL/doc/
H A D	CASLParserOverview.tex	71 \item[AS\_Basic\_CASL.der.hs] defines the abstract syntax tree for CASL 72 \item[Formula.hs] parsers \texttt{term} and \texttt{formula} 73 \item[Latin.hs] used by \texttt{Static.hs} 74 \item[LiteralFuns.hs] used by \texttt{Print\_AS\_Basic.hs} 75 \item[Logic\_CASL.hs] contains the instance for the class \texttt{Logic.Logic} 76 \item[MixfixParser.hs] uses precedence and associativity to resolve 79 \item[Morphism.hs] symbol and morphism stuff for \texttt{Logic} 80 \item[OpItem.hs] parsers \texttt{opItem} and \texttt{predItem} 81 \item[Parse\_AS\_Basic.hs] supplies the top-level parsers \texttt{basicSpec, 83 \item[Prin [all...]
/hets/HasCASL/doc/
H A D	StaticAna.tex	105 \item function arrows have lowest infix priority and associate to the right 106 \item next come products with (generalized) infix $\times$ notation 107 \item next comes lazy type construction 113 \item A single token is taken as nullary type constructor name 114 \item empty braces or brackets are taken as an id (with two tokens) as above 115 \item braces or brackets with one argument refer to an unary outfix type 117 \item brackets with one or more arguments in argument positions are considered 119 \item parenthesis may only contains a single argument. Tuple do not exist. 120 \item The empty tuple is illegal. Instead the builtin type 164 \item Ther [all...]
/hets/FreeCAD/specifications/
H A D	goals.tex	41 \item[Abstract Syntax:] an appropriate representation in \hets for \freecad designs, 43 \item[Semantics:] \freecad terms should have a semantics in the sense of 3D Pointsets (see section \ref{sec:semantics}) 44 \item[Import:] an import method translating \freecad documents into this 46 \item[\hets Integration:] a complete integration of the \freecad logic into the \hets 48 \item[\hets tool:] a hook into the hets program to open \freecad documents from there, i.e., \bash{hets -g test.fcstd} should work 49 \item[Pretty printing] for basic \freecad specs, i.e., 51 \item[FreeCAD import] from a suitable XML format, i.e., a script which renders a design in FreeCAD from an XML file 52 \item[XML output] for basic \freecad specs that can be used by the FreeCAD import script
/hets/Maude/doc/
H A D	dg.tex	38 \item 42 \item 49 \item 64 \item 70 \item 76 \item 107 \item 113 \item 161 \item 167 \item [all...]
H A D	maude.tex	224 \item 230 \item 234 \item 245 \item 249 \item 371 \item 378 \item 391 \item
/hets/doc/
H A D	UserGuide.tex	293 \item[CASL] extends many sorted first-order logic with partial 311 \item[CoCASL] \cite{MossakowskiEA04} is a coalgebraic extension of \CASL, 315 \item[ModalCASL] \cite{ModalCASL} 321 \item[ExtModal] is an extended modal logic, subsuming and replacing ModalCASL. 326 \item[HasCASL] is a higher order extension of \CASL allowing 334 \item[Haskell] is a modern, pure and strongly typed functional programming 341 \item[CspCASL] \cite{Roggenbach06} is a combination of \CASL 344 \item[CommonLogic] \url{http://en.wikipedia.org/wiki/Common_logic} 346 \item[ConstraintCASL] is an experimental logic for the specification 349 \item[OW [all...]
H A D	UserGuideCommonLogic.tex	171 logic, but extends first-order logic in two ways: \begin{inparaenum}[(1)]\item any term can be 172 used as function or predicate, and \item sequence markers allow 180 \item a parser for the Common Logic Interchange Format (CLIF) --- CLIF 182 \item a connection of CL to well-known first-order theorem provers 185 \item a connection of CL to the higher-order provers Isabelle/HOL 188 \item a connection to first-order model finders like darwin that 190 \item support for proving interpretations between CL theories to be correct; 191 \item a translation that eliminates the use of CL modules\footnote{Actually, we are using a revised semantics for modules, as proposed 195 \item a translation of the Web Ontology Language OWL to CL; 196 \item [all...]
H A D	Libraries.tex	169 \item 179 \item 189 \item 204 \item 238 \item The versioning is realized in cvs with tags\footnote{Probably, viewcvs 259 \item What happens if different versions of the same specification 294 \item URNs are not needed: the syntax of usual URIs suffices, and moreover, 297 %\item We should have a look at VSE to get feeling for a realistic system
/hets/CSL/
H A D	CSLMode.el	3 ;; essentially: define-key map fake-key '(item command), where fake-key is of the form [menu-bar mymenu nl] and defines key nl in mymenu which must exist 98 (dolist (item entries) 100 (define-key global-map (vector 'menu-bar 'enclmenu menusym currentsym) (cons item (make-sparse-keymap))) 103 (cons item2 `(lambda () (interactive) (,runfun ,item ,item2)))) 137 (dolist (item entries) 139 (define-key global-map (vector 'menu-bar 'enclmenu menusym currentsym) (cons item (make-sparse-keymap))) 146 (cons item3 `(lambda () (interactive) (,runfun ,item ,item2 ,item3))))
/hets/CspCASL/Grammar/
H A D	CSP_CASL_Parser.tex	59 \item The newest version of {\bf ghc} has to be correctly installed (currently version is 5.04.2).\\ 61 \item All required sources must have been checked out using '{\tt cvs up -Pd}' in the top\\ 63 \item '{\tt make distclean}' for Linux and '{\tt gmake distclean}' for Solaris users to clean up, then 64 \item '{\tt make hets} ' for Linux and '{\tt gmake hets}' for Solaris users to generate needed\\ 66 \item '{\tt cd CspCASL}' and call the script '{\tt ghc-call}', which calls {\bf ghc} with the needed options.
H A D	CspCaslSyntax.tex	52 where a final semicolon is optional. A new item keyword, like \kw{var}, 53 \kw{sort} or \kw{channel}, starts a new item list. (The plural \kw{processes} 58 \item Nonterminal symbols are written as uppercase words, possibly hyphenated, 60 \item Terminal symbols (possibly quoted) are written as either lowercase 63 \item A final optional semicolon is written as ;/ 64 \item Repetitions are indicated by ellipsis ‘...’, e.g. ID ,..., ID indicate 66 \item Alternative sequences are separated by vertical bars 67 \item A vertical bar followed by ellipsis hint at alternatives that
/hets/CASL_DL/doc/
H A D	CASL_DL-Notes.tex	47 \item Name derived from URI of the OWL DL-File. 48 \item Ontologies in OWL DL can be named. We should encourage people 50 \item (Given as annotation to the Ontology in the OWL DL-File.) 97 \item An instantiation of GenCardinality must be traced. All 101 \item new FORMULA variants, that have directly the semantics of 114 \item means globally available but namespaces have to be 120 \item with annos this is not easy. Here it must be possible to 122 \item with annos this is not easy. Here it must be possible to 146 \item Namespace abbrevs go as first Id in compound 150 \item Namespac [all...]
/hets/ATC/doc/
H A D	ATC-Rule-Generation.tex	26 \item[-r:] This option must be declared, it specifies the rule for generation. 28 \item[-o:] Specifies the output directory, commonly the output directory is \emph{ATC}. 31 \item[-x:] Excludes the specified datatype(s). That means, that there will no rules be 33 \item[-h:] Specifies a header file.
/hets/GMP/papers/optInWork/
H A D	llncs.cls	691 \def\@lbibitem[#1]#2{\item[{[#1]}\hfill]\if@filesw 744 \def\@lbibitem[#1]#2{\item[]\if@filesw 768 \let\item\par 1074 \item[\hskip\labelsep{#3#1\ #2\@thmcounterend}]#4} 1077 \item[\hskip\labelsep{#4#1\ #2}]{#4(#3)\@thmcounterend\ }#5} 1097 \item[\hskip\labelsep{#2#1\@thmcounterend}]} 1100 \item[\hskip\labelsep{#3#1}]{#3(#2)\@thmcounterend\ }} 1161 \item[\hskip\labelsep{##4##1\ ##2}]{##4##3\@thmcounterend\ }##5} 1163 \item[\hskip\labelsep{##3##1}]{##3##2\@thmcounterend\ }} 1172 \rightmargin\leftmargin}\item[\hski [all...]
H A D	entcs.cls	339 \leftmargin \rightmargin}\item[]} 343 \parsep \z@ \@plus 1pt}\item[]} 347 \item[]} 376 \begin{trivlist}\@topsep \eqntopsep % used by first \item 378 \item[]\leavevmode 387 \@topsep \eqntopsep % used by first \item 389 \item[]\leavevmode 453 \def\@begintheorem##1##2{\item[\hskip\labelsep 455 \def\@opargbegintheorem##1##2##3{\item[\hskip\labelsep 458 \def\@begintheorem##1##2{\item[\hski [all...]
/hets/GMP/papers/optimizing/
H A D	llncs.cls	691 \def\@lbibitem[#1]#2{\item[{[#1]}\hfill]\if@filesw 744 \def\@lbibitem[#1]#2{\item[]\if@filesw 768 \let\item\par 1074 \item[\hskip\labelsep{#3#1\ #2\@thmcounterend}]#4} 1077 \item[\hskip\labelsep{#4#1\ #2}]{#4(#3)\@thmcounterend\ }#5} 1097 \item[\hskip\labelsep{#2#1\@thmcounterend}]} 1100 \item[\hskip\labelsep{#3#1}]{#3(#2)\@thmcounterend\ }} 1161 \item[\hskip\labelsep{##4##1\ ##2}]{##4##3\@thmcounterend\ }##5} 1163 \item[\hskip\labelsep{##3##1}]{##3##2\@thmcounterend\ }} 1172 \rightmargin\leftmargin}\item[\hski [all...]
H A D	entcs.cls	339 \leftmargin \rightmargin}\item[]} 343 \parsep \z@ \@plus 1pt}\item[]} 347 \item[]} 376 \begin{trivlist}\@topsep \eqntopsep % used by first \item 378 \item[]\leavevmode 387 \@topsep \eqntopsep % used by first \item 389 \item[]\leavevmode 453 \def\@begintheorem##1##2{\item[\hskip\labelsep 455 \def\@opargbegintheorem##1##2##3{\item[\hskip\labelsep 458 \def\@begintheorem##1##2{\item[\hski [all...]
/hets/GMP/papers/conditional/
H A D	entcs.cls	339 \leftmargin \rightmargin}\item[]} 343 \parsep \z@ \@plus 1pt}\item[]} 347 \item[]} 376 \begin{trivlist}\@topsep \eqntopsep % used by first \item 378 \item[]\leavevmode 387 \@topsep \eqntopsep % used by first \item 389 \item[]\leavevmode 453 \def\@begintheorem##1##2{\item[\hskip\labelsep 455 \def\@opargbegintheorem##1##2##3{\item[\hskip\labelsep 458 \def\@begintheorem##1##2{\item[\hski [all...]
/hets/GMP/papers/heterogenous/
H A D	entcs.cls	339 \leftmargin \rightmargin}\item[]} 343 \parsep \z@ \@plus 1pt}\item[]} 347 \item[]} 376 \begin{trivlist}\@topsep \eqntopsep % used by first \item 378 \item[]\leavevmode 387 \@topsep \eqntopsep % used by first \item 389 \item[]\leavevmode 453 \def\@begintheorem##1##2{\item[\hskip\labelsep 455 \def\@opargbegintheorem##1##2##3{\item[\hskip\labelsep 458 \def\@begintheorem##1##2{\item[\hski [all...]
/hets/CASL/Termination/
H A D	AProVE.jar	META-INF/ META-INF/MANIFEST.MF aprove/ aprove/CommandLineInterface/ aprove/Framework/ aprove/Framework/Algebra/ aprove/Framework/ ...

Completed in 140 milliseconds

12

Indexes created Tue Jul 24 14:28:13 CEST 2018