Searched defs:assertLit (Results 1 – 2 of 2) sorted by relevance
155 private void assertLit(int var, int literal, int level, boolean asserted) { in assertLit() method in Trail
81 void assertLit(Lit l) { d_ss->assertLit(l); } in assertLit() function in CVC3::SearchSatTheoryAPI193 void SearchSat::assertLit(Lit l) in assertLit() function in SearchSat