/dports/math/gecode/gecode-0916a1a/contribs/quacode/quacode/qint/qbool/ |
H A D | eqv.hpp | 57 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 D | xorv.hpp | 57 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 D | or.hpp | 145 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 D | base.hpp | 91 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 D | eqv.hpp | 36 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 D | or.hpp | 459 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 D | qbool.hh | 182 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 D | bool.hh | 76 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 D | tc1375.vhd | 38 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 D | tc1309.vhd | 38 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 D | sys_linux_ppc64x.s | 72 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 D | asm_linux_ppc64x.s | 24 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 D | asm_linux_ppc64x.s | 25 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 D | asm_linux_ppc64x.s | 26 BVC ok 50 BVC ok6 73 BVC ok1 94 BVC ok2
|
/dports/lang/gcc6-aux/gcc-6-20180516/gcc/testsuite/gfortran.dg/ |
H A D | list_read_13.f | 5 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 D | list_read_13.f | 5 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 D | list_read_13.f | 5 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 D | list_read_13.f | 5 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 D | list_read_13.f | 5 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 D | list_read_13.f | 5 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 D | list_read_13.f | 5 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 D | list_read_13.f | 5 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 D | list_read_13.f | 5 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 D | list_read_13.f | 5 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 D | list_read_13.f | 5 COMPLEX AVC, BVC, CVC, ZVCORR 7 read(buff, *, err=10) AVD, AVC, BVC, BVD, CVC, CVD
|