Constructor and Description |
---|
HoldLiteral(Expression expr,
boolean negative) |
Modifier and Type | Method and Description |
---|---|
boolean |
equals(java.lang.Object obj) |
Expression |
getExpression() |
java.util.Set<IntegerVariable> |
getVariables() |
int |
hashCode() |
boolean |
isNegative() |
boolean |
isSatisfied()
Returns true when the literal is satisfied.
|
boolean |
isSimple()
Returns true when the literal is simple.
|
boolean |
isUnsatisfiable() |
boolean |
isValid() |
Literal |
neg() |
int |
propagate() |
java.lang.String |
toString() |
public HoldLiteral(Expression expr, boolean negative)
public Expression getExpression()
public boolean isNegative()
public java.util.Set<IntegerVariable> getVariables()
getVariables
in class Literal
public boolean isSimple()
Literal
public boolean isValid() throws SugarException
isValid
in class Literal
SugarException
public boolean isUnsatisfiable() throws SugarException
isUnsatisfiable
in class Literal
SugarException
public boolean isSatisfied()
Literal
isSatisfied
in class Literal
public Literal neg() throws SugarException
neg
in class Literal
SugarException
public int hashCode()
hashCode
in class java.lang.Object
public boolean equals(java.lang.Object obj)
equals
in class java.lang.Object
public java.lang.String toString()
toString
in class java.lang.Object