Exemplos de SolverResponse.SolverResponse em Python

Exemplo n.º 1

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

Exemplo n.º 2

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

Exemplo n.º 3

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

Exemplo n.º 4

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