Searched defs:moveTo (Results 1 - 2 of 2) sorted by relevance

/seL4-l4v-10.1.1/HOL4/src/HolSat/sat_solvers/minisat/
H A DGlobal.h200 void moveTo(vec<T>& dest) { dest.clear(true); dest.data = data; dest.sz = sz; dest.cap = cap; data = NULL; sz = 0; cap = 0; } function in class:vec
/seL4-l4v-10.1.1/HOL4/tools/
H A Dbuildutils.sml434 fun moveTo dir action = let function

Completed in 37 milliseconds