public abstract class LinearLiteral extends Literal
Constructor and Description |
---|
LinearLiteral(LinearSum linearSum)
Constructs a new comparison literal of given linear expression.
|
Modifier and Type | Method and Description |
---|---|
boolean |
equals(Object obj) |
LinearSum |
getLinearExpression()
Returns the linear expression of the comparison literal.
|
Set<IntegerVariable> |
getVariables() |
int |
hashCode() |
String |
toString()
Returns the string representation of the comparison literal.
|
getBound, getCode, isSatisfied, isSimple, isUnsatisfiable, isValid, propagate
public LinearLiteral(LinearSum linearSum)
linearSum
- the linear expressionpublic Set<IntegerVariable> getVariables()
getVariables
in class Literal
public LinearSum getLinearExpression()