Methods from org.sat4j.pb used by org.eclipse.equinox.p2.director

Click an entry in the table below to reveal the details of the references made to that element.

Reference Details

org.sat4j.pb.SolverFactory.newEclipseP2()

INVOKED_STATIC
Reference LocationLine Number
org.eclipse.equinox.internal.p2.director.Projector.encode(IInstallableUnit, IInstallableUnit[], IInstallableUnit[], IProgressMonitor)149

org.sat4j.pb.SolverFactory.newOPBStringSolver()

INVOKED_STATIC
Reference LocationLine Number
org.eclipse.equinox.internal.p2.director.Projector.encode(IInstallableUnit, IInstallableUnit[], IInstallableUnit[], IProgressMonitor)147

org.sat4j.pb.tools.DependencyHelper.atMost(int, T[])

VIRTUAL_METHOD
Reference LocationLine Number
org.eclipse.equinox.internal.p2.director.Projector.createAtMostOne(IInstallableUnit[])699
org.eclipse.equinox.internal.p2.director.Projector.createIncompatibleValues(ProjectorAbstractVariable, ProjectorAbstractVariable)711

org.sat4j.pb.tools.DependencyHelper.DependencyHelper(IPBSolver)

CONSTRUCTOR_METHOD
Reference LocationLine Number
org.eclipse.equinox.internal.p2.director.Projector.encode(IInstallableUnit, IInstallableUnit[], IInstallableUnit[], IProgressMonitor)153

org.sat4j.pb.tools.DependencyHelper.getBooleanValueFor(T)

VIRTUAL_METHOD
Reference LocationLine Number
org.eclipse.equinox.internal.p2.director.Projector.getFragmentAssociation()827
org.eclipse.equinox.internal.p2.director.Projector.getFragmentAssociation()833

org.sat4j.pb.tools.DependencyHelper.getSolution()

VIRTUAL_METHOD
Reference LocationLine Number
org.eclipse.equinox.internal.p2.director.Projector.backToIU()767

org.sat4j.pb.tools.DependencyHelper.hasASolution(Collection)

VIRTUAL_METHOD
Reference LocationLine Number
org.eclipse.equinox.internal.p2.director.Projector.invokeSolver(IProgressMonitor)739

org.sat4j.pb.tools.DependencyHelper.implication(T[])

VIRTUAL_METHOD
Reference LocationLine Number
org.eclipse.equinox.internal.p2.director.Projector.createImplication(Object, List, Explanation)635
org.eclipse.equinox.internal.p2.director.Projector.createImplication(Object[], List, Explanation)642
org.eclipse.equinox.internal.p2.director.Projector.expandRequirementsWithPatches(IInstallableUnit, Collector, boolean)465

org.sat4j.pb.tools.DependencyHelper.setFalse(T, C)

VIRTUAL_METHOD
Reference LocationLine Number
org.eclipse.equinox.internal.p2.director.Projector.createNegation(IInstallableUnit, IRequiredCapability)293

org.sat4j.pb.tools.DependencyHelper.setObjectiveFunction(WeightedObject[])

VIRTUAL_METHOD
Reference LocationLine Number
org.eclipse.equinox.internal.p2.director.Projector.createObjectiveFunction(List)277

org.sat4j.pb.tools.DependencyHelper.stopExplanation()

VIRTUAL_METHOD
Reference LocationLine Number
org.eclipse.equinox.internal.p2.director.Projector.ExplanationJob.canceling()86
org.eclipse.equinox.internal.p2.director.Projector.ExplanationJob.canceling()86

org.sat4j.pb.tools.DependencyHelper.why()

VIRTUAL_METHOD
Reference LocationLine Number
org.eclipse.equinox.internal.p2.director.Projector.ExplanationJob.run(IProgressMonitor)100
org.eclipse.equinox.internal.p2.director.Projector.ExplanationJob.run(IProgressMonitor)100

org.sat4j.pb.tools.ImplicationAnd.named(C)

VIRTUAL_METHOD
Reference LocationLine Number
org.eclipse.equinox.internal.p2.director.Projector.expandRequirementsWithPatches(IInstallableUnit, Collector, boolean)465

org.sat4j.pb.tools.ImplicationNamer.named(C)

VIRTUAL_METHOD
Reference LocationLine Number
org.eclipse.equinox.internal.p2.director.Projector.createAtMostOne(IInstallableUnit[])699
org.eclipse.equinox.internal.p2.director.Projector.createImplication(Object, List, Explanation)635
org.eclipse.equinox.internal.p2.director.Projector.createImplication(Object[], List, Explanation)642
org.eclipse.equinox.internal.p2.director.Projector.createIncompatibleValues(ProjectorAbstractVariable, ProjectorAbstractVariable)711

org.sat4j.pb.tools.ImplicationRHS.implies(T)

VIRTUAL_METHOD
Reference LocationLine Number
org.eclipse.equinox.internal.p2.director.Projector.expandRequirementsWithPatches(IInstallableUnit, Collector, boolean)465

org.sat4j.pb.tools.ImplicationRHS.implies(T[])

VIRTUAL_METHOD
Reference LocationLine Number
org.eclipse.equinox.internal.p2.director.Projector.createImplication(Object, List, Explanation)635
org.eclipse.equinox.internal.p2.director.Projector.createImplication(Object[], List, Explanation)642

org.sat4j.pb.tools.WeightedObject.getWeight()

VIRTUAL_METHOD
Reference LocationLine Number
org.eclipse.equinox.internal.p2.director.Projector.createObjectiveFunction(List)271

org.sat4j.pb.tools.WeightedObject.newWO(E, BigInteger)

INVOKED_STATIC
Reference LocationLine Number
org.eclipse.equinox.internal.p2.director.Projector.createOptimizationFunction(IInstallableUnit)224
org.eclipse.equinox.internal.p2.director.Projector.createOptimizationFunction(IInstallableUnit)251
org.eclipse.equinox.internal.p2.director.Projector.createOptimizationFunction(IInstallableUnit)213
org.eclipse.equinox.internal.p2.director.Projector.createOptimizationFunction(IInstallableUnit)232
org.eclipse.equinox.internal.p2.director.Projector.createOptimizationFunction(IInstallableUnit)257

Back to reference summary for org.eclipse.equinox.p2.director

Valid HTML 4.01 TransitionalValid XHTML 1.0 Strict