/barrelfish-2018-10-04/usr/eclipseclp/documents/userman/ |
H A D | umsstring.tex | 77 the new one. 100 program creating new atoms dynamically at runtime.
|
H A D | extmeta.tex | 135 A new attribute can be added to a variable 146 If \about{Var} is a free variable, it will be bound to a new attributed variable 171 an attributed variable (it would create a new attributed variable and unify this 578 new value). We distinguish two cases: 587 Otherwise, we bind it to a new attributed variable whose attribute represents 599 warning: creating a new module in module(enum)
|
H A D | umsmemory.tex | 134 automatically after a certain number of new entries has been made 234 of new space has been consumed. See section \ref{gc} for how this process 364 \about{N} new dictionary entries have been made.
|
H A D | umsopsys.tex | 264 fork a new process and execute the command given as the first argument. 297 every time new data appears on the pipe. 322 new process group for the child, such that the child does not get the
|
H A D | umscompiler.tex | 29 % 6.0 2008 Joachim Schimpf Update for new compiler 233 Do not re-create modules, but create new ones and erase them 235 \item[new] 236 Do not overwrite any code in memory, but load new predicates. 238 Do not re-create modules, but create new ones and erase them 338 case, the compiler issues a warning and ignores the new clauses. 378 every new module directive terminates the previous module. 1151 %\item Similarly, when adding one new element to a structure, using {\bf =../2}
|
H A D | umsdebug.tex | 68 For each CALL port a new procedure box is created and is given: 117 the box can be retried later to get a new solution. This will happen when a 188 not enter or leave a box. However, a new \emph{invocation number} is assigned 376 the debugger will stop and await new commands. 709 line is printed and a new command is accepted. 848 %new mode is "QvPm" 1157 The new current subterm is printed, followed by the INSPECT 1445 the command tries to move the new current subterm to the third argument of 1605 new output mode is "TQPm". 1634 new outpu [all...] |
H A D | umsporting.tex | 139 asserting new clauses and by retracting clauses. 227 When rewriting existing applications as well as when writing new programs,
|
/barrelfish-2018-10-04/usr/eclipseclp/documents/search/ |
H A D | search.tex | 212 \item Find a solution which satisfies this new constraint. 213 If one exists, we have a new best solution and we repeat step 2. 1121 if new optimum 1172 CurrentProfit > Best % new optimum? 1226 ( CurrentProfit > Opt2 -> % is it new optimum? 1303 ( CurrentProfit > Opt2 -> % is it new optimum? 1354 ( CurrentProfit > Opt1 -> % is it new optimum? 1402 constraint, then the current search is abandoned, and a new search restarted 1407 the new search. This is in contrast to a conventional backtracking search, 1409 new alternativ [all...] |
/barrelfish-2018-10-04/lib/openssl-1.0.0d/ssl/ |
H A D | s3_lib.c | 2600 DH *new=NULL,*dh; local 2603 if ((new=DHparams_dup(dh)) == NULL) 2610 if (!DH_generate_key(new)) 2613 DH_free(new); 2619 cert->dh_tmp=new;
|
/barrelfish-2018-10-04/usr/eclipseclp/documents/tutorial/ |
H A D | eplex.tex | 404 prob: (A1 \$= A2), % g. the new constraint, added after setup 414 In this example, the new constraint in line \verb'g' is imposed after the 492 need to use a new variable for each call: 557 again as an LP problem with its new bound for the variable: 609 to invoke the solver only if this old solution value is excluded by the new 801 \item re-solve the new continuous relaxation 803 \item re-solve the new continuous relaxation
|
H A D | propiachr.tex | 662 The symmetrical disequality is added to simplify the detection of new 680 the new variable \verb0X0 and each other variable in the original 683 When there are no more variables left, a new clique has been found. 693 find the same clique twice. If the new variable is equal to a 706 \item a new goal is posted, which matches one of the goals in its head 762 \item a new goal is added to its suspension list
|
/barrelfish-2018-10-04/doc/003-hake/ |
H A D | Hake.tex | 298 new application or library is built. 550 target. Adding a new target architecture for Barrelfish involves 551 writing a new one of these files (e.g. \texttt{ARMv8.hs}, or 581 start configuring a new core Barrelfish OS build tree, and must be 582 run in the root of the new build directory. 602 After parsing and checking arguments, \texttt{hake.sh} next creates a new 615 new \texttt{Config.hs} file), and then run with default options (most
|
/barrelfish-2018-10-04/doc/011-idc/ |
H A D | IDC.tex | 184 In contrast to an alias, the \texttt{typedef} keyword causes a new type 227 This form creates a new name (in both Flounder and C) for a 409 The \lstinline+iface_export()+ function initiates the export of a new service. 426 pointer used at export time, and a pointer to the new partly-constructed binding 787 These functions initialise the state of a new waitset, or destroy the state 875 In order to export a new service, a dispatcher sends an 1052 from it. The receiver polls to determine whether new messages have been 1061 flipped every time a new entry is added. When reading a new entry the channels's
|
/barrelfish-2018-10-04/doc/018-Practical-guide/ |
H A D | helloWorldApp.tex | 70 In this subsection, we will create a new interface 71 for our use. We do this by creating a new interface file called 239 On arrival of new connection, we provide this list of function pointers
|
/barrelfish-2018-10-04/include/sys/ |
H A D | sysctl.h | 117 * technology. This is the way nearly all new sysctl variables should 1012 size_t *oldlenp, void *new, size_t newlen, size_t *retval, 1015 size_t *oldlenp, void *new, size_t newlen, size_t *retval, 1018 size_t *oldlenp, int inkernel, void *new, size_t newlen,
|
/barrelfish-2018-10-04/usr/eclipseclp/documents/internal/kernel/ |
H A D | debugger.tex | 152 % It stops call events from being raised, ie no new frames should be 339 a handler which generates DELAY ports for all new suspensions created
|
/barrelfish-2018-10-04/usr/eclipseclp/documents/libman/ |
H A D | introduction.tex | 29 Since this is an area of active research and new developments, 31 of new features and redesign as part of our ongoing work.
|
H A D | icsymbolic.tex | 179 Because of the mapping of symbols to integers, new constraints over
|
/barrelfish-2018-10-04/lib/openssl-1.0.0d/apps/ |
H A D | Makefile | 105 cp $$i $(INSTALL_PREFIX)$(INSTALLTOP)/bin/$$i.new; \ 106 chmod 755 $(INSTALL_PREFIX)$(INSTALLTOP)/bin/$$i.new; \ 107 mv -f $(INSTALL_PREFIX)$(INSTALLTOP)/bin/$$i.new $(INSTALL_PREFIX)$(INSTALLTOP)/bin/$$i ); \ 112 cp $$i $(INSTALL_PREFIX)$(OPENSSLDIR)/misc/$$i.new; \ 113 chmod 755 $(INSTALL_PREFIX)$(OPENSSLDIR)/misc/$$i.new; \ 114 mv -f $(INSTALL_PREFIX)$(OPENSSLDIR)/misc/$$i.new $(INSTALL_PREFIX)$(OPENSSLDIR)/misc/$$i ); \ 116 @cp openssl.cnf $(INSTALL_PREFIX)$(OPENSSLDIR)/openssl.cnf.new; \ 117 chmod 644 $(INSTALL_PREFIX)$(OPENSSLDIR)/openssl.cnf.new; \ 118 mv -f $(INSTALL_PREFIX)$(OPENSSLDIR)/openssl.cnf.new $(INSTALL_PREFIX)$(OPENSSLDIR)/openssl.cnf 138 $(PERL) -pe 'if (/^# DO NOT DELETE THIS LINE/) {print; exit(0);}' $(MAKEFILE) >Makefile.new [all...] |
/barrelfish-2018-10-04/usr/eclipseclp/lib_tcl/ |
H A D | eclipse_tools.tcl | 270 balloonhelp $ec_rpc.run "Execute an ECLiPSe goal once at a new break level." 1238 (will be recompiled with `make')\n `new' - file names added to source list \ 1871 # start of new trace session 2701 $menu add command -label "Add a new directory" -command \ 2834 set new [tkecl:getDirectory $path "$action a path"] 2835 if ![string match "" $new] { 2836 set new [lindex [ec_rpcq [list os_file_name _ $new] (_S) ] 1] 2837 tkecl:perform_path_change $action $name $new $i 2843 proc tkecl:perform_path_change {action name new [all...] |
/barrelfish-2018-10-04/lib/lwip2/src/ |
H A D | Filelists.mk | 92 $(LWIPDIR)/netif/ppp/chap-new.c \
|
/barrelfish-2018-10-04/usr/eclipseclp/documents/embedding/ |
H A D | embexdr.tex | 120 This is all the information needed to create new language mappings
|
H A D | embfunc.tex | 151 The new predicate can now be called like other predicates.
|
/barrelfish-2018-10-04/usr/eclipseclp/documents/megalog/ |
H A D | intro-sec.tex | 160 use the MegaLog compatibility module. Such new developments
|
H A D | kernel-lst.tex | 100 \item[createdb(+DatabasePath)]{Create a new database or open a database if it already exists.}
|