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

public interface SatOptimizer

Sat solver optimizer - calculates and returns the minimization function

Author:

Oleg Gusakov

Method Summary

org.sat4j.pb.ObjectiveFunction

getOptimizer(MetadataTreeNode tn, org.apache.maven.mercury.metadata.sat.SatContext context) returns the function to be minimized

Method Detail

getOptimizer

org.sat4j.pb.ObjectiveFunction getOptimizer(MetadataTreeNode tn,
                                            org.apache.maven.mercury.metadata.sat.SatContext context)
                                            throws SatException

returns the function to be minimized

Parameters:

tn -

context -

Returns:

Throws:

SatException