ec.app.sat

Class SAT.Clause

java.lang.Object

ec.app.sat.SAT.Clause

All Implemented Interfaces:

Serializable

Enclosing class:

SAT

public static class SAT.Clause
extends Object
implements Serializable

Private helper class holding a single clause in the boolean formula. Each clause is a disjunction of boolean variables (or their negation).

See Also:

Serialized Form

Field Summary

Fields

Modifier and Type	Field and Description
private static long	serialVersionUID
(package private) int[]	variables

Constructor Summary

Constructors

Constructor and Description
SAT.Clause(String c)

Method Summary

Methods

Modifier and Type	Method and Description
int	eval(BitVectorIndividual ind) Evaluates the individual with the clause.

Methods inherited from class java.lang.Object

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

Field Detail

serialVersionUID

private static final long serialVersionUID

See Also:

Constant Field Values

variables

int[] variables

Constructor Detail

SAT.Clause

public SAT.Clause(String c)

Method Detail

eval

public int eval(BitVectorIndividual ind)

Evaluates the individual with the clause. Returns 1 is clase is satisfiabile, 0 otherwise.