Searched refs:IsSatisfiable (Results 1 – 2 of 2) sorted by relevance
47 const bool IsSatisfiable; member53 Requirements(bool IsSatisfiable = false,57 : IsSatisfiable(IsSatisfiable), Cap(Cap), Exts(Exts), MinVer(MinVer), in IsSatisfiable() function
686 if (!Req.IsSatisfiable) in addRequirements()720 bool IsSatisfiable = true; in checkSatisfiable() local728 IsSatisfiable = false; in checkSatisfiable()735 IsSatisfiable = false; in checkSatisfiable()744 IsSatisfiable = false; in checkSatisfiable()754 IsSatisfiable = false; in checkSatisfiable()764 IsSatisfiable = false; in checkSatisfiable()767 if (!IsSatisfiable) in checkSatisfiable()2000 .IsSatisfiable) { in handleMIFlagDecoration()2008 .IsSatisfiable) { in handleMIFlagDecoration()