Searched defs:close (Results 1 - 9 of 9) sorted by path

/seL4-l4v-master/HOL4/src/HolSat/sat_solvers/minisat/
H A DFile.C50 void File::close(void) function in class:File
/seL4-l4v-master/isabelle/src/Tools/Metis/src/
H A DElementSet.sig143 val close : (element -> set) -> set -> set value
H A DElementSet.sml321 fun close f = closedAdd f empty; function
/seL4-l4v-master/l4v/isabelle/src/Tools/Metis/src/
H A DElementSet.sig143 val close : (element -> set) -> set -> set value
H A DElementSet.sml321 fun close f = closedAdd f empty; function
/seL4-l4v-master/HOL4/polyml/basis/
H A DPosix.sml304 val close: file_desc -> unit value
1260 fun close (strm: file_desc): unit = doIo(7, strm, 0) function
H A DSocket.sml86 val close : ('af, 'sock_type) sock -> unit value
466 fun close (SOCK strm): unit = doCall(strm) function
H A DTextIO.sml374 fun close () : unit = (posN := stringLength) function
/seL4-l4v-master/graph-refine/
H A Dsolver.py779 def close (self, reason = '?'): member in class:Solver
[all...]

Completed in 97 milliseconds