ec.app.sat

Class SAT

java.lang.Object

ec.Problem

ec.app.sat.SAT

All Implemented Interfaces:

Prototype, Setup, SimpleProblemForm, Serializable, Cloneable

public class SAT
extends Problem
implements SimpleProblemForm

SAT implements the boolean satisfiability problem.

Parameters

base.sat-filename String

(Filename containing boolean satisfiability formula in Dimacs CNF format)

Version:

1.0

Author:

Keith Sullivan

See Also:

Serialized Form

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
static class	SAT.Clause Private helper class holding a single clause in the boolean formula.

Field Summary

Fields

Modifier and Type	Field and Description
(package private) SAT.Clause[]	formula
static String	P_FILENAME
private static long	serialVersionUID

Fields inherited from class ec.Problem

P_PROBLEM

Constructor Summary

Constructors

Constructor and Description
SAT()

Method Summary

Methods

Modifier and Type	Method and Description
void	evaluate(EvolutionState state, Individual ind, int subpopulation, int threadnum) Evalutes the individual using the MAXSAT fitness function.
void	setup(EvolutionState state, Parameter base) Sets up the object by reading it from the parameters stored in state, built off of the parameter base base.

Methods inherited from class ec.Problem

canEvaluate, clone, closeContacts, defaultBase, describe, describe, finishEvaluating, initializeContacts, prepareToEvaluate, reinitializeContacts

Methods inherited from class java.lang.Object

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

Methods inherited from interface ec.simple.SimpleProblemForm

describe

Field Detail

serialVersionUID

private static final long serialVersionUID

See Also:

Constant Field Values

P_FILENAME

public static final String P_FILENAME

See Also:

Constant Field Values

formula

SAT.Clause[] formula

Constructor Detail

SAT

public SAT()

Method Detail

setup

public void setup(EvolutionState state,
         Parameter base)

Description copied from interface: Prototype

Sets up the object by reading it from the parameters stored in state, built off of the parameter base base. If an ancestor implements this method, be sure to call super.setup(state,base); before you do anything else.

For prototypes, setup(...) is typically called once for the prototype instance; cloned instances do not receive the setup(...) call. setup(...) may be called more than once; the only guarantee is that it will get called at least once on an instance or some "parent" object from which it was ultimately cloned.

Specified by:

setup in interface Prototype

Specified by:

setup in interface Setup

Overrides:

setup in class Problem

evaluate

public void evaluate(EvolutionState state,
            Individual ind,
            int subpopulation,
            int threadnum)

Evalutes the individual using the MAXSAT fitness function.

Specified by:

evaluate in interface SimpleProblemForm