| /dports/math/vampire/vampire-4.5.1/SAT/ |
| H A D | SATLiteral.hpp | 50 inline SATLiteral(unsigned var, unsigned polarity) :_polarity(polarity), _var(var) in SATLiteral()
56 _polarity=positive?1:0; in set()
62 inline bool isPositive() const { return _polarity; } in isPositive()
63 inline bool isNegative() const { return !_polarity; } in isNegative()
65 inline unsigned polarity() const { return _polarity; } in polarity()
66 inline unsigned oppositePolarity() const { return 1-_polarity; } in oppositePolarity()
92 unsigned _polarity : 1; member
|
| /dports/math/vampire/vampire-4.5.1/Shell/ |
| H A D | SubexpressionIterator.hpp | 72 Expression(Formula* f, int polarity): _tag(FORMULA), _formula(f), _polarity(polarity) {} in Expression()
74 Expression(TermList ts, int polarity): _tag(TERM), _term(ts), _polarity(polarity) {} in Expression()
84 int getPolarity() { return _polarity; } in getPolarity()
94 int _polarity; member in Shell::SubexpressionIterator::Expression
122 _polarity = expression.getPolarity(); in hasNext()
135 polarity = _polarity; in next()
142 int _polarity; member in Shell::FoolAwareSubformulaIterator
|
| H A D | SubexpressionIterator.cpp | 55 int polarity = expression._polarity; in next()
|
| /dports/math/vampire/vampire-4.5.1/Kernel/ |
| H A D | SubformulaIterator.cpp | 43 _polarity(polarity), in Element()
49 _polarity(polarity), in Element()
55 _polarity(polarity), in Element()
61 _polarity(polarity), in Element()
77 int _polarity; member in Kernel::SubformulaIterator::Element
135 _currentPolarity = _reserve->_polarity; in hasNext()
143 _currentPolarity = _reserve->_polarity; in hasNext()
158 _reserve = new Element(first->term(), _reserve->_polarity, _reserve); in hasNext()
165 int polarity = _reserve->_polarity; in hasNext()
|
| H A D | FormulaTransformer.cpp | 288 _polarity = polarity; in transformWithPolarity()
296 ScopedLet<int> plet(_polarity, -_polarity); in applyNot()
307 ScopedLet<int> plet(_polarity, -_polarity); in applyImp()
326 ScopedLet<int> plet(_polarity, 0); in applyBinary()
|
| H A D | FormulaTransformer.hpp | 128 int polarity() const { return _polarity; } in polarity()
134 int _polarity; member in Kernel::PolarityAwareFormulaTransformer
|
| /dports/net-p2p/qtum/qtum-mainnet-fastlane-v0.20.3/src/cpp-ethereum/libethcore/ |
| H A D | LogEntry.h | 57 BlockPolarity _polarity = BlockPolarity::Unknown
65 polarity(_polarity), in LogEntry()
|
| /dports/multimedia/v4l_compat/linux-5.13-rc2/include/linux/ |
| H A D | pwm.h | 577 _period, _polarity, _module) \ argument
584 .polarity = _polarity, \
588 #define PWM_LOOKUP(_provider, _index, _dev_id, _con_id, _period, _polarity) \ argument
590 _polarity, NULL)
|
| /dports/multimedia/libv4l/linux-5.13-rc2/include/linux/ |
| H A D | pwm.h | 577 _period, _polarity, _module) \ argument
584 .polarity = _polarity, \
588 #define PWM_LOOKUP(_provider, _index, _dev_id, _con_id, _period, _polarity) \ argument
590 _polarity, NULL)
|
| /dports/multimedia/v4l-utils/linux-5.13-rc2/include/linux/ |
| H A D | pwm.h | 577 _period, _polarity, _module) \ argument
584 .polarity = _polarity, \
588 #define PWM_LOOKUP(_provider, _index, _dev_id, _con_id, _period, _polarity) \ argument
590 _polarity, NULL)
|
| /dports/net-p2p/qtum/qtum-mainnet-fastlane-v0.20.3/src/cpp-ethereum/libethereum/ |
| H A D | ClientBase.cpp | 191 …ogsFromBlock(LogFilter const& _f, h256 const& _blockHash, BlockPolarity _polarity, LocalisedLogEnt… in prependLogsFromBlock() argument
200 …, LocalisedLogEntry(le[j], _blockHash, (BlockNumber)bc().number(_blockHash), th, i, 0, _polarity)); in prependLogsFromBlock()
|
| H A D | ClientBase.h | 78 …omBlock(LogFilter const& _filter, h256 const& _blockHash, BlockPolarity _polarity, LocalisedLogEnt…
|
| H A D | Client.h | 236 void appendFromBlock(h256 const& _blockHash, BlockPolarity _polarity, h256Hash& io_changed);
|
| H A D | Client.cpp | 340 void Client::appendFromBlock(h256 const& _block, BlockPolarity _polarity, h256Hash& io_changed) in appendFromBlock() argument
360 …(LocalisedLogEntry(l, _block, (BlockNumber)bc().number(_block), transactionHash, j, 0, _polarity)); in appendFromBlock()
|
| /dports/audio/ardour6/Ardour-6.8.0/libs/ardour/ardour/ |
| H A D | route.h | 210 boost::shared_ptr<PolarityProcessor> polarity() const { return _polarity; } in polarity()
702 boost::shared_ptr<PolarityProcessor> _polarity; variable
|
| /dports/audio/ardour6/Ardour-6.8.0/libs/ardour/ |
| H A D | route.cc | 208 _polarity.reset (new PolarityProcessor (_session, _phase_control)); in init()
209 _polarity->activate(); in init()
210 _polarity->set_owner (this); in init()
1406 …if (p == _amp || p == _meter || p == _main_outs || p == _delayline || p == _trim || p == _polarity… in is_internal_processor()
3082 _polarity->set_state (**niter, version); in set_processor_state()
3083 new_order.push_back (_polarity); in set_processor_state()
5184 if (_polarity) { in setup_invisible_processors()
5188 new_processors.insert (++reader_pos, _polarity); in setup_invisible_processors()
5193 new_processors.insert (++return_pos, _polarity); in setup_invisible_processors()
5195 new_processors.push_front (_polarity); in setup_invisible_processors()
|