net.sf.cpsolver.ifs.example.jobshop
Class Machine

java.lang.Object
  net.sf.cpsolver.ifs.model.Constraint
      net.sf.cpsolver.ifs.example.jobshop.Machine

public class Machine
extends Constraint

Machine constraint.

Each machine contians a given set of operations (variables). A machine constraint is satisfied, if all operations on it do not overlap in time.

Version:

IFS 1.1 (Iterative Forward Search)
Copyright (C) 2006 Tomáš Müller
muller@unitime.org
Lazenska 391, 76314 Zlin, Czech Republic

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 2.1 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, write to the Free Software Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301 USA

Field Summary

Fields inherited from class net.sf.cpsolver.ifs.model.Constraint

iAssignedVariables, iConstraintListeners, iId

Constructor Summary

Machine(int machineNumber)
Constructor

Method Summary

void	computeConflicts(Value value, Set conflicts) Adds conflicting operations into the set of conflicts.
int	getMachineNumber() Get machine number
String	getName() Name of the machine (e.g.
boolean	inConflict(Value value) True if there is an operation from the machine which violates with the given assignment.
boolean	isConsistent(Value value1, Value value2) True if the two assignments (placement of opeartions of the machine in time) violates each other.
String	toString() string representation -- for debuging and printing purposes

Methods inherited from class net.sf.cpsolver.ifs.model.Constraint

addConstraintListener, addVariable, assigned, assignedVariables, constraintListeners, countAssignedVariables, countVariables, equals, getDescription, getId, getModel, hashCode, isHard, removeConstraintListener, removeVariable, setModel, unassigned, variables

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Constructor Detail

Machine

public Machine(int machineNumber)

Constructor

Parameters:

machineNumber - machine number

Method Detail

getMachineNumber

public int getMachineNumber()

Get machine number

computeConflicts

public void computeConflicts(Value value,
                             Set conflicts)

Adds conflicting operations into the set of conflicts.

Specified by:

computeConflicts in class Constraint

Parameters:

value - value to be assigned to its varaible

conflicts - resultant set of conflicting values

inConflict

public boolean inConflict(Value value)

True if there is an operation from the machine which violates with the given assignment.

Overrides:

inConflict in class Constraint

isConsistent

public boolean isConsistent(Value value1,
                            Value value2)

True if the two assignments (placement of opeartions of the machine in time) violates each other.

Overrides:

isConsistent in class Constraint

toString

public String toString()

string representation -- for debuging and printing purposes

Overrides:

toString in class Object

getName

public String getName()

Name of the machine (e.g. M10 where 10 is the machine number)

Overrides:

getName in class Constraint