Modifier and Type | Class and Description |
---|---|
class |
RelationLiteral.Brick |
Modifier and Type | Field and Description |
---|---|
int |
arity |
boolean |
conflicts |
String |
name |
boolean |
negative |
IntegerVariable[] |
vs |
Constructor and Description |
---|
RelationLiteral(String name,
int arity,
boolean negative,
boolean conflicts,
int[][] tuples,
IntegerVariable[] vs) |
Modifier and Type | Method and Description |
---|---|
boolean |
equals(Object obj) |
List<RelationLiteral.Brick> |
getConflictBricks() |
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() |
getBound, getCode, getVariables
public String name
public int arity
public boolean negative
public boolean conflicts
public IntegerVariable[] vs
public RelationLiteral(String name, int arity, boolean negative, boolean conflicts, int[][] tuples, IntegerVariable[] vs)
public boolean isSimple()
Literal
public boolean isValid() throws SugarException
isValid
in class Literal
SugarException
public boolean isUnsatisfiable() throws SugarException
isUnsatisfiable
in class Literal
SugarException
public int propagate() throws SugarException
propagate
in class Literal
SugarException
public List<RelationLiteral.Brick> getConflictBricks() throws SugarException
SugarException
public boolean isSatisfied()
Literal
isSatisfied
in class Literal