Searched refs:deleted (Results 1 - 25 of 38) sorted by relevance

12

/seL4-l4v-10.1.1/HOL4/src/HolSat/sat_solvers/minisat/
H A DProof.h39 virtual void deleted(ClauseId c) {} function in struct:ProofTraverser
68 void deleted (ClauseId gone);
H A DProof.C162 void Proof::deleted(ClauseId gone) function in class:Proof
165 trav->deleted(abs(gone));
403 trav.deleted(chain_id[0]-1); //HA: -1 to compensate for id_counter base 1
H A DMain.C79 reportf("conflict literals : %-12"I64_fmt" (%4.2f %% deleted)\n", stats.tot_literals, (stats.max_literals - stats.tot_literals)*100 / (double)stats.max_literals);
164 void deleted(ClauseId c) { function in struct:Checker
H A DSolver.C160 if (proof != NULL) proof->deleted(c->id());
/seL4-l4v-10.1.1/isabelle/Admin/Release/
H A Disasync87 conservative in the sense that files are never deleted, thus garbage
/seL4-l4v-10.1.1/l4v/isabelle/Admin/Release/
H A Disasync87 conservative in the sense that files are never deleted, thus garbage
/seL4-l4v-10.1.1/HOL4/tools/mlyacc/mlyacclib/
H A DMLY_parser2.sml426 toks' is the actual tokens (with positions and values) deleted,
438 of SOME(deleted,_,r',lp'') =>
439 SOME(tok::deleted,l,r',lp'')
448 of SOME(deleted,l,r,lp) =>
450 leftPos=l,rightPos=r,orig=deleted,
/seL4-l4v-10.1.1/isabelle/src/HOL/TPTP/TPTP_Parser/ml-yacc/lib/
H A Dparser2.sml408 toks' is the actual tokens (with positions and values) deleted,
420 of SOME(deleted,l',r',lp'') =>
421 SOME(tok::deleted,l,r',lp'')
430 of SOME(deleted,l,r,lp) =>
432 leftPos=l,rightPos=r,orig=deleted,
/seL4-l4v-10.1.1/l4v/isabelle/src/HOL/TPTP/TPTP_Parser/ml-yacc/lib/
H A Dparser2.sml408 toks' is the actual tokens (with positions and values) deleted,
420 of SOME(deleted,l',r',lp'') =>
421 SOME(tok::deleted,l,r',lp'')
430 of SOME(deleted,l,r,lp) =>
432 leftPos=l,rightPos=r,orig=deleted,
/seL4-l4v-10.1.1/HOL4/examples/CCS/
H A DCCSLib.sml200 summand to be then deleted by applying the idempotence law for summation. *)
H A DStrongLawsConv.sml58 (* Find repeated occurrences of a summand to be then deleted by applying
/seL4-l4v-10.1.1/seL4/manual/parts/
H A Dapi.tex218 invocation cannot be performed until either these objects are deleted or
H A Dcspace.tex240 Capabilities in seL4 can be deleted and revoked. Both methods
286 deleted as a result of the revoke. In this case the thread performing
289 capability that is the target of the revoke is deleted as a result of
H A Dthreads.tex57 deleted.
415 if the I/O port capability is deleted for any reason the access will be correspondingly removed
H A Dobjects.tex375 region have been deleted, the kernel will reset the watermark and start
/seL4-l4v-10.1.1/HOL4/src/HolSat/sat_solvers/zc2hs/
H A Dzc2hs.cpp166 void deleted(ClauseId c) { function in struct:Checker
/seL4-l4v-10.1.1/HOL4/src/1/
H A DThm_cont.sml338 (* This version deleted for HOL version 1.12 [TFM 91.01.17] *)
H A DTactic.sml836 * Old version: deleted for HOL version 1.12 [TFM 91.01.17] *
/seL4-l4v-10.1.1/HOL4/Manual/Description/
H A Dversion2.tex13 \LCF\ have been deleted and many `internal' \ML\ bindings have been
122 list the \ML\ bindings that have ben added and deleted in Version 2.0.
1243 \noindent have been deleted, and replaced by the constant specification:
1350 The \ML\ identifiers that have been added and deleted in Version 2.0
1430 deleted by mistake---please let us know if you want anything back.
/seL4-l4v-10.1.1/HOL4/Manual/Translations/IT/Description/
H A Dversion2.tex13 \LCF\ have been deleted and many `internal' \ML\ bindings have been
122 list the \ML\ bindings that have ben added and deleted in Version 2.0.
1243 \noindent have been deleted, and replaced by the constant specification:
1350 The \ML\ identifiers that have been added and deleted in Version 2.0
1430 deleted by mistake---please let us know if you want anything back.
H A DHolSat.tex170 Normally, {\tt{HolSatLib}} will delete the files generated by the SAT solver, such as the output proof, counter-model, and result status. However, if \texttt{infile} is set, the files are not deleted, in case they are required elsewhere.
/seL4-l4v-10.1.1/isabelle/src/Doc/Logics/document/
H A DCTT.tex590 Can assumptions be deleted after use? Not every occurrence of a type
594 can be deleted safely. In Type Theory, $+$-elimination with the assumption
/seL4-l4v-10.1.1/l4v/isabelle/src/Doc/Logics/document/
H A DCTT.tex590 Can assumptions be deleted after use? Not every occurrence of a type
594 can be deleted safely. In Type Theory, $+$-elimination with the assumption
/seL4-l4v-10.1.1/HOL4/src/parse/
H A DParse.sml918 but with "non-trivial" overloads deleted *)
/seL4-l4v-10.1.1/HOL4/src/rational/
H A DfracScript.sml795 * deleted

Completed in 119 milliseconds

12