Home
last modified time | relevance | path

Searched defs:_lit (Results 1 – 16 of 16) sorted by relevance

/dports/games/xmahjongg/xmahjongg-3.7/src/
H A Dbutton.hh12 Pixmap _lit; member in Button
/dports/science/teem/teem-1.11.0-src/src/limn/
H A Denvmap.c98 limnLightDiffuseCB(float rgb[3], float vec[3], void *_lit) { in limnLightDiffuseCB()
/dports/lang/solidity/solidity_0.8.11/libyul/backends/evm/
H A DEVMMetrics.cpp89 void GasMeterVisitor::operator()(Literal const& _lit) in operator ()()
/dports/math/vampire/vampire-4.5.1/Inferences/
H A DInduction.hpp75 Literal* _lit; member in Inferences::LiteralSubsetReplacement
H A DEqualityFactoring.cpp72 Literal* _lit; member
H A DTermAlgebraReasoning.cpp203 Literal* _lit; member
526 Literal *_lit; member
/dports/databases/xapian-core/xapian-core-1.4.18/common/
H A Dpretty.h46 const char * _lit; member
/dports/databases/xapian-core12/xapian-core-1.2.25/common/
H A Dpretty.h42 const char * _lit; member
/dports/devel/p5-Log-Any-App/Log-Any-App-0.540/lib/Log/Any/
H A DApp.pm131 sub _lit { subroutine
/dports/math/vampire/vampire-4.5.1/Indexing/
H A DLiteralMiniIndex.hpp58 Literal* _lit; member
/dports/math/vampire/vampire-4.5.1/Kernel/
H A DRebalancing.hpp48 const Literal& _lit; member in Kernel::Rebalancing::Balancer
/dports/math/vampire/vampire-4.5.1/DP/
H A DSimpleCongruenceClosure.hpp299 Literal* _lit; member
/dports/math/vampire/vampire-4.5.1/FMB/
H A DMonotonicity.cpp321 Literal* _lit; member in FMB::SortFunctionTransformer
/dports/www/py-imdbpy/IMDbPY-2021.4.18/bin/
H A Dimdbpy2sql.py2160 _lit = {'SCRP': 'screenplay-teleplay', variable
/dports/math/cadical/cadical-1.0.3-cb89cbf/test/cnf/
H A Ddrat-trim.c187 int i, lit, _lit = 0; long *watch, *_watch; in propagate() local
/dports/www/phpsysinfo/phpsysinfo-3.3.4/data/
H A Dlanguages.ini618 _lit="Lithuanian" key