/dports/math/spot/spot-2.10.2/tests/core/ |
H A D | scc.test | 119 Acceptance: 2 Fin(0)|Fin(1) 151 Acceptance: 8 Fin(5) & Fin(3) & (Inf(6) | Fin(7)) & 152 (Inf(2) | Fin(1)) & (Inf(4) | Fin(0)) 183 Acceptance: 5 Fin(0) & (Inf(1) | Fin(2)) & (Inf(4))
|
H A D | accsimpl.test | 39 Acceptance: 6 (Fin(0) & Inf(1)) | (Fin(2) & Inf(3)) | (Fin(4) & Inf(5)) 63 Acceptance: 4 Fin(0) & (Fin(1) | (Inf(2)&Inf(3)))
|
H A D | alternating.test | 29 Acceptance: 1 Fin(0) 159 Acceptance: 1 Fin(0) 228 Acceptance: 1 Fin(0) 249 Acceptance: 1 Fin(0) 270 Acceptance: 1 Fin(0) 299 Acceptance: 1 Fin(0) 320 Acceptance: 1 Fin(0) 553 Acceptance: 2 Fin(1) & Fin(0) 582 label=<Fin($color1) & Fin($color)<br/>[Streett-like 2]> 652 Acceptance: 2 Fin(1) & Fin(0) [all …]
|
H A D | rabin2parity.test | 33 Acceptance: 2 Fin(0)&Inf(1) 47 Acceptance: 2 Fin(0) | Inf(1) 59 Acceptance: 6 (Fin(0) | Inf(1)) & (Fin(2) | Inf(3)) & (Fin(4) | Inf(5))
|
/dports/math/py-spot/spot-2.10.2/tests/core/ |
H A D | scc.test | 119 Acceptance: 2 Fin(0)|Fin(1) 151 Acceptance: 8 Fin(5) & Fin(3) & (Inf(6) | Fin(7)) & 152 (Inf(2) | Fin(1)) & (Inf(4) | Fin(0)) 183 Acceptance: 5 Fin(0) & (Inf(1) | Fin(2)) & (Inf(4))
|
H A D | accsimpl.test | 39 Acceptance: 6 (Fin(0) & Inf(1)) | (Fin(2) & Inf(3)) | (Fin(4) & Inf(5)) 63 Acceptance: 4 Fin(0) & (Fin(1) | (Inf(2)&Inf(3)))
|
H A D | alternating.test | 29 Acceptance: 1 Fin(0) 159 Acceptance: 1 Fin(0) 228 Acceptance: 1 Fin(0) 249 Acceptance: 1 Fin(0) 270 Acceptance: 1 Fin(0) 299 Acceptance: 1 Fin(0) 320 Acceptance: 1 Fin(0) 553 Acceptance: 2 Fin(1) & Fin(0) 582 label=<Fin($color1) & Fin($color)<br/>[Streett-like 2]> 652 Acceptance: 2 Fin(1) & Fin(0) [all …]
|
H A D | rabin2parity.test | 33 Acceptance: 2 Fin(0)&Inf(1) 47 Acceptance: 2 Fin(0) | Inf(1) 59 Acceptance: 6 (Fin(0) | Inf(1)) & (Fin(2) | Inf(3)) & (Fin(4) | Inf(5))
|
/dports/cad/opencascade/opencascade-7.6.0/src/FairCurve/ |
H A D | FairCurve_EnergyOfMVC.cxx | 82 math_Vector Debut(1, 1, 0.), Fin(1, 1, 1.); in Compute() local 118 Fin(1) = ii*Delta; in Compute() 120 math_GaussSetIntegration SumTension(MyTension, Debut, Fin, MyOrder); in Compute() 124 math_GaussSetIntegration SumJerk(MyJerk, Debut, Fin, MyOrder); in Compute() 135 Fin(1) = ii*Delta; in Compute() 137 math_GaussSetIntegration SumTension(MyTension, Debut, Fin, MyOrder); in Compute() 141 math_GaussSetIntegration SumSagging(MySagging, Debut, Fin, MyOrder); in Compute() 145 math_GaussSetIntegration SumJerk(MyJerk, Debut, Fin, MyOrder); in Compute()
|
/dports/devel/cmake-gui/cmake-3.22.1/Source/ |
H A D | cmMachO.cxx | 198 cmsys::ifstream Fin; member in cmMachOInternal 212 : Fin(fname) in cmMachOInternal() 215 if (!this->Fin || !this->Fin.get()) { in cmMachOInternal() 220 if (!this->Fin.seekg(0)) { in cmMachOInternal() 227 if (!peek(this->Fin, magic)) { in cmMachOInternal() 242 if (!read(this->Fin, header)) { in cmMachOInternal() 249 if (!read(this->Fin, this->FatArchs)) { in cmMachOInternal() 270 if (!this->Fin.seekg(file_offset)) { in read_mach_o() 276 if (!peek(this->Fin, magic)) { in read_mach_o() 297 if (f && f->read_mach_o(this->Fin)) { in read_mach_o()
|
/dports/devel/cmake/cmake-3.22.1/Source/ |
H A D | cmMachO.cxx | 198 cmsys::ifstream Fin; member in cmMachOInternal 212 : Fin(fname) in cmMachOInternal() 215 if (!this->Fin || !this->Fin.get()) { in cmMachOInternal() 220 if (!this->Fin.seekg(0)) { in cmMachOInternal() 227 if (!peek(this->Fin, magic)) { in cmMachOInternal() 242 if (!read(this->Fin, header)) { in cmMachOInternal() 249 if (!read(this->Fin, this->FatArchs)) { in cmMachOInternal() 270 if (!this->Fin.seekg(file_offset)) { in read_mach_o() 276 if (!peek(this->Fin, magic)) { in read_mach_o() 297 if (f && f->read_mach_o(this->Fin)) { in read_mach_o()
|
/dports/devel/cmake-doc/cmake-3.22.1/Source/ |
H A D | cmMachO.cxx | 198 cmsys::ifstream Fin; member in cmMachOInternal 212 : Fin(fname) in cmMachOInternal() 215 if (!this->Fin || !this->Fin.get()) { in cmMachOInternal() 220 if (!this->Fin.seekg(0)) { in cmMachOInternal() 227 if (!peek(this->Fin, magic)) { in cmMachOInternal() 242 if (!read(this->Fin, header)) { in cmMachOInternal() 249 if (!read(this->Fin, this->FatArchs)) { in cmMachOInternal() 270 if (!this->Fin.seekg(file_offset)) { in read_mach_o() 276 if (!peek(this->Fin, magic)) { in read_mach_o() 297 if (f && f->read_mach_o(this->Fin)) { in read_mach_o()
|
/dports/devel/fossology-nomos-standalone/fossology-3.11.0/src/ununpack/agent/ |
H A D | ununpack-ar.c | 42 FILE *Fin; in ExtractAR() local 80 Fin = popen(Cmd,"r"); in ExtractAR() 81 if (!Fin) in ExtractAR() 92 while(ReadLine(Fin,Line,sizeof(Line)-1) >= 0) in ExtractAR() 95 if (Line[0]=='/') { pclose(Fin); return(1); } /* NO ABSOLUTE PATHS! */ in ExtractAR() 105 pclose(Fin); in ExtractAR()
|
/dports/devel/fossology-nomos-standalone/fossology-3.11.0/src/lib/c/ |
H A D | repcopyin.c | 77 int ReadLine(FILE* Fin, char* Line, int MaxLine) in ReadLine() argument 82 if (feof(Fin)) return (-1); in ReadLine() 83 while (!feof(Fin) && (i < MaxLine - 1) && (C != '\n') && (C > 0)) in ReadLine() 85 C = fgetc(Fin); in ReadLine() 130 void ProcessPairs(FILE* Fin, char* Type) in ProcessPairs() argument 138 while (ReadLine(Fin, Buf, sizeof(Buf)) > 0) in ProcessPairs() 181 void ProcessXML(FILE* Fin, char* TypeSource, char* Type) in ProcessXML() argument 193 while (ReadLine(Fin, Buf, sizeof(Buf)) > 0) in ProcessXML()
|
/dports/devel/fossology-nomos-standalone/fossology-3.11.0/src/mimetype/agent/ |
H A D | finder.c | 261 FILE *Fin; in GetDefaultMime() local 268 Fin = fopen(Filename,"rb"); in GetDefaultMime() 269 if (!Fin) return(-1); in GetDefaultMime() 272 C=fgetc(Fin); in GetDefaultMime() 273 while(!feof(Fin) && isprint(C) && (i < 100)) in GetDefaultMime() 275 C=fgetc(Fin); in GetDefaultMime() 278 fclose(Fin); in GetDefaultMime() 495 if (feof(Fin)) return(-1); in ReadLine() 497 C=fgetc(Fin); in ReadLine() 499 while(!feof(Fin) && (C>=0) && (i<MaxLine)) in ReadLine() [all …]
|
/dports/lang/gcc6-aux/gcc-6-20180516/gcc/testsuite/gnat.dg/ |
H A D | nested_controlled_alloc.adb | 10 type Fin is new Limited_Controlled with null record; type 11 procedure Finalize (X : in out Fin); 13 F : Fin; 32 procedure Finalize (X : in out Fin) is
|
/dports/lang/gcc12-devel/gcc-12-20211205/gcc/testsuite/gnat.dg/ |
H A D | nested_controlled_alloc.adb | 10 type Fin is new Limited_Controlled with null record; type 11 procedure Finalize (X : in out Fin); 13 F : Fin; 32 procedure Finalize (X : in out Fin) is
|
/dports/lang/gcc8/gcc-8.5.0/gcc/testsuite/gnat.dg/ |
H A D | nested_controlled_alloc.adb | 10 type Fin is new Limited_Controlled with null record; type 11 procedure Finalize (X : in out Fin); 13 F : Fin; 32 procedure Finalize (X : in out Fin) is
|
/dports/lang/gcc10/gcc-10.3.0/gcc/testsuite/gnat.dg/ |
H A D | nested_controlled_alloc.adb | 10 type Fin is new Limited_Controlled with null record; type 11 procedure Finalize (X : in out Fin); 13 F : Fin; 32 procedure Finalize (X : in out Fin) is
|
/dports/devel/riscv64-none-elf-gcc/gcc-8.4.0/gcc/testsuite/gnat.dg/ |
H A D | nested_controlled_alloc.adb | 10 type Fin is new Limited_Controlled with null record; type 11 procedure Finalize (X : in out Fin); 13 F : Fin; 32 procedure Finalize (X : in out Fin) is
|
/dports/lang/gcc11-devel/gcc-11-20211009/gcc/testsuite/gnat.dg/ |
H A D | nested_controlled_alloc.adb | 10 type Fin is new Limited_Controlled with null record; type 11 procedure Finalize (X : in out Fin); 13 F : Fin; 32 procedure Finalize (X : in out Fin) is
|
/dports/devel/arm-none-eabi-gcc/gcc-8.4.0/gcc/testsuite/gnat.dg/ |
H A D | nested_controlled_alloc.adb | 10 type Fin is new Limited_Controlled with null record; type 11 procedure Finalize (X : in out Fin); 13 F : Fin; 32 procedure Finalize (X : in out Fin) is
|
/dports/devel/riscv32-unknown-elf-gcc/gcc-8.4.0/gcc/testsuite/gnat.dg/ |
H A D | nested_controlled_alloc.adb | 10 type Fin is new Limited_Controlled with null record; type 11 procedure Finalize (X : in out Fin); 13 F : Fin; 32 procedure Finalize (X : in out Fin) is
|
/dports/lang/gcc9-devel/gcc-9-20211007/gcc/testsuite/gnat.dg/ |
H A D | nested_controlled_alloc.adb | 10 type Fin is new Limited_Controlled with null record; type 11 procedure Finalize (X : in out Fin); 13 F : Fin; 32 procedure Finalize (X : in out Fin) is
|
/dports/devel/aarch64-none-elf-gcc/gcc-8.4.0/gcc/testsuite/gnat.dg/ |
H A D | nested_controlled_alloc.adb | 10 type Fin is new Limited_Controlled with null record; type 11 procedure Finalize (X : in out Fin); 13 F : Fin; 32 procedure Finalize (X : in out Fin) is
|