Home
last modified time | relevance | path

Searched defs:_polarity (Results 1 – 10 of 10) sorted by relevance

/dports/math/vampire/vampire-4.5.1/Shell/
H A DSubexpressionIterator.hpp94 int _polarity; member in Shell::SubexpressionIterator::Expression
142 int _polarity; member in Shell::FoolAwareSubformulaIterator
/dports/math/vampire/vampire-4.5.1/SAT/
H A DSATLiteral.hpp92 unsigned _polarity : 1; member
/dports/math/vampire/vampire-4.5.1/Kernel/
H A DSubformulaIterator.cpp77 int _polarity; member in Kernel::SubformulaIterator::Element
H A DFormulaTransformer.hpp134 int _polarity; member in Kernel::PolarityAwareFormulaTransformer
/dports/multimedia/v4l_compat/linux-5.13-rc2/include/linux/
H A Dpwm.h577 _period, _polarity, _module) \ argument
588 #define PWM_LOOKUP(_provider, _index, _dev_id, _con_id, _period, _polarity) \ argument
/dports/multimedia/libv4l/linux-5.13-rc2/include/linux/
H A Dpwm.h577 _period, _polarity, _module) \ argument
588 #define PWM_LOOKUP(_provider, _index, _dev_id, _con_id, _period, _polarity) \ argument
/dports/multimedia/v4l-utils/linux-5.13-rc2/include/linux/
H A Dpwm.h577 _period, _polarity, _module) \ argument
588 #define PWM_LOOKUP(_provider, _index, _dev_id, _con_id, _period, _polarity) \ argument
/dports/net-p2p/qtum/qtum-mainnet-fastlane-v0.20.3/src/cpp-ethereum/libethereum/
H A DClientBase.cpp191 …rependLogsFromBlock(LogFilter const& _f, h256 const& _blockHash, BlockPolarity _polarity, Localise… in prependLogsFromBlock()
H A DClient.cpp340 void Client::appendFromBlock(h256 const& _block, BlockPolarity _polarity, h256Hash& io_changed) in appendFromBlock()
/dports/audio/ardour6/Ardour-6.8.0/libs/ardour/ardour/
H A Droute.h702 boost::shared_ptr<PolarityProcessor> _polarity; variable