public class LinearLeLiteral extends LinearLiteral
Constructor and Description |
---|
LinearLeLiteral(LinearSum linearSum)
Constructs a new comparison literal of given linear expression.
|
Modifier and Type | Method and Description |
---|---|
int[] |
getBound(IntegerVariable v) |
LinearSum |
getLinearExpression()
Returns the linear expression of the comparison literal.
|
boolean |
isSatisfied()
Returns true when the literal is satisfied.
|
boolean |
isSimple()
Returns true when the linear expression is simple.
|
boolean |
isUnsatisfiable() |
boolean |
isValid() |
Literal |
neg() |
int |
propagate() |
ceilDiv, equals, floorDiv, getCmp, getVariables, hashCode, toString
public LinearLeLiteral(LinearSum linearSum)
linearSum
- the linear expressionpublic int[] getBound(IntegerVariable v) throws SugarException
getBound
in class Literal
SugarException
public boolean isSimple()
isSimple
in class Literal
LinearSum.isSimple()
public LinearSum getLinearExpression()
getLinearExpression
in class LinearLiteral
public boolean isValid() throws SugarException
isValid
in class Literal
SugarException
public boolean isUnsatisfiable() throws SugarException
isUnsatisfiable
in class Literal
SugarException
public int propagate() throws SugarException
propagate
in class Literal
SugarException
public boolean isSatisfied()
Literal
isSatisfied
in class Literal
public Literal neg() throws SugarException
neg
in class Literal
SugarException