mutable entry_points : (Tag.t*Ptset.t) list;
mutable contains : string option;
mutable univ_states : Ata.state list;
mutable entry_points : (Tag.t*Ptset.t) list;
mutable contains : string option;
mutable univ_states : Ata.state list;
Ata.universal = Ptset.add a_dst (Ptset.from_list config.univ_states);
Ata.phi = phi;
Ata.sigma = Ata.HTagSet.create 17;
Ata.universal = Ptset.add a_dst (Ptset.from_list config.univ_states);
Ata.phi = phi;
Ata.sigma = Ata.HTagSet.create 17;