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