Literal (Sugar version 2.3.2 Core API Specification)

Constructors
Constructor and Description
`Literal()`

All Methods Instance Methods Abstract Methods Concrete Methods
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()`

Methods inherited from class java.lang.Object
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

public java.util.Set<IntegerVariable> getVariables()

public int[] getBound(IntegerVariable v)
               throws SugarException

public abstract boolean isValid()
                         throws SugarException

public abstract boolean isUnsatisfiable()
                                 throws SugarException

public abstract int propagate()
                       throws SugarException

public abstract Literal neg()
                     throws SugarException

public int getCode()
            throws SugarException

Class Literal