Home
last modified time | relevance | path

Searched refs:Fin (Results 51 – 75 of 4346) sorted by relevance

12345678910>>...174

/dports/math/spot/spot-2.10.2/tests/core/
H A Dscc.test119 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 Daccsimpl.test39 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 Dalternating.test29 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) &amp; Fin($color)<br/>[Streett-like 2]>
652 Acceptance: 2 Fin(1) & Fin(0)
[all …]
H A Drabin2parity.test33 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 Dscc.test119 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 Daccsimpl.test39 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 Dalternating.test29 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) &amp; Fin($color)<br/>[Streett-like 2]>
652 Acceptance: 2 Fin(1) & Fin(0)
[all …]
H A Drabin2parity.test33 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 DFairCurve_EnergyOfMVC.cxx82 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 DcmMachO.cxx198 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 DcmMachO.cxx198 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 DcmMachO.cxx198 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 Dununpack-ar.c42 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 Drepcopyin.c77 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 Dfinder.c261 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 Dnested_controlled_alloc.adb10 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 Dnested_controlled_alloc.adb10 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 Dnested_controlled_alloc.adb10 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 Dnested_controlled_alloc.adb10 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 Dnested_controlled_alloc.adb10 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 Dnested_controlled_alloc.adb10 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 Dnested_controlled_alloc.adb10 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 Dnested_controlled_alloc.adb10 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 Dnested_controlled_alloc.adb10 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 Dnested_controlled_alloc.adb10 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

12345678910>>...174