Searched refs:an (Results 176 - 200 of 423) sorted by relevance

1234567891011>>

/barrelfish-master/usr/eclipseclp/ecrc_solvers/grace/
H A Dwake.pl9 % Software distributed under the License is distributed on an "AS IS"
/barrelfish-master/usr/eclipseclp/icparc_solvers/ech/
H A Ddiaz_bool.pl9 % Software distributed under the License is distributed on an "AS IS"
176 /* Put N queens on an NxN chessboard so that there is no couple of queens */
179 /* where Queij is 1 if the the is a queen on the ith line an jth row. */
327 % creates an array (with unbound variables)
/barrelfish-master/usr/eclipseclp/Kernel/lib/
H A Dlists.pl10 % Software distributed under the License is distributed on an "AS IS"
411 Converts various \"collection\" data structures into an array. Fails if it
415 The list is converted into an array using array_list/2.
463 % Xz is an array, D>0 or D<0
653 summary:"Succeeds if List2 is List1 less an occurence of Element in List1.\n\n",
659 Unifies the list List2 with the list List1 less an occurence of Element.
662 This predicate can be used to select an element from a list, delete an
675 fail_if:" Fails if List2 does not unify with List1 less an occurence of Element.\n\n",
708 summary:"Succeeds if List2 is List1 less an occurenc
[all...]
H A Dmixtus.pl10 % Software distributed under the License is distributed on an "AS IS"
H A Dstructures.pl10 % Software distributed under the License is distributed on an "AS IS"
H A Dutil.pl10 % Software distributed under the License is distributed on an "AS IS"
80 summary:"Invoke an editor on the source of the specified predicate (UNIX only)"
230 % invoke an editor on the source of a predicate
H A Dvarlists.pl10 % Software distributed under the License is distributed on an "AS IS"
H A Darray.pl10 % Software distributed under the License is distributed on an "AS IS"
/barrelfish-master/usr/eclipseclp/documents/libman/
H A Dfdglobal.tex9 % Software distributed under the License is distributed on an "AS IS"
148 ResourceLimit is an integer. The declarative meaning is:
193 ResourceLimit is an integer. The declarative meaning is:
203 In this variant, an area (the product of duration and resource usage of
/barrelfish-master/usr/eclipseclp/documents/tutorial/
H A Dtutorial.tex9 % Software distributed under the License is distributed on an "AS IS"
116 This tutorial provides an introduction to programming in ECLiPSe.
136 For an informal introduction to combinatorial optimisation
305 % <sect> Printing an Infinite Sequence of Primes
/barrelfish-master/usr/eclipseclp/Contrib/
H A Dxml_diagnosis.pl19 * Message is an atom naming the type of error; Path is a string encoding a
49 element_fault( element(Tag, _Attributes, _Contents), _Indent, Tag, [], "Tag must be an atom" ) :-
H A Dgraphs.pl40 p_to_s_graph(Pform, Sform) converts a P- to an S- representation.
41 s_to_p_graph(Sform, Pform) converts an S- to a P- representation.
53 % strips off the neighbours lists of an S-representation to produce
H A Dmetutl.pl58 % True if T is an uninstantiated variable or an atom.
63 atomic(Term). % is a number or an atom.
H A Dread.pl75 % giving an error message if it is not. It is used to look for
187 syntax_error([Token,cannot,start,an,expression], S0).
244 % of result precedence Precedence forces it to be treated as an
329 % This business of syntax errors is tricky. When an error is detected,
337 % what looked at first sight like an error sometimes turned out to be
341 % report an error message and then decide that it is happy with the input
H A Dxml_generation.pl22 * Also, Format is over-ridden, for an individual element, by an explicit
96 " />". % Leave an extra space for XHTML output.
/barrelfish-master/doc/015-disk-driver-arch/
H A Dconclusion.tex1 In the course of this lab project we successfully implemented an \ac{ahci}
/barrelfish-master/usr/eclipseclp/icparc_solvers/ilog/
H A Dfd_fd.pl9 % Software distributed under the License is distributed on an "AS IS"
/barrelfish-master/usr/eclipseclp/icparc_solvers/
H A Dvbs_data.pl9 % Software distributed under the License is distributed on an "AS IS"
H A Dfrequency.pl9 % Software distributed under the License is distributed on an "AS IS"
130 % Given an integer value and a list of finite domain variables
131 % Returns a lower and an upper bound of the times this value
/barrelfish-master/tools/flounder/
H A Dintro.tex5 Let assume we are defining an interface named \emph{if}, with the
/barrelfish-master/doc/004-virtual_memory/
H A DVirtualMemory.tex72 a new vspace is created and it is associated with an appropriate pmap.
89 and as an optimization a single frame memory object.
117 \verb|Mapping_ModifyFlags|). These invocations are implemented in an
162 A domain can only construct pagetables for an MMU of the same type as the one it is using.
/barrelfish-master/lib/tommath/
H A Dbn.tex151 that is being performed. The numbers represent how many times the test was invoked. If an error is detected the program
180 A tweak is an algorithm ``alternative''. For example, to provide tradeoffs (usually between size and space).
251 LibTomMath was written to be an instructive collection of source code. This is why there are many comments, only one
252 function per source file and often I use a ``middle-road'' approach where I don't cut corners for an extra 2\% speed
321 The last two codes listed are not actually ``return'ed'' by a function. They are placed in an integer (the caller must
322 provide the address of an integer it can store to) which the caller can access. To convert one of the three return codes
346 Where ``mp\_digit'' is a data type that represents individual digits of the integer. By default, an mp\_digit is the
352 done to use an mp\_int is that it must be initialized.
384 This function expects a pointer to an mp\_int structure and will initialize the members of the structure so the mp\_int
407 When you are finished with an m
[all...]
/barrelfish-master/usr/eclipseclp/Opium/
H A Dopium_light.pl10 * Software distributed under the License is distributed on an "AS IS"
143 * the formatted string is converted to an atom an
/barrelfish-master/lib/openssl-1.0.0d/
H A Dopenssl.spec32 Young and Tim J. Hudson. The OpenSSL toolkit is licensed under an
53 Young and Tim J. Hudson. The OpenSSL toolkit is licensed under an
74 Young and Tim J. Hudson. The OpenSSL toolkit is licensed under an
/barrelfish-master/usr/eclipseclp/documents/userman/
H A Dexthsusp.tex9 % Software distributed under the License is distributed on an "AS IS"
75 match a clause head with an instance of the clause body, i.e., a
400 While delay-clauses are an elegant, declarative way of specifying how
479 Here, when the predicate is called with an uninstantiated argument,
512 When such an event occurs, the suspended goal is passed to the
660 because an integer cannot be equal to its successor. However, the above
825 variables which have an ic-attribute, see chapter \ref{attrvars}.}
839 These are called \defnotion{triggers} and are identified simply by an
840 arbitrary name (an atom). Goals can be suspended on such triggers,
898 bound of an interva
[all...]

Completed in 83 milliseconds

1234567891011>>