org.opt4j.satdecoding
Class MixedSATManager

java.lang.Object
  org.opt4j.satdecoding.MixedSATManager

All Implemented Interfaces:

SATManager

public class MixedSATManager
extends java.lang.Object
implements SATManager

The MixedSATManager encodes the decision strategy into two vectors: One binary vector for the phase and one double vector for the priority.

Field Summary

protected Solver

solver

Constructor Summary

MixedSATManager(Solver solver)
Constructs a MixedSATManager.

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.

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

solver

protected final Solver solver

Constructor Detail

MixedSATManager

@Inject
public MixedSATManager(Solver solver)

Constructs a MixedSATManager.

Parameters:

solver - the solver

Method Detail

createSATGenotype

public 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)

Description copied from interface: SATManager

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

Specified by:

createSATGenotype in interface SATManager

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

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

Description copied from interface: SATManager

Decodes the Genotype into a Model.

Specified by:

decodeSATGenotype in interface SATManager

Parameters:

variables - the variables of the problem

genotype - the genotype

Returns:

the model

getSolver

public Solver getSolver()

Description copied from interface: SATManager

Returns the Solver.

Specified by:

getSolver in interface SATManager

Returns:

the solver