getAnswer method

AST getAnswer()

Implementation

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