public abstract class Literal
extends java.lang.Object
CSP
Constructor and Description |
---|
Literal() |
Modifier and Type | Method and Description |
---|---|
int[] |
getBound(IntegerVariable v) |
int |
getCode() |
java.util.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 Literal |
neg() |
abstract int |
propagate() |
public java.util.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 abstract Literal neg() throws SugarException
SugarException
public int getCode() throws SugarException
SugarException
public abstract boolean isSatisfied()