Class MaxSatProblemPlugin

java.lang.Object

com.knezevic.edaf.v3.problems.plugins.discrete.MaxSatProblemPlugin

All Implemented Interfaces:

Plugin, ProblemPlugin<BitString>

public final class MaxSatProblemPlugin
extends Object
implements ProblemPlugin<BitString>

Plugin factory for MAX-SAT benchmark instances.

Constructor Summary

Constructors

Constructor	Description
MaxSatProblemPlugin()

Method Summary

Modifier and Type	Method	Description
MaxSatProblem	create(Map<String,Object> params)	Constructs a problem instance from config parameters.
String	description()	Human-readable plugin description shown in `edaf list`.
String	type()	Stable type id used in config (e.g. umda, bitstring, gaussian-diag).

Methods inherited from class java.lang.Object

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

Constructor Details

MaxSatProblemPlugin

public MaxSatProblemPlugin()

Method Details

type

public String type()

Description copied from interface: Plugin

Stable type id used in config (e.g. umda, bitstring, gaussian-diag).

Specified by:

type in interface Plugin

description

public String description()

Description copied from interface: Plugin

Human-readable plugin description shown in `edaf list`.

Specified by:

description in interface Plugin

create

public MaxSatProblem create(Map<String,Object> params)

Description copied from interface: ProblemPlugin

Constructs a problem instance from config parameters.

Specified by:

create in interface ProblemPlugin<BitString>