Constructor and Description |
---|
ProductLiteral(IntegerVariable v,
IntegerVariable v1,
IntegerVariable v2) |
Modifier and Type | Method and Description |
---|---|
boolean |
equals(Object obj) |
Set<IntegerVariable> |
getVariables() |
int |
hashCode() |
boolean |
isSatisfied()
Returns true when the literal is satisfied.
|
boolean |
isSimple()
Returns true when the literal is simple.
|
boolean |
isUnsatisfiable() |
boolean |
isValid() |
int |
propagate() |
String |
toString() |
public ProductLiteral(IntegerVariable v, IntegerVariable v1, IntegerVariable v2)
public Set<IntegerVariable> getVariables()
getVariables
in class 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 boolean isSimple()
Literal