Searched refs:CondS (Results 1 – 1 of 1) sorted by relevance
68 const SymbolRef CondS = Cond.getAsSymbol(); in evalAssume() local69 if (!CondS || CondS->computeComplexity() > ComplexityThreshold) in evalAssume()72 for (SymbolRef Antecedent : CondS->symbols()) { in evalAssume()