Home
last modified time | relevance | path

Searched refs:Fin (Results 101 – 125 of 4730) sorted by relevance

12345678910>>...190

/dports/math/py-spot/spot-2.10.2/tests/core/
H A Dsbacc.test67 Acceptance: 2 Fin(0)|Inf(1)
83 Acceptance: 2 Fin(0) & Inf(1)
102 Acceptance: 2 Fin(0) | Inf(1)
117 Acceptance: 2 Fin(0) & Inf(1)
169 Acceptance: 3 Fin(2) & (Inf(1) | Fin(0))
195 Acceptance: 2 Fin(0) | Inf(0) | Fin(1)
H A Dcomplement.test60 Acceptance: 2 Fin(0)|Fin(1)
75 Acceptance: 1 Fin(0)
94 Acceptance: 1 Fin(0)
150 HOA: v1 States: 8 Start: 0 AP: 3 "a" "b" "c" Acceptance: 3 Fin(0) |
151 (Inf(1) & Fin(2)) properties: trans-labels explicit-labels trans-acc
H A Dautcross4.test55 -Fin 'ltl2tgba %[no]M>%O' 'ltl2tgba %M>%O' --csv=out.csv && exit 1
64 'sleep 10; autfilt %H>%O' 'false %H %O' 2>err -Fin
75 'sleep 10; autfilt %H>%O' 'false %H %O' 2>err -Fin && exit 1
86 'sleep 10; autfilt %H>%O' 'false %H %O' 2>err -Fin && exit 1
H A Dexplsum.test66 Acceptance: 1 Fin(0)
97 Acceptance: 1 Fin(0)
147 Acceptance: 2 Fin(0) | Inf(1)
202 Acceptance: 2 Fin(0) | Inf(1)
224 Acceptance: 4 Fin(0) | Inf(1) | (Inf(2)&Inf(3))
256 Acceptance: 4 Fin(0) | Inf(1) | (Inf(2)&Inf(3))
/dports/math/spot/spot-2.10.2/tests/core/
H A Dcomplement.test60 Acceptance: 2 Fin(0)|Fin(1)
75 Acceptance: 1 Fin(0)
94 Acceptance: 1 Fin(0)
150 HOA: v1 States: 8 Start: 0 AP: 3 "a" "b" "c" Acceptance: 3 Fin(0) |
151 (Inf(1) & Fin(2)) properties: trans-labels explicit-labels trans-acc
H A Dautcross4.test55 -Fin 'ltl2tgba %[no]M>%O' 'ltl2tgba %M>%O' --csv=out.csv && exit 1
64 'sleep 10; autfilt %H>%O' 'false %H %O' 2>err -Fin
75 'sleep 10; autfilt %H>%O' 'false %H %O' 2>err -Fin && exit 1
86 'sleep 10; autfilt %H>%O' 'false %H %O' 2>err -Fin && exit 1
H A Dexplsum.test66 Acceptance: 1 Fin(0)
97 Acceptance: 1 Fin(0)
147 Acceptance: 2 Fin(0) | Inf(1)
202 Acceptance: 2 Fin(0) | Inf(1)
224 Acceptance: 4 Fin(0) | Inf(1) | (Inf(2)&Inf(3))
256 Acceptance: 4 Fin(0) | Inf(1) | (Inf(2)&Inf(3))
/dports/databases/grass7/grass-7.8.6/vector/v.perturb/
H A Dmain.c42 struct field_info *Fi, *Fin; in main() local
247 Fin = Vect_default_field_info(&Out, Fi->number, Fi->name, ttype); in main()
248 Vect_map_add_dblink(&Out, Fi->number, Fi->name, Fin->table, Fi->key, in main()
249 Fin->database, Fin->driver); in main()
252 Fin->driver, Vect_subst_var(Fin->database, &Out), in main()
253 Fin->table); in main()
/dports/x11-toolkits/kf5-kconfigwidgets/kconfigwidgets-5.89.0/po/fi/
H A Dkf5_entry.desktop7 Name[az]=Fin dilində
15 Name[ca]=Finès
16 Name[ca@valencia]=Finés
25 Name[es]=Finés
65 Name[oc]=Finés
77 Name[sl]=Finščina
/dports/math/scilab/scilab-6.1.1/scilab/modules/mexlib/examples/mexdll/
H A Dlibtst.c26 (*(Tab[Fin - 1].f))(Tab[Fin - 1].name, Tab[Fin - 1].F); in C2F()
/dports/math/scilab/scilab-6.1.1/scilab/modules/mexlib/examples/mexglx/
H A Dlibtst.c26 (*(Tab[Fin - 1].f))(Tab[Fin - 1].name, Tab[Fin - 1].F); in C2F()
/dports/security/libadacrypt/Ada-Crypto-Library-abc534f/src/
H A Dcrypto-types-nonces.ads8 package Fin renames Ada.Finalization; packspec
10 type Nonce is abstract limited new Fin.Limited_Controlled with private;
19 type Nonce is abstract limited new Fin.Limited_Controlled with
/dports/lang/rust/rustc-1.58.1-src/src/test/ui/missing-trait-bounds/
H A Dmissing-trait-bounds-for-method-call.rs19 struct Fin<T> where T: Bar { struct
23 impl<T: Default + Bar> Bar for Fin<T> {} argument
25 impl<T: Bar> Fin<T> { impl
/dports/devel/fpc-fcl-json/fpc-3.2.2/packages/fcl-json/examples/
H A Dini2json.pp17 Fin:=ParamStr(1);
20 Fout:=ChangeFileExt(Fin,'.json');
21 TJSONIniFile.ConvertIni(Fin,Fout,False);
/dports/lang/fpc-source/fpc-3.2.2/packages/fcl-json/examples/
H A Dini2json.pp17 Fin:=ParamStr(1);
20 Fout:=ChangeFileExt(Fin,'.json');
21 TJSONIniFile.ConvertIni(Fin,Fout,False);
/dports/science/ergo/ergo-3.8/source/test/recursive_expansion_tests/
H A Drecexp_eigenv_test.cc208 MatrixType Fin; in test1() local
209 init_matrix<MatrixType>(Fin, N); in test1()
242 MatrixType F(Fin); in test1()
456 MatrixType Fin; in test2() local
457 init_matrix<MatrixType>(Fin, N); in test2()
490 MatrixType F(Fin); in test2()
649 MatrixType Fin; in test3() local
650 init_matrix<MatrixType>(Fin, N); in test3()
683 MatrixType F(Fin); in test3()
845 MatrixType Fin; in test4() local
[all …]
/dports/lang/gcc48/gcc-4.8.5/libgo/runtime/
H A Dmfinal.c11 typedef struct Fin Fin; typedef
12 struct Fin struct
30 Fin *val; argument
73 lookfintab(Fintab *t, void *k, bool del, Fin *f) in lookfintab()
182 Fin f; in runtime_getfinalizer()
/dports/devel/mingw32-gcc/gcc-4.8.1/libgo/runtime/
H A Dmfinal.c11 typedef struct Fin Fin; typedef
12 struct Fin struct
30 Fin *val; argument
73 lookfintab(Fintab *t, void *k, bool del, Fin *f) in lookfintab()
182 Fin f; in runtime_getfinalizer()
/dports/math/spot/spot-2.10.2/spot/twaalgos/
H A Dcleanacc.cc162 acc_cond::acc_op::Fin, in remove_compl_rec()
169 acc_cond::acc_op::Fin, in remove_compl_rec()
172 case acc_cond::acc_op::Fin: in remove_compl_rec()
273 case acc_cond::acc_op::Fin: in acc_rewrite_rec()
291 wanted = acc_cond::acc_op::Fin; in find_interm_rec()
305 case acc_cond::acc_op::Fin: in find_interm_rec()
341 case acc_cond::acc_op::Fin: in find_interm_rec()
399 wanted = acc_cond::acc_op::Fin; in fuse_marks_here()
430 case acc_cond::acc_op::Fin: in fuse_marks_here()
502 case acc_cond::acc_op::Fin: in fuse_marks_here()
[all …]
/dports/math/py-spot/spot-2.10.2/spot/twaalgos/
H A Dcleanacc.cc162 acc_cond::acc_op::Fin, in remove_compl_rec()
169 acc_cond::acc_op::Fin, in remove_compl_rec()
172 case acc_cond::acc_op::Fin: in remove_compl_rec()
273 case acc_cond::acc_op::Fin: in acc_rewrite_rec()
291 wanted = acc_cond::acc_op::Fin; in find_interm_rec()
305 case acc_cond::acc_op::Fin: in find_interm_rec()
341 case acc_cond::acc_op::Fin: in find_interm_rec()
399 wanted = acc_cond::acc_op::Fin; in fuse_marks_here()
430 case acc_cond::acc_op::Fin: in fuse_marks_here()
502 case acc_cond::acc_op::Fin: in fuse_marks_here()
[all …]
/dports/cad/opencascade/opencascade-7.6.0/src/TopOpeBRepTool/
H A DTopOpeBRepTool_PURGE.cxx203 Standard_Boolean TopOpeBRepTool::PurgeClosingEdges(const TopoDS_Face& Fin, const TopoDS_Face& FF, in PurgeClosingEdges() argument
221 TopOpeBRepTool_CORRISO CORRISO(Fin); in PurgeClosingEdges()
222 Standard_Real tolF = BRep_Tool::Tolerance(Fin); in PurgeClosingEdges()
244 Standard_Boolean closing = BRep_Tool::IsClosed(E,Fin); in PurgeClosingEdges()
282 Standard_Boolean uvclosed = FUN_tool_closedS(Fin); in PurgeClosingEdges()
288 Standard_Boolean ok = TopOpeBRepTool::PurgeClosingEdges(Fin,FF,MWisOld,MshNOK); in PurgeClosingEdges()
599 Standard_Boolean TopOpeBRepTool::CorrectONUVISO(const TopoDS_Face& Fin, TopoDS_Face& Fsp) in CorrectONUVISO() argument
608 Standard_Real tolF = BRep_Tool::Tolerance(Fin); in CorrectONUVISO()
610 TopOpeBRepTool_CORRISO CORRISO(Fin); in CorrectONUVISO()
781 Standard_Boolean TopOpeBRepTool::MakeFaces(const TopoDS_Face& Fin, const TopTools_ListOfShape& LOF, in MakeFaces() argument
[all …]
/dports/cad/opencascade/opencascade-7.6.0/src/FairCurve/
H A DFairCurve_EnergyOfBatten.cxx75 math_Vector Debut(1, 1, 0.), Fin(1, 1, 1.); in Compute() local
107 Fin(1) = ii*Delta; in Compute()
109 math_GaussSetIntegration SumTension(MyTension, Debut, Fin, MyOrder); in Compute()
113 math_GaussSetIntegration SumSagging(MySagging, Debut, Fin, MyOrder); in Compute()
/dports/devel/arm-none-eabi-gcc492/gcc-4.9.2/libgo/runtime/
H A Dmfinal.c12 typedef struct Fin Fin; typedef
13 struct Fin struct
32 Fin *val; argument
76 lookfintab(Fintab *t, void *k, bool del, Fin *f) in lookfintab()
186 Fin f; in runtime_getfinalizer()
/dports/net/storj/storj-1.45.3/vendor/github.com/lucas-clemente/quic-go/internal/wire/
H A Dstream_frame.go17 Fin bool member
72 frame.Fin = fin
88 if len(f.Data) == 0 && !f.Fin {
93 if f.Fin {
172 new.Fin = false
/dports/net-im/dendrite/dendrite-0.5.1/vendor/github.com/lucas-clemente/quic-go/internal/wire/
H A Dstream_frame.go17 Fin bool member
72 frame.Fin = fin
88 if len(f.Data) == 0 && !f.Fin {
93 if f.Fin {
172 new.Fin = false

12345678910>>...190