def mk_model_data(model): """ Parameters model : SolverResponse.Model """ r = SolverResponse() r.type = SolverResponse.MODEL_DATA r.model.CopyFrom(model) return r
def mk_model_data(model): """ Parameters model : SolverResponse.Model """ r = SolverResponse() r.type = SolverResponse.MODEL_DATA r.model.CopyFrom(model) 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
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