(env=None)
return pysmt_push_env(env=env)
Overload push_env to default to the new Environment class.
Overload push_env to default to the new Environment class.
Overload push_env to default to the new Environment class .
def push_env(env=None):
    """Overload push_env to default to the new Environment class."""
    if env is None:
        env = EnvironmentLTL()
    return pysmt_push_env(env=env)
def push_env ( env = None ) : if env is None : env = EnvironmentLTL ( ) return pysmt_push_env ( env = env )