public class Dependence extends BinaryConstraint<Activity,Location>
Modifier and Type | Field and Description |
---|---|
static int |
TYPE_AFTER |
static int |
TYPE_BEFORE |
static int |
TYPE_CLOSELY_AFTER |
static int |
TYPE_CLOSELY_BEFORE |
static int |
TYPE_CONCURRENCY |
static int |
TYPE_NO_DEPENDENCE |
iConstraintListeners, iId
Constructor and Description |
---|
Dependence(String id,
int type) |
Modifier and Type | Method and Description |
---|---|
void |
computeConflicts(Assignment<Activity,Location> assignment,
Location location,
Set<Location> conflicts)
The only method which has to be implemented by any constraint.
|
String |
getName()
Constraint's name -- for printing purposes
|
String |
getResourceId() |
int |
getType() |
boolean |
inConflict(Assignment<Activity,Location> assignment,
Location location)
Returns true if the given assignment is inconsistent with the existing
assignments respecting this constraint.
|
boolean |
isConsistent(int s1,
int l1,
int s2,
int l2) |
boolean |
isConsistent(Location l1,
Location l2)
Returns true if the given assignments are consistent respecting this
constraint.
|
addVariable, another, first, isFirst, second
addConstraintListener, assigned, assignedVariables, compareTo, computeConflictsNoForwardCheck, constraintListeners, countAssignedVariables, countVariables, equals, getDescription, getId, getModel, hashCode, isHard, removeConstraintListener, removeVariable, setModel, unassigned, variables
public static final int TYPE_NO_DEPENDENCE
public static final int TYPE_BEFORE
public static final int TYPE_CLOSELY_BEFORE
public static final int TYPE_AFTER
public static final int TYPE_CLOSELY_AFTER
public static final int TYPE_CONCURRENCY
public Dependence(String id, int type)
public int getType()
public String getResourceId()
public void computeConflicts(Assignment<Activity,Location> assignment, Location location, Set<Location> conflicts)
Constraint
computeConflicts
in class Constraint<Activity,Location>
assignment
- current assignmentlocation
- value to be assigned to its variableconflicts
- resultant set of conflicting valuespublic boolean isConsistent(int s1, int l1, int s2, int l2)
public boolean inConflict(Assignment<Activity,Location> assignment, Location location)
Constraint
MacPropagation
).inConflict
in class Constraint<Activity,Location>
assignment
- current assignmentlocation
- given valuepublic boolean isConsistent(Location l1, Location l2)
Constraint
MacPropagation
).isConsistent
in class Constraint<Activity,Location>
l1
- a valuel2
- a valuepublic String getName()
Constraint
getName
in class Constraint<Activity,Location>