Searched defs:isComm (Results 1 – 5 of 5) sorted by relevance
49 bool isComm = false; // Network Play? variable
183 bool isComm = (unit->type->cats&COMMANDER).any(); in buildOrAssist() local
674 bool TermUtil::isComm(Kind k, bool reqNAry) in isComm() function in CVC4::theory::quantifiers::TermUtil
1089 …bool isComm = d_type==typ_formula && ( d_n.getKind()==OR || d_n.getKind()==AND || d_n.getKind()==E… in determineVariableOrder() local
57 bool isComm = theory::quantifiers::TermUtil::isComm(k); in mkAssociativeNode() local