public abstract class Literal extends Object
CSP
Constructor and Description |
---|
Literal() |
Modifier and Type | Method and Description |
---|---|
int[] |
getBound(IntegerVariable v) |
int |
getCode() |
Set<IntegerVariable> |
getVariables() |
abstract boolean |
isSatisfied()
Returns true when the literal is satisfied.
|
abstract boolean |
isSimple()
Returns true when the literal is simple.
|
abstract boolean |
isUnsatisfiable() |
abstract boolean |
isValid() |
abstract int |
propagate() |
public Set<IntegerVariable> getVariables()
public int[] getBound(IntegerVariable v) throws SugarException
SugarException
public abstract boolean isSimple()
public abstract boolean isValid() throws SugarException
SugarException
public abstract boolean isUnsatisfiable() throws SugarException
SugarException
public abstract int propagate() throws SugarException
SugarException
public int getCode() throws SugarException
SugarException
public abstract boolean isSatisfied()