Modifier and Type | Method and Description |
---|---|
boolean |
equals(Object o) |
boolean |
getSign() |
P |
getVariable() |
int |
hashCode() |
SAT.Literal<P> |
negate()
Return the negation of this literal.
|
String |
toString() |
public Literal(boolean sign, P var)
public SAT.Literal<P> negate()
This operation is a guaranteed involution: l.negate().negate() == l
always succeeds.
public boolean getSign()
public P getVariable()
see also the complete user documentation .