Package eu.bandm.tools.dpll

Class SAT.Literal<P>

java.lang.Object

eu.bandm.tools.dpll.SAT.Literal<P>

Enclosing class:

SAT<P>

public static class SAT.Literal<P>
extends Object

Optionally negated propositional variable.

Constructor Summary

Constructors

Constructor	Description
Literal(boolean sign, P variable)

Method Summary

Modifier and Type	Method	Description
boolean	equals(Object o)
boolean	getSign()
P	getVariable()
int	hashCode()
SAT.Literal<P>	negate()	Return the negation of this literal.
String	toString()

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Constructor Details

Literal

public Literal(boolean sign,
 P variable)

Method Details

negate

public SAT.Literal<P> negate()

Return the negation of this literal.

This operation is a guaranteed involution: l.negate().negate() == l always succeeds.

Returns:

a literal with opposite sign and identical variable.

equals

public boolean equals(Object o)

Overrides:

equals in class Object

hashCode

public int hashCode()

Overrides:

hashCode in class Object

toString

public String toString()

Overrides:

toString in class Object

getSign

public boolean getSign()

getVariable

public P getVariable()