Home
last modified time | relevance | path

Searched refs:BVC (Results 1 – 25 of 324) sorted by relevance

12345678910>>...13

/dports/math/gecode/gecode-0916a1a/contribs/quacode/quacode/qint/qbool/
H A Deqv.hpp57 template<class BVA, class BVB, class BVC>
59 …QEqv<BVA,BVB,BVC>::QEqv(Home home, BVA b0, TQuantifier _q0, int _r0, BVB b1, TQuantifier _q1, int … in QEqv()
62 template<class BVA, class BVB, class BVC>
64 QEqv<BVA,BVB,BVC>::QEqv(Space& home, bool share, QEqv<BVA,BVB,BVC>& p) in QEqv()
67 template<class BVA, class BVB, class BVC>
69 …QEqv<BVA,BVB,BVC>::post(Home home, BVA b0, TQuantifier _q0, int _r0, BVB b1, TQuantifier _q1, int … in post()
108 template<class BVA, class BVB, class BVC>
110 QEqv<BVA,BVB,BVC>::post(Home home, QBoolVar b0, QBoolVar b1, BVC b2) { in post()
114 template<class BVA, class BVB, class BVC>
120 template<class BVA, class BVB, class BVC>
[all …]
H A Dxorv.hpp57 template<class BVA, class BVB, class BVC>
59 …QXorv<BVA,BVB,BVC>::QXorv(Home home, BVA b0, TQuantifier _q0, int _r0, BVB b1, TQuantifier _q1, in… in QXorv()
62 template<class BVA, class BVB, class BVC>
64 QXorv<BVA,BVB,BVC>::QXorv(Space& home, bool share, QXorv<BVA,BVB,BVC>& p) in QXorv()
67 template<class BVA, class BVB, class BVC>
69 …QXorv<BVA,BVB,BVC>::post(Home home, BVA b0, TQuantifier _q0, int _r0, BVB b1, TQuantifier _q1, int… in post()
108 template<class BVA, class BVB, class BVC>
110 QXorv<BVA,BVB,BVC>::post(Home home, QBoolVar b0, QBoolVar b1, BVC b2) { in post()
114 template<class BVA, class BVB, class BVC>
120 template<class BVA, class BVB, class BVC>
[all …]
H A Dor.hpp145 template<class BVA, class BVB, class BVC>
147 …QOr<BVA,BVB,BVC>::QOr(Home home, BVA b0, TQuantifier _q0, int _r0, BVB b1, TQuantifier _q1, int _r… in QOr()
150 template<class BVA, class BVB, class BVC>
152 QOr<BVA,BVB,BVC>::QOr(Space& home, bool share, QOr<BVA,BVB,BVC>& p) in QOr()
155 template<class BVA, class BVB, class BVC>
162 template<class BVA, class BVB, class BVC>
179 template<class BVA, class BVB, class BVC>
181 …QOr<BVA,BVB,BVC>::post(Home home, BVA b0, TQuantifier _q0, int _r0, BVB b1, TQuantifier _q1, int _… in post()
214 template<class BVA, class BVB, class BVC>
219 ((BVA::S0<<(2*BVA::BITS))|(BVB::S1<<(1*BVB::BITS))|(BVC::S2<<(0*BVC::BITS))) in propagate()
[all …]
/dports/math/gecode/gecode-0916a1a/gecode/int/bool/
H A Dbase.hpp91 template<class BVA, class BVB, class BVC>
93 BoolTernary<BVA,BVB,BVC>::BoolTernary in BoolTernary()
94 (Home home, BVA b0, BVB b1, BVC b2) in BoolTernary()
101 template<class BVA, class BVB, class BVC>
103 BoolTernary<BVA,BVB,BVC>::BoolTernary(Space& home, in BoolTernary()
111 template<class BVA, class BVB, class BVC>
121 template<class BVA, class BVB, class BVC>
127 template<class BVA, class BVB, class BVC>
129 BoolTernary<BVA,BVB,BVC>::reschedule(Space& home) { in reschedule()
135 template<class BVA, class BVB, class BVC>
[all …]
H A Deqv.hpp36 template<class BVA, class BVB, class BVC>
38 Eqv<BVA,BVB,BVC>::Eqv(Home home, BVA b0, BVB b1, BVC b2) in Eqv()
41 template<class BVA, class BVB, class BVC>
43 Eqv<BVA,BVB,BVC>::Eqv(Space& home, Eqv<BVA,BVB,BVC>& p) in Eqv()
44 : BoolTernary<BVA,BVB,BVC>(home,p) {} in Eqv()
46 template<class BVA, class BVB, class BVC>
48 Eqv<BVA,BVB,BVC>::post(Home home, BVA b0, BVB b1, BVC b2){ in post()
79 template<class BVA, class BVB, class BVC>
81 Eqv<BVA,BVB,BVC>::copy(Space& home) { in copy()
85 template<class BVA, class BVB, class BVC>
[all …]
H A Dor.hpp459 template<class BVA, class BVB, class BVC>
461 Or<BVA,BVB,BVC>::Or(Home home, BVA b0, BVB b1, BVC b2) in Or()
464 template<class BVA, class BVB, class BVC>
466 Or<BVA,BVB,BVC>::Or(Space& home, Or<BVA,BVB,BVC>& p) in Or()
467 : BoolTernary<BVA,BVB,BVC>(home,p) {} in Or()
469 template<class BVA, class BVB, class BVC>
475 template<class BVA, class BVB, class BVC>
477 Or<BVA,BVB,BVC>::copy(Space& home) { in copy()
492 template<class BVA, class BVB, class BVC>
494 Or<BVA,BVB,BVC>::post(Home home, BVA b0, BVB b1, BVC b2) { in post()
[all …]
/dports/math/gecode/gecode-0916a1a/contribs/quacode/quacode/qint/
H A Dqbool.hh182 template<class BVA, class BVB, class BVC>
185 using BoolTernary<BVA,BVB,BVC>::x0;
186 using BoolTernary<BVA,BVB,BVC>::x1;
187 using BoolTernary<BVA,BVB,BVC>::x2;
302 template<class BVA, class BVB, class BVC>
305 using BoolTernary<BVA,BVB,BVC>::x0;
306 using BoolTernary<BVA,BVB,BVC>::x1;
307 using BoolTernary<BVA,BVB,BVC>::x2;
339 using BoolTernary<BVA,BVB,BVC>::x0;
340 using BoolTernary<BVA,BVB,BVC>::x1;
[all …]
/dports/math/gecode/gecode-0916a1a/gecode/int/
H A Dbool.hh76 template<class BVA, class BVB, class BVC>
81 BVC x2; ///< Boolean view
89 BVA b0, BVB b1, BVC b2);
327 template<class BVA, class BVB, class BVC>
330 using BoolTernary<BVA,BVB,BVC>::x0;
331 using BoolTernary<BVA,BVB,BVC>::x1;
332 using BoolTernary<BVA,BVB,BVC>::x2;
334 Or(Home home, BVA b0, BVB b1, BVC b2);
428 using BoolTernary<BVA,BVB,BVC>::x0;
429 using BoolTernary<BVA,BVB,BVC>::x1;
[all …]
/dports/cad/ghdl/ghdl-1.0.0/testsuite/vests/vhdl-93/billowitch/compliant/
H A Dtc1375.vhd38 constant BVC : BV2 := B"00"; constant
54 return ( BVC );
103 and ((S1 = BVC( 0 )) and (T1 = BVC( 1 )))
111 and ((S1 = BVC( 0 )) and (T1 = BVC( 1 )))
H A Dtc1309.vhd38 constant BVC : BV2 := B"00"; constant
54 return ( BVC );
109 if (ShouldBeTime /= Now or S /= BVC(0) or T /= BVC(1)) then
113 assert ((S = BVC( 0 )) and (T = BVC( 1 )));
/dports/lang/go-devel/go-dragonfly-amd64-bootstrap/src/runtime/
H A Dsys_linux_ppc64x.s72 BVC 2(PC)
80 BVC 2(PC)
90 BVC 2(PC)
100 BVC 2(PC)
292 BVC 2(PC)
302 BVC 2(PC)
467 BVC ok
480 BVC 2(PC)
502 BVC 2(PC)
525 BVC 2(PC)
[all …]
/dports/lang/go-devel/go-becaeea1199b875bc24800fa88f2f4fea119bf78/src/syscall/
H A Dasm_linux_ppc64x.s24 BVC ok
48 BVC ok6
71 BVC ok1
92 BVC ok2
114 BVC ok
/dports/lang/go-devel/go-dragonfly-amd64-bootstrap/src/syscall/
H A Dasm_linux_ppc64x.s25 BVC ok
49 BVC ok6
72 BVC ok1
93 BVC ok2
115 BVC ok
/dports/net/google-cloud-sdk-app-engine-go/platform/google_appengine/goroot-1.9/src/syscall/
H A Dasm_linux_ppc64x.s26 BVC ok
50 BVC ok6
73 BVC ok1
94 BVC ok2
/dports/lang/gcc6-aux/gcc-6-20180516/gcc/testsuite/gfortran.dg/
H A Dlist_read_13.f5 COMPLEX AVC, BVC, CVC, ZVCORR
7 read(buff, *, err=10) AVD, AVC, BVC, BVD, CVC, CVD
/dports/lang/gcc12-devel/gcc-12-20211205/gcc/testsuite/gfortran.dg/
H A Dlist_read_13.f5 COMPLEX AVC, BVC, CVC, ZVCORR
7 read(buff, *, err=10) AVD, AVC, BVC, BVD, CVC, CVD
/dports/lang/gcc8/gcc-8.5.0/gcc/testsuite/gfortran.dg/
H A Dlist_read_13.f5 COMPLEX AVC, BVC, CVC, ZVCORR
7 read(buff, *, err=10) AVD, AVC, BVC, BVD, CVC, CVD
/dports/lang/gcc10/gcc-10.3.0/gcc/testsuite/gfortran.dg/
H A Dlist_read_13.f5 COMPLEX AVC, BVC, CVC, ZVCORR
7 read(buff, *, err=10) AVD, AVC, BVC, BVD, CVC, CVD
/dports/devel/riscv64-none-elf-gcc/gcc-8.4.0/gcc/testsuite/gfortran.dg/
H A Dlist_read_13.f5 COMPLEX AVC, BVC, CVC, ZVCORR
7 read(buff, *, err=10) AVD, AVC, BVC, BVD, CVC, CVD
/dports/lang/gcc11-devel/gcc-11-20211009/gcc/testsuite/gfortran.dg/
H A Dlist_read_13.f5 COMPLEX AVC, BVC, CVC, ZVCORR
7 read(buff, *, err=10) AVD, AVC, BVC, BVD, CVC, CVD
/dports/devel/arm-none-eabi-gcc/gcc-8.4.0/gcc/testsuite/gfortran.dg/
H A Dlist_read_13.f5 COMPLEX AVC, BVC, CVC, ZVCORR
7 read(buff, *, err=10) AVD, AVC, BVC, BVD, CVC, CVD
/dports/devel/riscv32-unknown-elf-gcc/gcc-8.4.0/gcc/testsuite/gfortran.dg/
H A Dlist_read_13.f5 COMPLEX AVC, BVC, CVC, ZVCORR
7 read(buff, *, err=10) AVD, AVC, BVC, BVD, CVC, CVD
/dports/lang/gcc9-devel/gcc-9-20211007/gcc/testsuite/gfortran.dg/
H A Dlist_read_13.f5 COMPLEX AVC, BVC, CVC, ZVCORR
7 read(buff, *, err=10) AVD, AVC, BVC, BVD, CVC, CVD
/dports/devel/aarch64-none-elf-gcc/gcc-8.4.0/gcc/testsuite/gfortran.dg/
H A Dlist_read_13.f5 COMPLEX AVC, BVC, CVC, ZVCORR
7 read(buff, *, err=10) AVD, AVC, BVC, BVD, CVC, CVD
/dports/lang/gcc9-aux/gcc-9.1.0/gcc/testsuite/gfortran.dg/
H A Dlist_read_13.f5 COMPLEX AVC, BVC, CVC, ZVCORR
7 read(buff, *, err=10) AVD, AVC, BVC, BVD, CVC, CVD

12345678910>>...13