/dports/graphics/cegui/cegui-0.8.7/cegui/include/CEGUI/ |
H A D | FontGlyph.h | 50 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 D | gsmapper.cpp | 47 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 D | gsmapper.h | 64 bool d_valid; variable
|
/dports/math/cvc4/CVC4-1.7/src/theory/quantifiers/ |
H A D | inst_match_trie.cpp | 280 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 D | equality_infer.cpp | 31 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 D | anti_skolem.h | 73 CDSkQuantCache( context::Context* c ) : d_valid( c, false ){} in CDSkQuantCache() 76 context::CDO< bool > d_valid; variable
|
H A D | equality_infer.h | 51 context::CDO< bool > d_valid; variable
|
H A D | inst_match_trie.h | 224 CDInstMatchTrie(context::Context* c) : d_valid(c, false) {} in CDInstMatchTrie() 347 context::CDO<bool> d_valid; variable
|
H A D | anti_skolem.cpp | 58 if( !d_valid.get() ){ in add() 59 d_valid.set( true ); in add()
|
/dports/math/cvc4/CVC4-1.7/src/theory/uf/ |
H A D | theory_uf_strong_solver.h | 101 : 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 D | theory_uf_strong_solver.cpp | 53 , d_valid( c, true ) {} in Region() 128 r->d_valid = false; in combine()
|
/dports/dns/dnsdist/dnsdist-1.6.1/ |
H A D | dnscrypt.hh | 188 return d_valid; in isValid() 244 bool d_valid{false}; member in DNSCryptQuery
|
H A D | dnscrypt.cc | 434 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 D | AtomTyper.h | 138 bool isValid() { return d_valid; }; in isValid() 178 bool d_valid; variable
|
H A D | AtomTyper.cpp | 2242 d_valid = false; in setMMFFHeavyAtomType() 2466 d_valid = false; in setMMFFHydrogenType() 2502 : d_valid(true), in MMFFMolProperties()
|
/dports/math/coxeter3/coxeter-7b5a1f0/ |
H A D | bits.cpp | 937 :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 D | schubert.h | 251 bool d_valid; variable 326 inline ClosureIterator::operator bool() const {return d_valid;}
|
H A D | bits.h | 184 bool d_valid; variable 275 {return d_valid;}
|
H A D | schubert.cpp | 1264 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 D | iorate.c | 634 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 D | ior_pars.y | 185 if ( parse_dev->d_valid ) { 195 parse_dev->d_valid = 1; /* mark as valid */
|
H A D | ior_file.c | 138 if ( cur_dev->d_valid ) { in ior_log_devs()
|
H A D | iorate.h | 198 BYTE d_valid; /* is this device OK to use? */ member
|
H A D | ior_pars.c | 1669 if ( parse_dev->d_valid ) { 1679 parse_dev->d_valid = 1; /* mark as valid */
|
/dports/x11/swaysettings/SwaySettings-709b482/src/InputSettings/ |
H A D | Input_Settings.vala | 47 bool d_valid = description != null && description.length > 0; 48 return n_valid && sd_valid && d_valid;
|