org.kahina.logic.sat.insertionmus.iterativ.simpleSAT.optimization

Class CDCLFitnessFunctionMultiThreaded

java.lang.Object

FitnessFunction

org.kahina.logic.sat.insertionmus.iterativ.simpleSAT.optimization.CDCLFitnessFunctionMultiThreaded

public class CDCLFitnessFunctionMultiThreaded
extends FitnessFunction

Constructor Summary

Constructors

Constructor and Description
CDCLFitnessFunctionMultiThreaded()

Method Summary

Methods

Modifier and Type	Method and Description
protected double	evaluate(IChromosome arg0)

Methods inherited from class java.lang.Object

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

Constructor Detail

CDCLFitnessFunctionMultiThreaded

public CDCLFitnessFunctionMultiThreaded()

Method Detail

evaluate

protected double evaluate(IChromosome arg0)