assertExpr method

void assertExpr(AST a)

Implementation

void assertExpr(AST a) {
  _c._z3.goal_assert(_goal, _c._createAST(a));
}