Searched refs:mkNot (Results 1 – 4 of 4) sorted by relevance
266 virtual SMTExprRef mkNot(const SMTExprRef &Exp) = 0;
64 return assumeExpr(State, Sym, Assumption ? Exp : Solver->mkNot(Exp)); in REGISTER_TRAIT_WITH_PROGRAMSTATE()
50 return Solver->mkNot(Exp); in fromUnOp()
358 SMTExprRef mkNot(const SMTExprRef &Exp) override { in mkNot() function in __anona2cc94240111::Z3Solver