Uses of Class
org.ddolib.examples.max2sat.BinaryClause

Packages that use BinaryClause

Package	Description
org.ddolib.examples.max2sat	This package implements the acs, astar and ddo models for the Maximum 2-Satisfiability Problem (MAX2SAT) Problem.

Uses of BinaryClause in org.ddolib.examples.max2sat

Methods in org.ddolib.examples.max2sat with parameters of type BinaryClause

Modifier and Type	Method	Description
int	BinaryClause.compareTo(BinaryClause other)	Used to compare binary clauses.

Constructor parameters in org.ddolib.examples.max2sat with type arguments of type BinaryClause

Modifier	Constructor	Description
	Max2SatProblem(int numVar, HashMap<BinaryClause,Integer> weights)	Constructs a MAX2SAT problem instance without specifying an optimal value.
	Max2SatProblem(int numVar, HashMap<BinaryClause,Integer> weights, Optional<Double> optimal)	Constructs a MAX2SAT problem instance.