Searched defs:addConflicts (Results 1 – 5 of 5) sorted by relevance
180 :: Uniquable k184 addConflicts conflicts getClass function
135 void Package::addConflicts(std::shared_ptr<Dependency> dependency) in addConflicts() function in libdnf::Package
404 …List<PackageRoots[]> addConflicts(ResolverBundle bundle, String usedPackage, List<PackageRoots> vi… in addConflicts() method in GroupingChecker.PackageRoots
1085 …private List<ResolverConstraint> addConflicts(ResolverBundle bundle, Set<String> packageConstraint… in addConflicts() method
179 ClauseIdx CSolver::add_clause(vector<long>& lits, bool addConflicts) { in add_clause()