Searched defs:isQuantified (Results 1 – 3 of 3) sorted by path
57 boolean isQuantified; field in ExpressionLogical
101 bool LogicInfo::isQuantified() const { in isQuantified() function in CVC4::LogicInfo
688 bool isQuantified=f0->connective()==FORALL; in makeImplFromDef() local