Searched defs:IsSatisfiable (Results 1 – 2 of 2) sorted by relevance
45 const bool IsSatisfiable; member 55 : IsSatisfiable(IsSatisfiable), Cap(Cap), Exts(Exts), MinVer(MinVer), in IsSatisfiable() function
470 bool IsSatisfiable = true; checkSatisfiable() local [all...]