/seL4-l4v-master/HOL4/examples/acl2/ml/ |
H A D | functionEncodeLib.sml | 1043 fun clear fvsr (L,e) = function
|
/seL4-l4v-master/HOL4/examples/muddy/muddyC/buddy/examples/calculator/ |
H A D | hashtbl.cxx | 114 void hashTable::clear(void) function in class:hashTable
|
/seL4-l4v-master/HOL4/polyml/basis/ |
H A D | BIT_FLAGS.sml | 31 val clear: flags * flags -> flags value
|
H A D | Posix.sml | 610 fun clear (fl1, fl2) = SysWord.andb(SysWord.notb fl1, fl2) function
|
H A D | Windows.sml | 236 fun clear (fl1, fl2) = SysWord.andb(SysWord.notb fl1, fl2) function
|
/seL4-l4v-master/HOL4/polyml/mlsource/extra/Win/ |
H A D | Class.sml | 101 fun clear (fl1, fl2) = andb(notb fl1, fl2) function
|
H A D | CommonControls.sml | 161 fun clear (fl1, fl2) = andb(notb fl1, fl2) function 260 fun clear (fl1, fl2) = SysWord.andb(SysWord.notb fl1, fl2) function
|
H A D | CommonDialog.sml | 473 fun clear (fl1, fl2) = andb(notb fl1, fl2) function 851 fun clear (fl1, fl2) = andb(notb fl1, fl2) function 919 fun clear (fl1, fl2) = andb(notb fl1, fl2) function 1300 fun clear (fl1, fl2) = SysWord.andb(SysWord.notb fl1, fl2) function 1421 fun clear (fl1, fl2) = SysWord.andb(SysWord.notb fl1, fl2) function
|
H A D | MessageBox.sml | 90 fun clear (fl1, fl2) = andb(notb fl1, fl2) function
|
H A D | WinBase.sml | 64 fun clear (fl1, fl2) = SysWord.andb(SysWord.notb fl1, fl2) function 125 fun clear (fl1, fl2) = SysWord.andb(SysWord.notb fl1, fl2) function
|
H A D | Base.sml | 621 fun clear (fl1, fl2) = andb(notb fl1, fl2) function
|
/seL4-l4v-master/HOL4/src/HolSat/sat_solvers/minisat/ |
H A D | Global.h | 225 void vec<T>::clear(bool dealloc) { function in class:vec
|
/seL4-l4v-master/HOL4/polyml/mlsource/MLCompiler/CodeTree/X86Code/ |
H A D | X86FOREIGNCALL.sml | 126 fun clear 0w0 = () function
|
/seL4-l4v-master/HOL4/src/parse/ |
H A D | testutils.sig | 47 val clear : string -> string value
|
H A D | testutils.sml | 83 val clear = checkterm "\027[0m" value
|