Python pysmt_push_envの例

コード例 #1

def push_env(env=None):
    if env is None:
        env = ExtendedEnvironment()
    return pysmt_push_env(env=env)

コード例 #2

ファイル: environment.py プロジェクト: pllab/CoSA

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

コード例 #3

ファイル: ltl.py プロジェクト: mpreiner/pysmt

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)