Beispiel #1
0
def bottom_state(domain = None):
    return new_state(tr.bottom_state(),exact=True,domain=domain,expr=state_join())
Beispiel #2
0
def bottom_state(domain=None):
    return new_state(tr.bottom_state(),
                     exact=True,
                     domain=domain,
                     expr=state_join())