Searched refs:redo (Results 1 - 9 of 9) sorted by relevance

/barrelfish-master/lib/libc/db/btree/
H A Dbt_delete.c287 int deleted, exact, redo; local
304 redo = 0;
324 redo = 1;
335 redo = 1;
348 if (redo)
/barrelfish-master/lib/openssl-1.0.0d/VMS/
H A Dmkshared.com333 $ redo:
343 $ next:=redo
/barrelfish-master/usr/eclipseclp/documents/internal/kernel/
H A Ddebugger.tex40 have {\bf redo} notifications at retry/trust instructions.
91 REDO in the redo-notifier.
283 \subsection{Emulator mechanism for redo notification}
/barrelfish-master/usr/eclipseclp/documents/userman/
H A Dumsdeveltools.tex483 box model, predicates are entered though \about{call}, \about{redo} or
507 PREDICATE CALLER call exit fail *exit redo
523 The table is sorted according to entry port count ($call+redo+resume$).
532 to find alternative solutions (\notation{redo} ports);
H A Dumserrors.tex468 %redo an overflowed word-sized-integer arithmetic operation with bignums.
/barrelfish-master/usr/eclipseclp/lib_tcl/
H A Dtkec_icons.tcl311 image create photo redo-16 -data {
H A Dtkinspect.tcl366 pack [label $cf.lrepeat -image redo-16] -side $side
H A Declipse_tools.tcl1644 set tkecl(portset,entering) {call redo resume}
/barrelfish-master/usr/eclipseclp/documents/embedding/
H A Ddbi.tex403 partial rollbacks care has to be taken not to redo transactions on

Completed in 117 milliseconds