Home
last modified time | relevance | path

Searched defs:isComm (Results 1 – 5 of 5) sorted by relevance

/dports/games/csmash/csmash-0.6.6/
H A Dmain.cpp49 bool isComm = false; // Network Play? variable
/dports/games/spring/spring_98.0/AI/Skirmish/E323AI/
H A DCEconomy.cpp183 bool isComm = (unit->type->cats&COMMANDER).any(); in buildOrAssist() local
/dports/math/cvc4/CVC4-1.7/src/theory/quantifiers/
H A Dterm_util.cpp674 bool TermUtil::isComm(Kind k, bool reqNAry) in isComm() function in CVC4::theory::quantifiers::TermUtil
H A Dquant_conflict_find.cpp1089 …bool isComm = d_type==typ_formula && ( d_n.getKind()==OR || d_n.getKind()==AND || d_n.getKind()==E… in determineVariableOrder() local
/dports/math/cvc4/CVC4-1.7/src/preprocessing/passes/
H A Dsymmetry_detect.cpp57 bool isComm = theory::quantifiers::TermUtil::isComm(k); in mkAssociativeNode() local