/dports/math/py-spot/spot-2.10.2/tests/core/ |
H A D | sbacc.test | 67 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 D | complement.test | 60 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 D | autcross4.test | 55 -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 D | explsum.test | 66 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 D | complement.test | 60 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 D | autcross4.test | 55 -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 D | explsum.test | 66 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 D | main.c | 42 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 D | kf5_entry.desktop | 7 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 D | libtst.c | 26 (*(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 D | libtst.c | 26 (*(Tab[Fin - 1].f))(Tab[Fin - 1].name, Tab[Fin - 1].F); in C2F()
|
/dports/security/libadacrypt/Ada-Crypto-Library-abc534f/src/ |
H A D | crypto-types-nonces.ads | 8 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 D | missing-trait-bounds-for-method-call.rs | 19 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 D | ini2json.pp | 17 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 D | ini2json.pp | 17 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 D | recexp_eigenv_test.cc | 208 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 D | mfinal.c | 11 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 D | mfinal.c | 11 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 D | cleanacc.cc | 162 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 D | cleanacc.cc | 162 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 D | TopOpeBRepTool_PURGE.cxx | 203 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 D | FairCurve_EnergyOfBatten.cxx | 75 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 D | mfinal.c | 12 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 D | stream_frame.go | 17 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 D | stream_frame.go | 17 Fin bool member 72 frame.Fin = fin 88 if len(f.Data) == 0 && !f.Fin { 93 if f.Fin { 172 new.Fin = false
|