Python SolverResponse Examples

Example #1

def mk_model_data(model):
    """
    Parameters
        model : SolverResponse.Model
    """
    r = SolverResponse()
    r.type = SolverResponse.MODEL_DATA
    r.model.CopyFrom(model)
    return r

Example #2

File: cuter_common.py Project: aggelgian/cuter

def mk_model_data(model):
    """
    Parameters
        model : SolverResponse.Model
    """
    r = SolverResponse()
    r.type = SolverResponse.MODEL_DATA
    r.model.CopyFrom(model)
    return r

Example #3

def mk_model(entries):
    """
    Parameters
        entries : list of SolverResponse.ModelEntry
    """
    m = SolverResponse.Model()
    m.entries.extend(entries)
    return m

Example #4

def mk_model_entry(var, value):
    """
    Parameters
        var : ErlangTerm
        value : ErlangTerm
    """
    e = SolverResponse.ModelEntry()
    e.var.CopyFrom(var)
    e.value.CopyFrom(value)
    return e

Example #5

def mk_timeout():
    r = SolverResponse()
    r.type = SolverResponse.MODEL_STATUS
    r.status = SolverResponse.TIMEOUT
    return r

Example #6

def mk_unknown():
    r = SolverResponse()
    r.type = SolverResponse.MODEL_STATUS
    r.status = SolverResponse.UNKNOWN
    return r

Example #7

def mk_unsat():
    r = SolverResponse()
    r.type = SolverResponse.MODEL_STATUS
    r.status = SolverResponse.UNSAT
    return r

Example #8

File: cuter_common.py Project: aggelgian/cuter

def mk_timeout():
    r = SolverResponse()
    r.type = SolverResponse.MODEL_STATUS
    r.status = SolverResponse.TIMEOUT
    return r

Example #9

File: cuter_common.py Project: aggelgian/cuter

def mk_unknown():
    r = SolverResponse()
    r.type = SolverResponse.MODEL_STATUS
    r.status = SolverResponse.UNKNOWN
    return r

Example #10

File: cuter_common.py Project: aggelgian/cuter

def mk_unsat():
    r = SolverResponse()
    r.type = SolverResponse.MODEL_STATUS
    r.status = SolverResponse.UNSAT
    return r