Home
last modified time | relevance | path

Searched refs:conflictClauses (Results 1 – 2 of 2) sorted by relevance

/dports/math/vampire/vampire-4.5.1/VUtils/
H A DSimpleSMT.cpp162 static SATClauseStack conflictClauses; in addTheoryConflicts() local
163 conflictClauses.reset(); in addTheoryConflicts()
170 conflictClauses.push(cl); in addTheoryConflicts()
172 addClausesToSAT(conflictClauses); in addTheoryConflicts()
/dports/math/vampire/vampire-4.5.1/Shell/
H A DStatistics.hpp326 unsigned conflictClauses; member in Shell::Statistics