Home
last modified time | relevance | path

Searched defs:addConflicts (Results 1 – 5 of 5) sorted by relevance

/dports/lang/ghc/ghc-8.10.7/compiler/utils/
H A DGraphOps.hs180 :: Uniquable k
184 addConflicts conflicts getClass function
/dports/sysutils/libdnf/libdnf-0.64.0/libdnf/repo/solvable/
H A DPackage.cpp135 void Package::addConflicts(std::shared_ptr<Dependency> dependency) in addConflicts() function in libdnf::Package
/dports/java/eclipse/eclipse.platform.releng.aggregator-R4_16/rt.equinox.framework/bundles/org.eclipse.osgi.compatibility.state/src/org/eclipse/osgi/internal/module/
H A DGroupingChecker.java404 …List<PackageRoots[]> addConflicts(ResolverBundle bundle, String usedPackage, List<PackageRoots> vi… in addConflicts() method in GroupingChecker.PackageRoots
H A DResolverImpl.java1085 …private List<ResolverConstraint> addConflicts(ResolverBundle bundle, Set<String> packageConstraint… in addConflicts() method
/dports/math/cvc3/cvc3-2.4.1/src/sat/
H A Dxchaff_solver.cpp179 ClauseIdx CSolver::add_clause(vector<long>& lits, bool addConflicts) { in add_clause()