jp.ac.kobe_u.cs.sugar.csp
Class PowerLiteral
java.lang.Object
jp.ac.kobe_u.cs.sugar.csp.Literal
jp.ac.kobe_u.cs.sugar.csp.PowerLiteral
public class PowerLiteral
- extends Literal
NOT IMPLEMENTED YET.
This class implements a literal for arithmetic power.
- See Also:
CSP
PowerLiteral
public PowerLiteral()
getVariables
public Set<IntegerVariable> getVariables()
- Overrides:
getVariables
in class Literal
isSimple
public boolean isSimple()
- Description copied from class:
Literal
- Returns true when the literal is simple.
A literal is simple when it is a boolean literal or
a comparison literal with at most one integer variable.
- Specified by:
isSimple
in class Literal
- Returns:
- true when the literal is simple
isValid
public boolean isValid()
throws SugarException
- Specified by:
isValid
in class Literal
- Throws:
SugarException
isUnsatisfiable
public boolean isUnsatisfiable()
throws SugarException
- Specified by:
isUnsatisfiable
in class Literal
- Throws:
SugarException
propagate
public int propagate()
- Specified by:
propagate
in class Literal
isSatisfied
public boolean isSatisfied()
- Description copied from class:
Literal
- Returns true when the literal is satisfied.
- Specified by:
isSatisfied
in class Literal
- Returns:
- true when the literal is satisfied
encode
public void encode(Encoder encoder,
int[] clause)
throws SugarException,
IOException
- Specified by:
encode
in class Literal
- Throws:
SugarException
IOException
toString
public String toString()
- Overrides:
toString
in class Object
Sugar: A SAT-based Constraint Solver