Searched defs:ClauseId_NULL (Results 1 - 3 of 3) sorted by relevance

/seL4-l4v-10.1.1/HOL4/src/HolSat/sat_solvers/minisat/
H A DSolverTypes.h80 const int ClauseId_NULL = INT_MIN; variable
89 Clause(bool learnt, const vec<Lit>& ps, ClauseId id_ = ClauseId_NULL) { argument
106 inline Clause* Clause_new(bool learnt, const vec<Lit>& ps, ClauseId id = ClauseId_NULL) { argument
H A DMain.C170 void checkProof(Proof* proof, ClauseId goal = ClauseId_NULL) argument
/seL4-l4v-10.1.1/HOL4/src/HolSat/sat_solvers/zc2hs/
H A Dzc2hs.cpp171 void checkProof(Proof* proof, ClauseId goal = ClauseId_NULL) argument

Completed in 33 milliseconds