def mk_timeout(): r = SolverResponse() r.type = SolverResponse.MODEL_STATUS r.status = SolverResponse.TIMEOUT return r
def mk_unknown(): r = SolverResponse() r.type = SolverResponse.MODEL_STATUS r.status = SolverResponse.UNKNOWN return r
def mk_unsat(): r = SolverResponse() r.type = SolverResponse.MODEL_STATUS r.status = SolverResponse.UNSAT return r
def mk_timeout(): r = SolverResponse() r.type = SolverResponse.MODEL_STATUS r.status = SolverResponse.TIMEOUT return r
def mk_unknown(): r = SolverResponse() r.type = SolverResponse.MODEL_STATUS r.status = SolverResponse.UNKNOWN return r
def mk_unsat(): r = SolverResponse() r.type = SolverResponse.MODEL_STATUS r.status = SolverResponse.UNSAT return r