Lines Matching full:constructed
11 // The basic idea is that the State graph is constructed so that the
17 // but it omits the details of how the State graph gets constructed as well
1259 // First, the State graph is constructed incrementally: it is possible
