/barrelfish-2018-10-04/usr/eclipseclp/documents/visualisation/ |
H A D | clients.tex | 183 up to 1.0 indicating full usage (thick black line) and any number 312 mouse button in order to bring up the context sensitive actions menu. 366 View bounds in detail & Pops up a window detailing the original bounds and the current bounds for the single selected \viewlet{}. & bound \\ 406 selection dialog will pop up, from which any combination of dimension 449 \textbf{Insert} menu. This brings up a file selection dialog from 536 This will bring up the print dialog as shown in 550 To make the process of setting up the visualisation environment and
|
/barrelfish-2018-10-04/usr/eclipseclp/documents/internal/kernel/ |
H A D | gc.tex | 197 We end up with 4 possible bit combinations, having the following meaning: 225 and a bottom-up pass through the collection segment. 227 bottom-up pass through the collection segment.
|
/barrelfish-2018-10-04/usr/eclipseclp/documents/tutorial/ |
H A D | modelling.tex | 146 When modelling problems with constraints, the basic idea is to set up 159 \item can serve as a program to set up the constraint network 386 in a hexagonal shape such that every diagonal sums up to 38:
|
H A D | eplex.tex | 240 % d. set up the external solver with the objective function 266 Next, we set up the MP constraints for the 289 Having set up the problem, we can solve it 329 .... % same as previous example up to line e 529 % set up variables and constraints, but no integers/1 constraints 600 powerful version of \verb'eplex_solver_setup/1' for setting up a 646 % k. this is a more flexible method for setting up a solver. 734 set up an external solver state for instance Instance. Trigs specifies a
|
H A D | umsusing.tex | 87 the program menu on Windows. This will bring up the {\tkeclipse} 137 This will bring up a file selection dialogue. Select the file you wish 172 to the right of the \guitext{Query Entry} field, or by using the up 200 does not yet exist). This will bring up a file selection dialogue. 402 include parameters for how {\tkeclipse} will start up, e.g. the amount
|
/barrelfish-2018-10-04/usr/eclipseclp/documents/embedding/ |
H A D | embtclmulti.tex | 64 (i.e. it has already been set up using ec_init (embedded) or ec_remote_init (remote)). 73 give up control, so that the control can be passed to the next multitasking 85 The registration can set up three user-defined handlers: the {\bf 212 % invoked when control is being handed to the peer (as set up in {\bf
|
H A D | embremote.tex | 78 disconnection will terminate and clean-up the links between the two 150 occurs, then the connection is established and the interface is set up. 294 Queues should be used to set up long-term I/O links between {\eclipse} and 350 being empty. Generally, it is up to the programmer to co-ordinate the 494 Pops up a window displaying the {\it label_text}, 653 Pops up a window displaying the label_text, an input field 689 invoked. This pops up a Tcl window, with the label ``Input for myqueue:'' 1171 up various data queues between the two sides, and defining the actions to 1185 may be initiated from either side. In addition to cleaning up and closing 1241 set up command [all...] |
H A D | embremoteproto.tex | 195 unchanged up to this point at least, to ensure the proper handshaking and 339 % clean up 800 (typically this involves setting up book-keeping information for the queue 826 then the {\eclipse} side will clean up the preparation for the peer queue. 841 fail was received, then the remote side should clean up the attempted queue 903 queues) to the remote side, and clean up the information associated with the 936 connections and clean up. After the clean up, abort is called. This is 1134 where Len is the atom `unknown'. It is up to the user-defined event handler 1180 It is up t [all...] |
/barrelfish-2018-10-04/usr/eclipseclp/documents/megalog/ |
H A D | backwards-sec.tex | 120 More details can be looked up in the source file of module
|
/barrelfish-2018-10-04/usr/eclipseclp/ecrc_solvers/ |
H A D | s_lists.pl | 174 /* computes the weight of a ground set by summing up its elements
|
/barrelfish-2018-10-04/lib/openssl-1.0.0d/Netware/ |
H A D | set_env.bat | 4 rem Batch file to assist in setting up the necessary enviroment for
|
/barrelfish-2018-10-04/lib/openssl-1.0.0d/crypto/ |
H A D | sparccpuid.S | 35 call .PIC.zero.up 132 .PIC.zero.up:
|
/barrelfish-2018-10-04/doc/015-disk-driver-arch/ |
H A D | libahci.tex | 36 rounded up to 512 bytes, and the latter aligns the base address such that {\tt 111 requested initial pool size rounded up to \lstinline+BASE_PAGE_SIZE+. 201 On the first call to \ahciinit, the bind callback sets up the function table 214 area and the command list are set up, a copy of the \texttt{IDENTIFY} data is
|
/barrelfish-2018-10-04/doc/023-coreboot/ |
H A D | coreboot.tex | 105 start-up. On boot-up, the kernel checks if the KCB it received is initialized. 261 to be received on that core etc. which can cause the whole system to lock-up. It 288 timers and scheduling state, check for registered interrupts and up-call drivers
|
/barrelfish-2018-10-04/usr/eclipseclp/lib_tcl/ |
H A D | tkeclipse.tcl | 272 # together with the next call-command (which is set up below). 312 ;# need to clean up any existing query before command 367 if [string match up $dir] { 368 ;# directions can only be up or down 594 # pop up a menu called $y.popup over the text widget $t 755 ec_rpcq [list erase_module $tkecl(new_module_name)] (()) ;# clean up 788 {initquery "" string tkeclipserc "Initial query called by TkECLiPSe on start-up"} \ 940 bind .tkecl.query.goal_entry <Key-Up> {tkecl:select_history up}
|
/barrelfish-2018-10-04/tools/fof/ |
H A D | FutureWork.tex | 14 \item[Module import clean-up:] for historical reasons, some imports
|
/barrelfish-2018-10-04/usr/eclipseclp/Kernel/lib/ |
H A D | setof.pl | 234 % associated Template instances. Neither argument ends up changed. 302 % only the metacalls of the user goals to show up in the trace.
|
/barrelfish-2018-10-04/usr/eclipseclp/documents/userman/ |
H A D | umsstring.tex | 74 to be copied, while the list that makes up the tail of the concatenated 94 be looked up and possibly entered into the dictionary, which implies
|
H A D | umsusing.tex | 78 This will bring up the {\tkeclipse} top-level, which is shown in 113 This will bring up a file selection dialog. 148 \guitext{Query Entry} field, or by using the up and down arrow keys while 170 This will bring up a file selection dialog. 195 tracer window, you can bring up a menu of additional operations you can 350 parameters for how {\tkeclipse} will start up, e.g., the amount of memory it 760 \subsection{Initialization at start-up} 775 setting up a \notation{.eclipserc} file is a convenient way to achieve this.
|
H A D | exthsusp.tex | 174 suspends, but wakes up later and succeeds or fails, respectively: 204 The suspend library is loaded into \eclipse\ on start-up, but the 417 and it will wake up 492 When X is later instantiated, it will wake up and print the message: 572 the goal will wake up as soon as the first of them occurs: 602 implemented by first waiting for \about{X}'s instantiation, then waking up and 623 and wake up as soon as either of them gets instantiated. 796 the above \predspec{report/1} predicate which only wakes up on the specified 809 The behaviour is similar to above, the predicate wakes up on every 821 Note that we now have to set up th [all...] |
H A D | umsdebug.tex | 599 to speed up the execution of procedures that need not be 789 This command sets up a monitor on the currently displayed term, 799 Var/term spy set up with invocation number (2) %> jump to invoc: [1]? 2 804 up from within the program code using one of the built-ins 1077 Repeated application of this command allows to go up the call stack. 1223 \ncmd{uparrow key}{move current subterm up by \about{n} levels} 1224 \ncmd{A}{move current subterm up by \about{n} levels}\\ 1225 In addition to moving the current subterm down, it can also be moved up 1233 the number of levels to move up. The default is 1: 1241 INSPECT (atom) %> up subter [all...] |
/barrelfish-2018-10-04/doc/004-virtual_memory/ |
H A D | VirtualMemory.tex | 47 The virtual memory system is made up of four user space components listed 75 The vspace object looks up the appropriate vregion for the faulting address and passes the fault to it.
|
/barrelfish-2018-10-04/usr/eclipseclp/ |
H A D | BUILD_ROTD | 75 # Note that we don't milestone cleaning up, since we probably want to re-do 82 # XXX - Note that cleaning up might not work properly: the machines chosen 86 # XXX - Note that if the previous attempt cleaned up, certain directories 90 # deleting it when cleaning up. Note that re-creating it if such is 117 --clean-up 120 --no-clean-up 257 --clean-up) 259 --no-clean-up) 548 # (Or at least to clean them up afterwards.) 586 echo "Giving up [all...] |
/barrelfish-2018-10-04/usr/skb/programs/ |
H A D | irq_routing_new.pl | 436 % Sets up default X86 controllers. 518 % It checks for a direct entry, and if not, recurses up the PCI hierarchy 522 % Add = The pci address to be looked up. 581 % recurse, looking up mapping for the bridge itself 636 % up all the GSI from the pir(..) facts and instantiates the controller
|
/barrelfish-2018-10-04/usr/eclipseclp/documents/intro_paper/ |
H A D | eclipse.tex | 117 class: the pure travelling salesman problem rarely comes up in real 533 modelling and design modelling is given up, in favour of staying 759 To ensure that these coins are enough to make up any total between 1 771 make up the total $Total$. 838 change up to 59 pence (replacing 99 with 59 in the above program). 880 coins a purchaser needs in their pocket to make up any total between 1 1201 different from $Val$, and to allow the constraint to be violated up to 1688 Simplex or Dual Simplex algorithms this cost goes up, in the worst 1937 [eclipse 2]: suspend(writeln("Wake up!"),1,X->inst), 1941 * Wake up! [all...] |