Class MaxSatProblem

java.lang.Object

com.knezevic.edaf.v3.problems.discrete.MaxSatProblem

All Implemented Interfaces:

Problem<BitString>

public final class MaxSatProblem
extends Object
implements Problem<BitString>

MAX-SAT benchmark over fixed CNF formula.

Constructor Summary

Constructors

Constructor	Description
MaxSatProblem(int variableCount, int[][] clauses)

Method Summary

Modifier and Type	Method	Description
int	clauseCount()
Fitness	evaluate(BitString genotype)	Evaluates one genotype and returns its fitness.
String	name()	Problem identifier used for reporting and persistence.
ObjectiveSense	objectiveSense()	Returns whether this problem is min or max.
int	variableCount()
List<String>	violations(BitString genotype)	Returns validation/constraint violations for diagnostics.

Methods inherited from class java.lang.Object

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

Methods inherited from interface com.knezevic.edaf.v3.core.api.Problem

feasible, objectiveCount

Constructor Details

MaxSatProblem

public MaxSatProblem(int variableCount,
 int[][] clauses)

Method Details

name

public String name()

Description copied from interface: Problem

Problem identifier used for reporting and persistence.

Specified by:

name in interface Problem<BitString>

objectiveSense

public ObjectiveSense objectiveSense()

Description copied from interface: Problem

Returns whether this problem is min or max.

Specified by:

objectiveSense in interface Problem<BitString>

evaluate

public Fitness evaluate(BitString genotype)

Description copied from interface: Problem

Evaluates one genotype and returns its fitness.

Specified by:

evaluate in interface Problem<BitString>

violations

public List<String> violations(BitString genotype)

Description copied from interface: Problem

Returns validation/constraint violations for diagnostics.

Specified by:

violations in interface Problem<BitString>

variableCount

public int variableCount()

clauseCount

public int clauseCount()