Package org.ddolib.examples.max2sat

Class NaiveMax2SatSolver

java.lang.Object

org.ddolib.examples.max2sat.NaiveMax2SatSolver

public class NaiveMax2SatSolver
extends Object

A naive Max2Sat solver which enumerates all the solution to find the best one. Used for tests.

Constructor Summary

Constructors

Constructor	Description
NaiveMax2SatSolver(Max2SatProblem problem)

Method Summary

Modifier and Type	Method	Description
int	best()
int[]	bestSolution()
void	maximize()

Methods inherited from class java.lang.Object

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

Constructor Details

NaiveMax2SatSolver

public NaiveMax2SatSolver(Max2SatProblem problem)

Method Details

best

public int best()

bestSolution

public int[] bestSolution()

maximize

public void maximize()