Searched refs:AddClauseToCrtContext (Results 1 – 1 of 1) sorted by relevance
188 void AddClauseToCrtContext(C type) { in AddClauseToCrtContext() function390 AddClauseToCrtContext(clause); in CheckAllowed()