org.opt4j.satdecoding
Interface SATManager

All Known Implementing Classes:

MixedSATManager

public interface SATManager

Classes with this interface manage the creation of Genotypes and the decoding to a Model.

Method Summary

org.opt4j.core.Genotype	createSATGenotype(java.util.List<java.lang.Object> variables, java.util.Map<java.lang.Object,java.lang.Double> lowerBounds, java.util.Map<java.lang.Object,java.lang.Double> upperBounds, java.util.Map<java.lang.Object,java.lang.Double> priorities, java.util.Map<java.lang.Object,java.lang.Boolean> phases) Creates a new Genotype from the variables, priorities, and phases.
Model	decodeSATGenotype(java.util.List<java.lang.Object> variables, org.opt4j.core.Genotype genotype) Decodes the Genotype into a Model.
Solver	getSolver() Returns the Solver.

Method Detail

getSolver

Solver getSolver()

Returns the Solver.

Returns:

the solver

createSATGenotype

org.opt4j.core.Genotype createSATGenotype(java.util.List<java.lang.Object> variables,
                                          java.util.Map<java.lang.Object,java.lang.Double> lowerBounds,
                                          java.util.Map<java.lang.Object,java.lang.Double> upperBounds,
                                          java.util.Map<java.lang.Object,java.lang.Double> priorities,
                                          java.util.Map<java.lang.Object,java.lang.Boolean> phases)

Creates a new Genotype from the variables, priorities, and phases.

Parameters:

variables - the variables

lowerBounds - the lower bounds for the priority for the variables

upperBounds - the upper bounds for the priority for the variables

priorities - the priorities

phases - the phases

Returns:

the new genotype

decodeSATGenotype

Model decodeSATGenotype(java.util.List<java.lang.Object> variables,
                        org.opt4j.core.Genotype genotype)

Decodes the Genotype into a Model.

Parameters:

variables - the variables of the problem

genotype - the genotype

Returns:

the model