net.sf.cpsolver.ifs.example.tt
Class Dependence
java.lang.Object
net.sf.cpsolver.ifs.model.Constraint<V,T>
net.sf.cpsolver.ifs.model.BinaryConstraint<Activity,Location>
net.sf.cpsolver.ifs.example.tt.Dependence
- All Implemented Interfaces:
- Comparable<Constraint<Activity,Location>>
public class Dependence
- extends BinaryConstraint<Activity,Location>
Binary dependence between two activities.
- Version:
- IFS 1.2 (Iterative Forward Search)
Copyright (C) 2006 - 2010 Tomas Muller
muller@unitime.org
http://muller.unitime.org
This library is free software; you can redistribute it and/or modify
it under the terms of the GNU Lesser General Public License as
published by the Free Software Foundation; either version 3 of the
License, or (at your option) any later version.
This library is distributed in the hope that it will be useful, but
WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
Lesser General Public License for more details.
You should have received a copy of the GNU Lesser General Public
License along with this library; if not see
http://www.gnu.org/licenses/.
Methods inherited from class net.sf.cpsolver.ifs.model.Constraint |
addConstraintListener, assigned, assignedVariables, compareTo, constraintListeners, countAssignedVariables, countVariables, equals, getDescription, getId, getModel, hashCode, isHard, removeConstraintListener, removeVariable, setModel, unassigned, variables |
TYPE_NO_DEPENDENCE
public static final int TYPE_NO_DEPENDENCE
- See Also:
- Constant Field Values
TYPE_BEFORE
public static final int TYPE_BEFORE
- See Also:
- Constant Field Values
TYPE_CLOSELY_BEFORE
public static final int TYPE_CLOSELY_BEFORE
- See Also:
- Constant Field Values
TYPE_AFTER
public static final int TYPE_AFTER
- See Also:
- Constant Field Values
TYPE_CLOSELY_AFTER
public static final int TYPE_CLOSELY_AFTER
- See Also:
- Constant Field Values
TYPE_CONCURRENCY
public static final int TYPE_CONCURRENCY
- See Also:
- Constant Field Values
Dependence
public Dependence(String id,
int type)
getType
public int getType()
getResourceId
public String getResourceId()
computeConflicts
public void computeConflicts(Location location,
Set<Location> conflicts)
- Description copied from class:
Constraint
- The only method which has to be implemented by any constraint. It returns
the values which needs to be unassigned in order to make this constraint
consistent with the given value if it is assigned to its variable. The
computed list of conflicting values is added to the given set of
conflicts.
- Specified by:
computeConflicts
in class Constraint<Activity,Location>
- Parameters:
location
- value to be assigned to its varaibleconflicts
- resultant set of conflicting values
isConsistent
public boolean isConsistent(int s1,
int l1,
int s2,
int l2)
inConflict
public boolean inConflict(Location location)
- Description copied from class:
Constraint
- Returns true if the given assignment is inconsistent with the existing
assignments respecting this constraint. This method is used by MAC (see
MacPropagation
).
- Overrides:
inConflict
in class Constraint<Activity,Location>
isConsistent
public boolean isConsistent(Location l1,
Location l2)
- Description copied from class:
Constraint
- Returns true if the given assignments are consistent respecting this
constraint. This method is used by MAC (see
MacPropagation
).
- Overrides:
isConsistent
in class Constraint<Activity,Location>
getName
public String getName()
- Description copied from class:
Constraint
- Constraint's name -- for printing purposes
- Overrides:
getName
in class Constraint<Activity,Location>
Copyright © 2014 UniTime LLC. All Rights Reserved.