(script_stream, environment=None)
return script.get_last_formula(mgr)
Returns the formula asserted at the end of the given script

    script_stream is a file descriptor.
Returns the formula asserted at the end of the given script
Returns the formula asserted at the end of the given script
def get_formula(script_stream, environment=None):
    """
    Returns the formula asserted at the end of the given script

    script_stream is a file descriptor.
    """
    mgr = None
    if environment is not None:
        mgr = environment.formula_manager

    parser = SmtLibParser(environment)
    script = parser.get_script(script_stream)
    return script.get_last_formula(mgr)
def get_formula ( 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_last_formula ( mgr )