Пример #1
0
def mk_timeout():
    r = SolverResponse()
    r.type = SolverResponse.MODEL_STATUS
    r.status = SolverResponse.TIMEOUT
    return r
Пример #2
0
def mk_unknown():
    r = SolverResponse()
    r.type = SolverResponse.MODEL_STATUS
    r.status = SolverResponse.UNKNOWN
    return r
Пример #3
0
def mk_unsat():
    r = SolverResponse()
    r.type = SolverResponse.MODEL_STATUS
    r.status = SolverResponse.UNSAT
    return r
Пример #4
0
def mk_timeout():
    r = SolverResponse()
    r.type = SolverResponse.MODEL_STATUS
    r.status = SolverResponse.TIMEOUT
    return r
Пример #5
0
def mk_unknown():
    r = SolverResponse()
    r.type = SolverResponse.MODEL_STATUS
    r.status = SolverResponse.UNKNOWN
    return r
Пример #6
0
def mk_unsat():
    r = SolverResponse()
    r.type = SolverResponse.MODEL_STATUS
    r.status = SolverResponse.UNSAT
    return r