getAnswer method

AST getAnswer()

Gets the answer to the last query, assuming it was satisfiable.

Implementation

AST getAnswer() {
  return _c._getAST(_c._z3.fixedpoint_get_answer(_fp));
}