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_model(entries): """ Parameters entries : list of SolverResponse.ModelEntry """ m = SolverResponse.Model() m.entries.extend(entries) return m
def mk_model_entry(var, value): """ Parameters var : ErlangTerm value : ErlangTerm """ e = SolverResponse.ModelEntry() e.var.CopyFrom(var) e.value.CopyFrom(value) return e
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