Lines Matching refs:aut1
54 spot::twa_graph_ptr aut1 = spot::make_twa_graph(dict);
55 int ap1a = aut1->register_ap("a");
56 int ap1b = aut1->register_ap("b");
57 std::cout << "aut1: a=" << ap1a << " b=" << ap1b << '\n';
68 : aut1: a=0 b=1
81 spot::twa_graph_ptr aut1 = spot::make_twa_graph(dict1);
82 int ap1a = aut1->register_ap("a");
83 int ap1b = aut1->register_ap("b");
84 std::cout << "aut1: a=" << ap1a << " b=" << ap1b << '\n';
96 : aut1: a=0 b=1
99 For this reason, operations like ~spot::product(aut1, aut2)~ will
100 require that ~aut1->get_dict() == aut2->get_dict()~.
108 aut1 = spot.make_twa_graph()
109 ap1a = aut1.register_ap("a")
110 ap1b = aut1.register_ap("b")
111 print("aut1: a={} b={}".format(ap1a, ap1b))
116 print("aut1: a={} b={} c={}".format(ap2a, ap2b, ap2c))
120 : aut1: a=0 b=1
121 : aut1: a=0 b=1 c=2
143 spot::twa_graph_ptr aut1 = spot::make_twa_graph(dict);
144 int ap1a = aut1->register_ap("a");
145 int ap1b = aut1->register_ap("b");
146 std::cout << "aut1@" << aut1 << ": a=" << ap1a << " b=" << ap1b << '\n';
155 aut1 = nullptr;
156 std::cout << "aut1 destroyed\n";
167 aut1@0x55bff3d24340: a=0 b=1
186 aut1 destroyed
214 new one. When =aut1= is deleted, it unregisters all its variables,