Home
last modified time | relevance | path

Searched refs:BVA (Results 1 – 25 of 138) sorted by relevance

123456

/dports/math/gecode/gecode-0916a1a/gecode/int/bool/
H A Dbase.hpp40 template<class BVA, class BVB>
42 BoolBinary<BVA,BVB>::BoolBinary(Home home, BVA b0, BVB b1) in BoolBinary()
48 template<class BVA, class BVB>
50 BoolBinary<BVA,BVB>::BoolBinary(Space& home, BoolBinary<BVA,BVB>& p) in BoolBinary() argument
56 template<class BVA, class BVB>
65 template<class BVA, class BVB>
71 template<class BVA, class BVB>
78 template<class BVA, class BVB>
91 template<class BVA, class BVB, class BVC>
93 BoolTernary<BVA,BVB,BVC>::BoolTernary in BoolTernary()
[all …]
H A Deq.hpp36 template<class BVA, class BVB>
38 Eq<BVA,BVB>::Eq(Home home, BVA b0, BVB b1) in Eq()
41 template<class BVA, class BVB>
43 Eq<BVA,BVB>::Eq(Space& home, Eq<BVA,BVB>& p) in Eq() argument
46 template<class BVA, class BVB>
49 BVA b0, BVB b1) in Eq()
52 template<class BVA, class BVB>
58 template<class BVA, class BVB>
60 Eq<BVA,BVB>::post(Home home, BVA b0, BVB b1) { in post()
82 template<class BVA, class BVB>
[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() argument
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.hpp101 template<class BVA, class BVB>
103 BinOrTrue<BVA,BVB>::BinOrTrue(Home home, BVA b0, BVB b1) in BinOrTrue()
106 template<class BVA, class BVB>
108 BinOrTrue<BVA,BVB>::BinOrTrue(Space& home, BinOrTrue<BVA,BVB>& p) in BinOrTrue() argument
111 template<class BVA, class BVB>
125 BinOrTrue<BVA,BVB>::post(Home home, BVA b0, BVB b1) { in post()
150 ((BVA::S0<<(1*BVA::BITS))|(BVB::S1<<(0*BVB::BITS))) in propagate()
461 Or<BVA,BVB,BVC>::Or(Home home, BVA b0, BVB b1, BVC b2) in Or()
466 Or<BVA,BVB,BVC>::Or(Space& home, Or<BVA,BVB,BVC>& p) in Or() argument
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/qbool/
H A Dxor.hpp52 template<class BVA, class BVB>
54 QXor<BVA,BVB>::QXor(Home home, BVA b0, TQuantifier _q0, int _r0, BVB b1, TQuantifier _q1, int _r1) in QXor()
57 template<class BVA, class BVB>
59 QXor<BVA,BVB>::QXor(Space& home, bool share, QXor<BVA,BVB>& p) in QXor() argument
62 template<class BVA, class BVB>
68 template<class BVA, class BVB>
74 template<class BVA, class BVB>
76 …QXor<BVA,BVB>::post(Home home, BVA b0, TQuantifier _q0, int _r0, BVB b1, TQuantifier _q1, int _r1)… in post()
106 template<class BVA, class BVB>
112 template<class BVA, class BVB>
[all …]
H A Deq.hpp52 template<class BVA, class BVB>
54 QEq<BVA,BVB>::QEq(Home home, BVA b0, TQuantifier _q0, int _r0, BVB b1, TQuantifier _q1, int _r1) in QEq()
57 template<class BVA, class BVB>
59 QEq<BVA,BVB>::QEq(Space& home, bool share, QEq<BVA,BVB>& p) in QEq() argument
62 template<class BVA, class BVB>
68 template<class BVA, class BVB>
74 template<class BVA, class BVB>
76 …QEq<BVA,BVB>::post(Home home, BVA b0, TQuantifier _q0, int _r0, BVB b1, TQuantifier _q1, int _r1) { in post()
106 template<class BVA, class BVB>
112 template<class BVA, class BVB>
[all …]
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() argument
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>
114 template<class BVA, class BVB, class BVC>
116 QEqv<BVA,BVB,BVC>::copy(Space& home, bool share) { in copy()
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() argument
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>
114 template<class BVA, class BVB, class BVC>
116 QXorv<BVA,BVB,BVC>::copy(Space& home, bool share) { in copy()
120 template<class BVA, class BVB, class BVC>
[all …]
H A Dor.hpp57 template<class BVA, class BVB>
64 template<class BVA, class BVB>
66 QBinOrTrue<BVA,BVB>::QBinOrTrue(Space& home, bool share, QBinOrTrue<BVA,BVB>& p) in QBinOrTrue() argument
69 template<class BVA, class BVB>
76 template<class BVA, class BVB>
82 template<class BVA, class BVB>
84 …QBinOrTrue<BVA,BVB>::post(Home home, BVA b0, TQuantifier _q0, int _r0, BVB b1, TQuantifier _q1, in… in post()
112 template<class BVA, class BVB>
116 ((BVA::S0<<(1*BVA::BITS))|(BVB::S1<<(0*BVB::BITS))) in propagate()
152 QOr<BVA,BVB,BVC>::QOr(Space& home, bool share, QOr<BVA,BVB,BVC>& p) in QOr() argument
[all …]
/dports/math/gecode/gecode-0916a1a/contribs/quacode/quacode/qint/
H A Dqbool.hh71 template<class BVA, class BVB>
74 using BoolBinary<BVA,BVB>::x0;
75 using BoolBinary<BVA,BVB>::x1;
107 template<class BVA, class BVB>
110 using BoolBinary<BVA,BVB>::x0;
111 using BoolBinary<BVA,BVB>::x1;
144 template<class BVA, class BVB>
147 using BoolBinary<BVA,BVB>::x0;
148 using BoolBinary<BVA,BVB>::x1;
185 using BoolTernary<BVA,BVB,BVC>::x0;
[all …]
/dports/math/gecode/gecode-0916a1a/gecode/int/
H A Dbool.hh54 template<class BVA, class BVB>
57 BVA x0; ///< Boolean view
65 BVA b0, BVB b1);
79 BVA x0; ///< Boolean view
104 template<class BVA, class BVB>
107 using BoolBinary<BVA,BVB>::x0;
108 using BoolBinary<BVA,BVB>::x1;
110 Eq(Home home, BVA b0, BVB b1);
116 BVA b0, BVB b1);
236 template<class BVA, class BVB>
[all …]
/dports/math/py-cryptominisat/cryptominisat-5.8.0/src/
H A Dbva.cpp36 BVA::BVA(Solver* _solver, OccSimplifier* _simplifier) : in BVA() function in BVA
44 bool BVA::bounded_var_addition() in bounded_var_addition()
300 bool BVA::bva_simplify_system() in bva_simplify_system()
400 void BVA::fill_m_cls_lits_and_red() in fill_m_cls_lits_and_red()
435 void BVA::remove_matching_clause( in remove_matching_clause()
473 Clause* BVA::find_cl_for_bva( in find_cl_for_bva()
592 int BVA::simplification_size( in simplification_size()
696 BVA::lit_pair BVA::most_occurring_lit_in_potential(size_t& largest) in most_occurring_lit_in_potential()
734 BVA::lit_pair BVA::lit_diff_watches(const OccurClause& a, const OccurClause& b) in lit_diff_watches()
798 void BVA::calc_watch_irred_sizes() in calc_watch_irred_sizes()
[all …]
H A Dbva.h38 class BVA
41 BVA(Solver* _solver, OccSimplifier* _simplifier);
193 inline const BVA::Stats& BVA::get_stats() const in get_stats()
H A Doccsimplifier.h58 class BVA; in _111()
291 friend class BVA; in _111()
292 BVA* bva; in _111()
/dports/math/cryptominisat/cryptominisat-5.8.0/src/
H A Dbva.cpp36 BVA::BVA(Solver* _solver, OccSimplifier* _simplifier) : in BVA() function in BVA
44 bool BVA::bounded_var_addition() in bounded_var_addition()
300 bool BVA::bva_simplify_system() in bva_simplify_system()
400 void BVA::fill_m_cls_lits_and_red() in fill_m_cls_lits_and_red()
435 void BVA::remove_matching_clause( in remove_matching_clause()
473 Clause* BVA::find_cl_for_bva( in find_cl_for_bva()
592 int BVA::simplification_size( in simplification_size()
696 BVA::lit_pair BVA::most_occurring_lit_in_potential(size_t& largest) in most_occurring_lit_in_potential()
734 BVA::lit_pair BVA::lit_diff_watches(const OccurClause& a, const OccurClause& b) in lit_diff_watches()
798 void BVA::calc_watch_irred_sizes() in calc_watch_irred_sizes()
[all …]
H A Dbva.h38 class BVA
41 BVA(Solver* _solver, OccSimplifier* _simplifier);
193 inline const BVA::Stats& BVA::get_stats() const in get_stats()
H A Doccsimplifier.h58 class BVA; variable
291 friend class BVA; variable
292 BVA* bva;
/dports/math/py-cryptominisat/cryptominisat-5.8.0/docs/satrace19-pdf/yalsat/
H A Dsigproc.bib163 @InProceedings{BVA, inproceedings
176 …BVA), exchanges clauses for variables. Similar to other preprocessing techniques, BVA greedily low…
/dports/math/cryptominisat/cryptominisat-5.8.0/docs/satrace19-pdf/yalsat/
H A Dsigproc.bib163 @InProceedings{BVA, inproceedings
176 …BVA), exchanges clauses for variables. Similar to other preprocessing techniques, BVA greedily low…
/dports/biology/molden/molden5.8/plush/
H A DBVA1 mol="BVA" Charge="0"
/dports/databases/p5-DBM-Deep/DBM-Deep-2.0016/t/
H A D54_output_punct_vars.t14 $db->{34808} = "BVA/DIVISO";
/dports/math/py-cryptominisat/cryptominisat-5.8.0/docs/satrace19-pdf/walksat/
H A Dsigproc.bib163 @InProceedings{BVA, inproceedings
176 …BVA), exchanges clauses for variables. Similar to other preprocessing techniques, BVA greedily low…
/dports/math/cryptominisat/cryptominisat-5.8.0/docs/satrace19-pdf/walksat/
H A Dsigproc.bib163 @InProceedings{BVA, inproceedings
176 …BVA), exchanges clauses for variables. Similar to other preprocessing techniques, BVA greedily low…
/dports/science/openbabel/openbabel-3.1.1/test/pdb_ligands_sdf/
H A D2p8o_bva.sdf67 BVA
/dports/math/py-cryptominisat/cryptominisat-5.8.0/docs/satcomp20-pdf/ccanr/
H A Dsigproc.bib212 @InProceedings{BVA, inproceedings
225 …BVA), exchanges clauses for variables. Similar to other preprocessing techniques, BVA greedily low…

123456