Compose this box with that box.
Compose this box with that box. Returns a new box.
Add a new edge (q1, q2) to the box.
Add a new edge (q1, q2) to the box. Updates box and returns this.
returns the set of states q2 with and edge (q, q2)
Iterate over all edges (q1, q2) in the box
Checks if an edge (q1, q2) is contained in the box
Box in a Caley graph [w] = { (q,q') | q -- w --> q' }