Python bottom_stateの例

コード例 #1

ファイル: ivy_interp.py プロジェクト: ZZHGit/ivy

def bottom_state(domain = None):
    return new_state(tr.bottom_state(),exact=True,domain=domain,expr=state_join())

コード例 #2

def bottom_state(domain=None):
    return new_state(tr.bottom_state(),
                     exact=True,
                     domain=domain,
                     expr=state_join())