org.apache.maven.mercury.metadata.sat
Interface SatSolver

All Superinterfaces:

EventGenerator

All Known Implementing Classes:

DefaultSatSolver

public interface SatSolver
extends EventGenerator

Author:

Oleg Gusakov

Field Summary

static int	DEFAULT_TREE_SIZE
static java.lang.String	EVENT_CREATE_SOLVER
static java.lang.String	EVENT_SOLVE

Method Summary

void	applyPolicies(java.util.List<java.util.Comparator<MetadataTreeNode>> comparators)
java.util.List<ArtifactMetadata>	solve()

Methods inherited from interface org.apache.maven.mercury.event.EventGenerator

register, setEventManager, unRegister

Field Detail

DEFAULT_TREE_SIZE

static final int DEFAULT_TREE_SIZE

See Also:

Constant Field Values

EVENT_SOLVE

static final java.lang.String EVENT_SOLVE

See Also:

Constant Field Values

EVENT_CREATE_SOLVER

static final java.lang.String EVENT_CREATE_SOLVER

See Also:

Constant Field Values

Method Detail

applyPolicies

void applyPolicies(java.util.List<java.util.Comparator<MetadataTreeNode>> comparators)
                   throws SatException

Parameters:

sorts - - policies expressed as sorted list of node sorters - from most important to the least

Throws:

SatException

solve

java.util.List<ArtifactMetadata> solve()
                                       throws SatException

Returns:

list of ArtifactMetedata's in the solution

Throws:

SatException