Esempio n. 1
0
def mk_timeout():
    r = SolverResponse()
    r.type = SolverResponse.MODEL_STATUS
    r.status = SolverResponse.TIMEOUT
    return r
Esempio n. 2
0
def mk_unknown():
    r = SolverResponse()
    r.type = SolverResponse.MODEL_STATUS
    r.status = SolverResponse.UNKNOWN
    return r
Esempio n. 3
0
def mk_unsat():
    r = SolverResponse()
    r.type = SolverResponse.MODEL_STATUS
    r.status = SolverResponse.UNSAT
    return r
Esempio n. 4
0
def mk_timeout():
    r = SolverResponse()
    r.type = SolverResponse.MODEL_STATUS
    r.status = SolverResponse.TIMEOUT
    return r
Esempio n. 5
0
def mk_unknown():
    r = SolverResponse()
    r.type = SolverResponse.MODEL_STATUS
    r.status = SolverResponse.UNKNOWN
    return r
Esempio n. 6
0
def mk_unsat():
    r = SolverResponse()
    r.type = SolverResponse.MODEL_STATUS
    r.status = SolverResponse.UNSAT
    return r