assertConstraint method

void assertConstraint(
  1. Expr axiom
)

Assert a constraint as a background axiom.

Implementation

void assertConstraint(Expr axiom) {
  _c._z3.fixedpoint_assert(_fp, _c._createAST(axiom));
}