assertConstraint method

void assertConstraint(
  1. AST axiom
)

Implementation

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