Searched refs:IsSatisfiable (Results 1 – 2 of 2) sorted by relevance
45 const bool IsSatisfiable; member51 Requirements(bool IsSatisfiable = false,55 : IsSatisfiable(IsSatisfiable), Cap(Cap), Exts(Exts), MinVer(MinVer), in IsSatisfiable() function
511 if (!Req.IsSatisfiable) in addRequirements()545 bool IsSatisfiable = true; in checkSatisfiable() local553 IsSatisfiable = false; in checkSatisfiable()560 IsSatisfiable = false; in checkSatisfiable()569 IsSatisfiable = false; in checkSatisfiable()579 IsSatisfiable = false; in checkSatisfiable()589 IsSatisfiable = false; in checkSatisfiable()592 if (!IsSatisfiable) in checkSatisfiable()1290 .IsSatisfiable) { in handleMIFlagDecoration()1298 .IsSatisfiable) { in handleMIFlagDecoration()