Home
last modified time | relevance | path

Searched defs:connective (Results 1 – 13 of 13) sorted by relevance

/dports/biology/seqan-apps/seqan-seqan-v2.4.0/apps/ngs_roi/
H A Droi_builder.h110 seqan::String<bool> connective; variable
/dports/games/openttd/openttd-12.1/src/
H A Droad.cpp58 bool connective = false; in CleanUpRoadBits() local
/dports/math/vampire/vampire-4.5.1/Shell/
H A DFOOLElimination.cpp217 Connective connective = literal->polarity() ? IFF : XOR; in process() local
692 Connective connective = sd->getFormula()->connective(); in process() local
H A DSMTPAR.hpp207 Connective connective; member
/dports/www/qt5-webengine/qtwebengine-everywhere-src-5.15.2/src/3rdparty/chromium/third_party/angle/third_party/vulkan-headers/src/registry/
H A Dconventions.py58 def connective(self): member in ProseListFormats
/dports/math/vampire/vampire-4.5.1/Kernel/
H A DFormula.hpp64 Connective connective () const { return _connective; } in connective() function in Kernel::Formula
/dports/emulators/yuzu/yuzu-0b47f7a46/externals/Vulkan-Headers/registry/
H A Dconventions.py48 def connective(self): member in ProseListFormats
/dports/www/chromium-legacy/chromium-88.0.4324.182/third_party/vulkan_headers/registry/
H A Dconventions.py58 def connective(self): member in ProseListFormats
/dports/graphics/vulkan-caps-viewer/VulkanCapsViewer-3.05/Vulkan-Headers/registry/
H A Dconventions.py48 def connective(self): member in ProseListFormats
/dports/graphics/vulkan-headers/Vulkan-Headers-1.2.203/registry/
H A Dconventions.py48 def connective(self): member in ProseListFormats
/dports/www/chromium-legacy/chromium-88.0.4324.182/third_party/angle/third_party/vulkan-headers/src/registry/
H A Dconventions.py48 def connective(self): member in ProseListFormats
/dports/science/bddsolve/bddsolve-1.04_9/include/sat/
H A Dparser.h637 connective, member
/dports/math/vampire/vampire-4.5.1/Api/
H A DFormulaBuilder.cpp949 FormulaBuilder::Connective Formula::connective() const in connective() function in Api::Formula