spirali / haydi Goto Github PK

a = qit.Range(3)
b = qit.Range(10)
c = ("a", a) * ("b", b)

# possible access
c.a
c["a"]

a = qit.Range(3, "a")
b = qit.Range(10, "b")
c = a * b;

# `c` elements can be accessed in the same way.

def is_witness_pair (conf_depth_pair):
  c1 = conf_depth_pair.dpda1.stack_size
  c2 = conf_depth_pair.dpda2.stack_size

states = qit.Range(N)
actions = qit.Range(M)
delta = qit.Mapping(states * actions, states)
final_states = qit.Mapping(states, qit.Range(2)).filter(
    lambda mapping: any(map(lambda (k, v): v == 1, mapping.iteritems())))

# now I can use it as follows and dont care about filtering values
fa = states * final_states * delta
fa.iterate() ...