addConstraint method

void addConstraint(
  1. Expr axiom,
  2. int level
)

Adds a constraint. (?)

Implementation

void addConstraint(Expr axiom, int level) {
  _c._z3.fixedpoint_add_constraint(_fp, _c._createAST(axiom), level);
}