org.opt4j.tutorial.minones
Class MinOnesDecoder

java.lang.Object
  org.opt4j.satdecoding.AbstractSATDecoder<org.opt4j.core.Genotype,MinOnesResult>
      org.opt4j.tutorial.minones.MinOnesDecoder

All Implemented Interfaces:

org.opt4j.core.problem.Creator<org.opt4j.core.Genotype>, org.opt4j.core.problem.Decoder<org.opt4j.core.Genotype,MinOnesResult>

public class MinOnesDecoder
extends org.opt4j.satdecoding.AbstractSATDecoder<org.opt4j.core.Genotype,MinOnesResult>

Field Summary

Fields inherited from class org.opt4j.satdecoding.AbstractSATDecoder

isInit, lowerBounds, manager, random, upperBounds

Constructor Summary

MinOnesDecoder(org.opt4j.satdecoding.SATManager satManager, org.opt4j.core.common.random.Rand random)

Method Summary

MinOnesResult	convertModel(org.opt4j.satdecoding.Model model)
java.util.Set<org.opt4j.satdecoding.Constraint>	createConstraints()

Methods inherited from class org.opt4j.satdecoding.AbstractSATDecoder

create, createSATGenotype, decode, decodeSATGenotype, getConstraints, getLowerBounds, getUpperBounds, getVariables, ignoreVariables, init, randomize

Methods inherited from class java.lang.Object

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

Constructor Detail

MinOnesDecoder

@Inject
public MinOnesDecoder(org.opt4j.satdecoding.SATManager satManager,
                             org.opt4j.core.common.random.Rand random)

Method Detail

createConstraints

public java.util.Set<org.opt4j.satdecoding.Constraint> createConstraints()

Specified by:

createConstraints in class org.opt4j.satdecoding.AbstractSATDecoder<org.opt4j.core.Genotype,MinOnesResult>

convertModel

public MinOnesResult convertModel(org.opt4j.satdecoding.Model model)

Specified by:

convertModel in class org.opt4j.satdecoding.AbstractSATDecoder<org.opt4j.core.Genotype,MinOnesResult>