(script_stream, environment=None)
return script.get_strict_formula(mgr)
Returns the formula defined in the SMTScript.

    This function assumes that only one formula is defined in the
    SMTScript. It will raise an exception if commands such as pop and
    push are present in the script, or if check-sat is called more
    than once.
Returns the formula defined in the SMTScript.
Returns the formula defined in the SMTScript .
def get_formula_strict(script_stream, environment=None):
    """Returns the formula defined in the SMTScript.

    This function assumes that only one formula is defined in the
    SMTScript. It will raise an exception if commands such as pop and
    push are present in the script, or if check-sat is called more
    than once.
    """
    mgr = None
    if environment is not None:
        mgr = environment.formula_manager

    parser = SmtLibParser(environment)
    script = parser.get_script(script_stream)
    return script.get_strict_formula(mgr)
def get_formula_strict ( script_stream , environment = None ) : mgr = None if environment is not None : mgr = environment . formula_manager parser = SmtLibParser ( environment ) script = parser . get_script ( script_stream ) return script . get_strict_formula ( mgr )