(pysmt_logic)
return ylogic
Return a Yices String representing the given pySMT logic.
Return a Yices String representing the given pySMT logic.
Return a Yices String representing the given pySMT logic .
def yices_logic(pysmt_logic):
    """Return a Yices String representing the given pySMT logic."""
    ylogic = str(pysmt_logic)
    if ylogic == "QF_BOOL":
        ylogic = "NONE"
    return ylogic
def yices_logic ( pysmt_logic ) : ylogic = str ( pysmt_logic ) if ylogic == "QF_BOOL" : ylogic = "NONE" return ylogic