Searched refs:getMode (Results 1 - 3 of 3) sorted by relevance

/seL4-l4v-master/HOL4/src/HolSat/sat_solvers/minisat/
H A DFile.h68 FileMode getMode(void) { function in class:File
/seL4-l4v-master/isabelle/src/Tools/jEdit/src/
H A Djedit_lib.scala116 val mode = buffer.getMode
/seL4-l4v-master/l4v/isabelle/src/Tools/jEdit/src/
H A Djedit_lib.scala116 val mode = buffer.getMode

Completed in 42 milliseconds