| /dports/math/z3/z3-z3-4.8.13/src/sat/ |
| H A D | sat_scc.h | 39 big m_big; variable
58 void init_big(bool learned) { m_big.init(m_solver, learned); } in init_big()
59 void ensure_big(bool learned) { m_big.ensure_big(m_solver, learned); } in ensure_big()
60 int get_left(literal l) const { return m_big.get_left(l); } in get_left()
61 int get_right(literal l) const { return m_big.get_right(l); } in get_right()
62 bool connected(literal u, literal v) const { return m_big.connected(u, v); } in connected()
|
| H A D | sat_probing.cpp | 28 m_big(s.rand()) { in probing()
245 m_big.init(s, true); in operator ()()
296 return m_big.connected(a, b); in implies()
|
| H A D | sat_aig_finder.cpp | 23 aig_finder::aig_finder(solver& s): s(s), m_big(s.rand()) {} in aig_finder()
26 m_big.init(s, true); in operator ()()
32 if (m_big.connected(a, b)) in implies()
|
| H A D | sat_probing.h | 64 big m_big; variable
|
| H A D | sat_aig_finder.h | 40 big m_big; variable
|
| /dports/math/py-z3-solver/z3-z3-4.8.10/src/sat/ |
| H A D | sat_scc.h | 39 big m_big; variable
58 void init_big(bool learned) { m_big.init(m_solver, learned); } in init_big()
59 void ensure_big(bool learned) { m_big.ensure_big(m_solver, learned); } in ensure_big()
60 int get_left(literal l) const { return m_big.get_left(l); } in get_left()
61 int get_right(literal l) const { return m_big.get_right(l); } in get_right()
62 bool connected(literal u, literal v) const { return m_big.connected(u, v); } in connected()
|
| H A D | sat_probing.cpp | 28 m_big(s.rand()) { in probing()
245 m_big.init(s, true); in operator ()()
296 return m_big.connected(a, b); in implies()
|
| H A D | sat_aig_finder.cpp | 23 aig_finder::aig_finder(solver& s): s(s), m_big(s.rand()) {} in aig_finder()
26 m_big.init(s, true); in operator ()()
32 if (m_big.connected(a, b)) in implies()
|
| H A D | sat_probing.h | 64 big m_big; variable
|
| H A D | sat_aig_finder.h | 40 big m_big; variable
|
| /dports/audio/rosegarden/rosegarden-21.06.1/src/gui/editors/guitar/ |
| H A D | FingeringBox.cpp | 44 m_big(big) in FingeringBox()
56 m_big(big) in FingeringBox()
113 m_noteSymbols.drawOpenSymbol(m_big, p, stringNb); in drawContents()
118 m_noteSymbols.drawMuteSymbol(m_big, p, stringNb); in drawContents()
123 m_noteSymbols.drawNoteSymbol(m_big, p, stringNb, *pos - (m_startFret - 1), false); in drawContents()
143 …m_noteSymbols.drawNoteSymbol(m_big, p, m_transientStringNb, m_transientFretNb - (m_startFret - 1),… in drawContents()
|
| H A D | FingeringBox.h | 109 bool m_big;
|
| /dports/editors/abiword/abiword-3.0.5/plugins/t602/xp/ |
| H A D | ie_imp_T602.cpp | 160 m_tpos(0), m_big(0), m_color("000000"), m_sfont(0), m_eol(true), in IE_Imp_T602()
592 m_big ^=1; in _inschar()
593 if (m_big & 1) in _inschar()
601 m_big ^=2; in _inschar()
602 if (m_big & 2) in _inschar()
610 m_big ^=4; in _inschar()
611 if (m_big & 4) in _inschar()
|
| H A D | ie_imp_T602.h | 84 int m_big; variable
|
| /dports/devel/clazy/clazy-1.5/tests/inefficient-qlist/ |
| H A D | main.cpp | 32 m_big.clear(); in foo()
35 QList<BigType> m_big; // Warning member in A
|
| /dports/devel/clazy/clazy-1.5/tests/inefficient-qlist-soft/ |
| H A D | main.cpp | 32 m_big.clear(); in foo()
35 QList<BigType> m_big; // OK member in A
|
| /dports/lang/rust/rustc-1.58.1-src/src/test/codegen/ |
| H A D | arg-return-value-in-reg.rs | 30 pub fn m_big(s: TooBig) -> TooBig { in m_big() function
|
| /dports/sysutils/cfengine/cfengine-3.19.0/libpromises/ |
| H A D | conversion.c | 776 int m_small, day_small, year_small, m_big, year_big, day_big; in CoarseLaterThan() local
787 m_big = Month2Int(month_big); in CoarseLaterThan()
789 if (m_big < m_small) in CoarseLaterThan()
794 if (day_big < day_small && m_big == m_small && year_big == year_small) in CoarseLaterThan()
|
| /dports/sysutils/cfengine317/cfengine-3.17.0/libpromises/ |
| H A D | conversion.c | 776 int m_small, day_small, year_small, m_big, year_big, day_big; in CoarseLaterThan() local
787 m_big = Month2Int(month_big); in CoarseLaterThan()
789 if (m_big < m_small) in CoarseLaterThan()
794 if (day_big < day_small && m_big == m_small && year_big == year_small) in CoarseLaterThan()
|
| /dports/sysutils/cfengine-devel/core-d08ae9eff/libpromises/ |
| H A D | conversion.c | 776 int m_small, day_small, year_small, m_big, year_big, day_big; in CoarseLaterThan() local
787 m_big = Month2Int(month_big); in CoarseLaterThan()
789 if (m_big < m_small) in CoarseLaterThan()
794 if (day_big < day_small && m_big == m_small && year_big == year_small) in CoarseLaterThan()
|
| /dports/sysutils/cfengine318/cfengine-3.18.1/libpromises/ |
| H A D | conversion.c | 776 int m_small, day_small, year_small, m_big, year_big, day_big; in CoarseLaterThan() local
787 m_big = Month2Int(month_big); in CoarseLaterThan()
789 if (m_big < m_small) in CoarseLaterThan()
794 if (day_big < day_small && m_big == m_small && year_big == year_small) in CoarseLaterThan()
|
| /dports/sysutils/cfengine316/cfengine-3.16.0/libpromises/ |
| H A D | conversion.c | 776 int m_small, day_small, year_small, m_big, year_big, day_big; in CoarseLaterThan() local
787 m_big = Month2Int(month_big); in CoarseLaterThan()
789 if (m_big < m_small) in CoarseLaterThan()
794 if (day_big < day_small && m_big == m_small && year_big == year_small) in CoarseLaterThan()
|
| /dports/sysutils/cfengine319/cfengine-3.19.0/libpromises/ |
| H A D | conversion.c | 776 int m_small, day_small, year_small, m_big, year_big, day_big; in CoarseLaterThan() local
787 m_big = Month2Int(month_big); in CoarseLaterThan()
789 if (m_big < m_small) in CoarseLaterThan()
794 if (day_big < day_small && m_big == m_small && year_big == year_small) in CoarseLaterThan()
|
| /dports/emulators/mess/mame-mame0226/src/mame/video/ |
| H A D | k054156_k054157_k056832.h | 49 m_big = big; in set_config()
130 int m_big; variable
|
| /dports/emulators/mame/mame-mame0226/src/mame/video/ |
| H A D | k054156_k054157_k056832.h | 49 m_big = big; in set_config()
130 int m_big; variable
|