Home
last modified time | relevance | path

Searched defs:AtecedentData (Results 1 – 2 of 2) sorted by relevance

/dports/math/py-cryptominisat/cryptominisat-5.8.0/src/
H A Dclause.h48 struct AtecedentData struct
52 *this = AtecedentData<T>(); in clear() argument
61 AtecedentData& operator+=(const AtecedentData<T2>& other) argument
90 uint32_t sum_size() const in sum_size()
100 T binRed = 0;
101 T binIrred = 0;
102 T longIrred = 0;
103 T longRed = 0;
104 AvgCalc<uint32_t> glue_long_reds;
105 AvgCalc<uint32_t> size_longs;
[all …]
/dports/math/cryptominisat/cryptominisat-5.8.0/src/
H A Dclause.h48 struct AtecedentData struct
52 *this = AtecedentData<T>(); in clear() argument
61 AtecedentData& operator+=(const AtecedentData<T2>& other) argument
90 uint32_t sum_size() const in sum_size()
100 T binRed = 0;
101 T binIrred = 0;
102 T longIrred = 0;
103 T longRed = 0;
104 AvgCalc<uint32_t> glue_long_reds;
105 AvgCalc<uint32_t> size_longs;
[all …]