Uses of Class
org.apache.maven.mercury.metadata.sat.SatException

Packages that use SatException

org.apache.maven.mercury.metadata.sat

Uses of SatException in org.apache.maven.mercury.metadata.sat

Methods in org.apache.maven.mercury.metadata.sat that throw SatException

void	SatSolver.applyPolicies(java.util.List<java.util.Comparator<MetadataTreeNode>> comparators)
void	DefaultSatSolver.applyPolicies(java.util.List<java.util.Comparator<MetadataTreeNode>> comparators)
static SatSolver	DefaultSatSolver.create(MetadataTreeNode tree)
static SatSolver	DefaultSatSolver.create(MetadataTreeNode tree, EventManager eventManager)
org.sat4j.pb.ObjectiveFunction	SatOptimizer.getOptimizer(MetadataTreeNode tn, org.apache.maven.mercury.metadata.sat.SatContext context) returns the function to be minimized
java.util.List<ArtifactMetadata>	SatSolver.solve()
java.util.List<ArtifactMetadata>	DefaultSatSolver.solve()
MetadataTreeNode	DefaultSatSolver.solveAsTree()

Constructors in org.apache.maven.mercury.metadata.sat that throw SatException

DefaultSatSolver(MetadataTreeNode tree)

DefaultSatSolver(MetadataTreeNode tree, EventManager eventManager)