Home
last modified time | relevance | path

Searched refs:paut (Results 1 – 25 of 70) sorted by relevance

123

/dports/math/spot/spot-2.10.2/tests/core/
H A Dkripkecat.cc36 while (auto paut = parser.parse(make_bdd_dict(), in main() local
39 if (paut->format_errors(std::cerr)) in main()
42 if (paut->ks) in main()
45 if (!paut->ks) in main()
47 print_hoa(std::cout, paut->ks); in main()
/dports/math/py-spot/spot-2.10.2/tests/core/
H A Dkripkecat.cc36 while (auto paut = parser.parse(make_bdd_dict(), in main() local
39 if (paut->format_errors(std::cerr)) in main()
42 if (paut->ks) in main()
45 if (!paut->ks) in main()
47 print_hoa(std::cout, paut->ks); in main()
/dports/math/gap/gap-4.11.0/pkg/PatternClass-2.4.2/lib/
H A DSubAut.gi29 local penc,paut,maxrank,h,revpaut,subaut,wordlist,i,resaut;
36 paut := RatExpToAut(penc);
40 revpaut := MinimalAutomaton(ReversedAutomaton(paut));
64 local penc,paut,h,revpaut,subaut,wordlist,i,resaut;
68 paut := RatExpToAut(penc);
72 revpaut := MinimalAutomaton(ReversedAutomaton(paut));
145 local penc,qenc,paut,maxrank,h,revpaut,subaut;
157 paut := RatExpToAut(penc);
160 revpaut := MinimalAutomaton(ReversedAutomaton(paut));
/dports/www/chromium-legacy/chromium-88.0.4324.182/third_party/llvm/clang-tools-extra/test/clang-tidy/checkers/
H A Dmodernize-use-auto-new-remove-stars.cpp103 auto *paut = new MyType(); in auto_new() local
H A Dmodernize-use-auto-new.cpp108 auto *paut = new MyType(); in auto_new() local
/dports/devel/tinygo/tinygo-0.14.1/llvm-project/clang-tools-extra/test/clang-tidy/checkers/
H A Dmodernize-use-auto-new-remove-stars.cpp103 auto *paut = new MyType(); in auto_new() local
H A Dmodernize-use-auto-new.cpp108 auto *paut = new MyType(); in auto_new() local
/dports/devel/wasi-libcxx/llvm-project-13.0.1.src/clang-tools-extra/test/clang-tidy/checkers/
H A Dmodernize-use-auto-new-remove-stars.cpp103 auto *paut = new MyType(); in auto_new() local
H A Dmodernize-use-auto-new.cpp108 auto *paut = new MyType(); in auto_new() local
/dports/devel/llvm11/llvm-11.0.1.src/tools/clang/tools/extra/test/clang-tidy/checkers/
H A Dmodernize-use-auto-new-remove-stars.cpp103 auto *paut = new MyType(); in auto_new() local
H A Dmodernize-use-auto-new.cpp108 auto *paut = new MyType(); in auto_new() local
/dports/devel/llvm-cheri/llvm-project-37c49ff00e3eadce5d8703fdc4497f28458c64a8/clang-tools-extra/test/clang-tidy/checkers/
H A Dmodernize-use-auto-new-remove-stars.cpp103 auto *paut = new MyType(); in auto_new() local
H A Dmodernize-use-auto-new.cpp108 auto *paut = new MyType(); in auto_new() local
/dports/devel/llvm90/llvm-9.0.1.src/tools/clang/tools/extra/test/clang-tidy/
H A Dmodernize-use-auto-new-remove-stars.cpp103 auto *paut = new MyType(); in auto_new() local
H A Dmodernize-use-auto-new.cpp108 auto *paut = new MyType(); in auto_new() local
/dports/devel/llvm12/llvm-project-12.0.1.src/clang-tools-extra/test/clang-tidy/checkers/
H A Dmodernize-use-auto-new.cpp108 auto *paut = new MyType(); in auto_new() local
H A Dmodernize-use-auto-new-remove-stars.cpp103 auto *paut = new MyType(); in auto_new() local
/dports/devel/llvm10/llvm-10.0.1.src/tools/clang/tools/extra/test/clang-tidy/checkers/
H A Dmodernize-use-auto-new.cpp108 auto *paut = new MyType(); in auto_new() local
H A Dmodernize-use-auto-new-remove-stars.cpp103 auto *paut = new MyType(); in auto_new() local
/dports/devel/llvm-devel/llvm-project-f05c95f10fc1d8171071735af8ad3a9e87633120/clang-tools-extra/test/clang-tidy/checkers/
H A Dmodernize-use-auto-new-remove-stars.cpp103 auto *paut = new MyType(); in auto_new() local
H A Dmodernize-use-auto-new.cpp108 auto *paut = new MyType(); in auto_new() local
/dports/devel/wasi-compiler-rt13/llvm-project-13.0.1.src/clang-tools-extra/test/clang-tidy/checkers/
H A Dmodernize-use-auto-new-remove-stars.cpp103 auto *paut = new MyType(); in auto_new() local
H A Dmodernize-use-auto-new.cpp108 auto *paut = new MyType(); in auto_new() local
/dports/devel/wasi-compiler-rt12/llvm-project-12.0.1.src/clang-tools-extra/test/clang-tidy/checkers/
H A Dmodernize-use-auto-new-remove-stars.cpp103 auto *paut = new MyType(); in auto_new() local
/dports/lang/rust/rustc-1.58.1-src/src/llvm-project/clang-tools-extra/test/clang-tidy/checkers/
H A Dmodernize-use-auto-new-remove-stars.cpp103 auto *paut = new MyType(); in auto_new() local

123