Home
last modified time | relevance | path

Searched refs:d_valid (Results 1 – 25 of 26) sorted by relevance

12

/dports/graphics/cegui/cegui-0.8.7/cegui/include/CEGUI/
H A DFontGlyph.h50 d_valid(valid) in d_image()
102 { d_valid = valid; } in setValid()
106 { return d_valid; } in isValid()
114 bool d_valid; variable
/dports/games/freeminer/freeminer-0.4.10.4/src/
H A Dgsmapper.cpp47 d_valid = false; in gsMapper()
137 d_valid = false; in setMapVis()
142 d_valid = false; in setMapVis()
147 d_valid = false; in setMapVis()
152 d_valid = false; in setMapVis()
157 d_valid = false; in setMapVis()
162 d_valid = false; in setMapVis()
167 d_valid = false; in setMapVis()
214 if (d_valid) in drawMap()
223 if (!d_valid || d_tracking) in drawMap()
[all …]
H A Dgsmapper.h64 bool d_valid; variable
/dports/math/cvc4/CVC4-1.7/src/theory/quantifiers/
H A Dinst_match_trie.cpp280 if (!d_valid.get()) in addInstMatch()
288 d_valid.set(true); in addInstMatch()
351 if (d_valid.get()) in removeInstMatch()
353 d_valid.set(false); in removeInstMatch()
373 if (d_valid.get()) in recordInstLemma()
395 if (d_valid.get()) in print()
451 if (d_valid.get()) in getInstantiations()
498 if (d_valid.get()) in getExplanationForInstLemmas()
H A Dequality_infer.cpp31 EqualityInference::EqcInfo::EqcInfo(context::Context* c) : d_rep( c ), d_valid( c, false ), d_solve… in EqcInfo()
144 Assert( !eqci->d_valid.get() ); in eqNotifyNewClass()
152 eqci->d_valid = true; in eqNotifyNewClass()
206 eqci->d_valid = false; in eqNotifyNewClass()
246 if( eqci->d_valid.get() ){ in setEqcRep()
256 if( itc!=d_eqci.end() && itc->second->d_valid.get() ){ in setEqcRep()
287 itv2->second->d_valid = false; in eqNotifyMerge()
382 if( itt!=d_eqci.end() && ( itt->second->d_valid || itt->second->d_solved ) ){ in eqNotifyMerge()
408 itt->second->d_valid = false; in eqNotifyMerge()
H A Danti_skolem.h73 CDSkQuantCache( context::Context* c ) : d_valid( c, false ){} in CDSkQuantCache()
76 context::CDO< bool > d_valid; variable
H A Dequality_infer.h51 context::CDO< bool > d_valid; variable
H A Dinst_match_trie.h224 CDInstMatchTrie(context::Context* c) : d_valid(c, false) {} in CDInstMatchTrie()
347 context::CDO<bool> d_valid; variable
H A Danti_skolem.cpp58 if( !d_valid.get() ){ in add()
59 d_valid.set( true ); in add()
/dports/math/cvc4/CVC4-1.7/src/theory/uf/
H A Dtheory_uf_strong_solver.h101 : d_internal(c), d_external(c), d_valid(c, true) { in RegionNodeInfo()
117 bool valid() const { return d_valid; } in valid()
118 void setValid(bool valid) { d_valid = valid; } in setValid()
125 context::CDO< bool > d_valid; variable
150 context::CDO< bool > d_valid; variable
172 bool valid() const { return d_valid; } in valid()
175 void setValid(bool valid) { d_valid = valid; } in setValid()
H A Dtheory_uf_strong_solver.cpp53 , d_valid( c, true ) {} in Region()
128 r->d_valid = false; in combine()
/dports/dns/dnsdist/dnsdist-1.6.1/
H A Ddnscrypt.hh188 return d_valid; in isValid()
244 bool d_valid{false}; member in DNSCryptQuery
H A Ddnscrypt.cc434 d_valid = true; in parsePlaintextQuery()
510 assert(d_valid == false); in getDecrypted()
594 d_valid = true; in getDecrypted()
605 d_valid = false; in parsePacket()
/dports/science/rdkit/rdkit-Release_2021_03_5/Code/GraphMol/ForceFieldHelpers/MMFF/
H A DAtomTyper.h138 bool isValid() { return d_valid; }; in isValid()
178 bool d_valid; variable
H A DAtomTyper.cpp2242 d_valid = false; in setMMFFHeavyAtomType()
2466 d_valid = false; in setMMFFHydrogenType()
2502 : d_valid(true), in MMFFMolProperties()
/dports/math/coxeter3/coxeter-7b5a1f0/
H A Dbits.cpp937 :d_pi(pi),d_a(pi.size()),d_class(0),d_base(0),d_valid(true) in PartitionIterator()
945 d_valid = false; in PartitionIterator()
980 d_valid = false; in operator ++()
H A Dschubert.h251 bool d_valid; variable
326 inline ClosureIterator::operator bool() const {return d_valid;}
H A Dbits.h184 bool d_valid; variable
275 {return d_valid;}
H A Dschubert.cpp1264 d_visited(p.size()),d_current(0),d_valid(true) in ClosureIterator()
1334 d_valid = false; in operator ++()
/dports/benchmarks/iorate/iorate-3.05/
H A Diorate.c634 if ( cur_dev->d_valid ) { in ior_read_config()
692 cur_dev->d_valid = 0; in ior_read_config()
753 if ( cur_dev->d_valid ) { in ior_read_config()
1319 if ( !cur_dev->d_valid ) { in ior_read_config()
1341 cur_dev->d_valid = 0; in ior_read_config()
1530 if ( !cur_dev->d_valid ) { /* skip invalid files */ in ior_prepare()
2373 if ( !cur_dev->d_valid ) { /* skip invalid devices */ in ior_run_tests()
2482 if ( !cur_dev->d_valid || !cur_dev->d_is_active ) { in ior_run_tests()
2552 if ( cfg->c_no_testing || !cur_dev->d_valid ) { in ior_run_tests()
3009 if( cur_dev->d_valid && cur_dev->d_is_active ) { in ior_signal_kids()
H A Dior_pars.y185 if ( parse_dev->d_valid ) {
195 parse_dev->d_valid = 1; /* mark as valid */
H A Dior_file.c138 if ( cur_dev->d_valid ) { in ior_log_devs()
H A Diorate.h198 BYTE d_valid; /* is this device OK to use? */ member
H A Dior_pars.c1669 if ( parse_dev->d_valid ) {
1679 parse_dev->d_valid = 1; /* mark as valid */
/dports/x11/swaysettings/SwaySettings-709b482/src/InputSettings/
H A DInput_Settings.vala47 bool d_valid = description != null && description.length > 0;
48 return n_valid && sd_valid && d_valid;

12