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())