net.sf.cpsolver.ifs.example.csp
Class StructuredCSPModel

java.lang.Object
  net.sf.cpsolver.ifs.model.Model
      net.sf.cpsolver.ifs.example.csp.StructuredCSPModel

public class StructuredCSPModel
extends Model

Random Binary CSP with kernels.

This class only implements the generation of Structured CSP problem.
In Structured CSP, variables are divided into several kernels (some variables may remain ouside kernels). Different constraints (in density and tightnes) are generated according to whether variables are from the same kernel or not.

Model parameters:

Parameter	Type	Comment
CSP.NrVariables	Integer	Number of variables
CSP.DomainSize	Integer	Number of values for each variable
CSP.NrKernels	Integer	Number of kernels
CSP.KernelSize	Integer	Number of variables in each kernel
CSP.Tightness	Double	Tightness of constraints outside kernels
CSP.KernelTightness	Double	Tightness of constraints inside a kernel
CSP.Density	Double	Density of constraints outside kernels
CSP.KernelDensity	Double	Density of constraints inside a kernel
General.MPP	String	Minimal perturbation problem --> generate initial assignment

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.Model

iAssignedVariables, iPerturbVariables, iUnassignedVariables, sDoubleFormat, sPercentageFormat, sTimeFormat

Constructor Summary

StructuredCSPModel(DataProperties properties, long seed)
Constructor

Method Summary

Hashtable

getInfo() Return information table

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

addConstraint, addGlobalConstraint, addModelListener, addVariable, afterAssigned, afterUnassigned, assignedVariables, beforeAssigned, beforeUnassigned, bestUnassignedVariables, clearBest, conflictConstraints, conflictValues, constraints, countConstraints, countGlobalConstraints, countVariables, getBestPerturbations, getBestUnassignedVariables, getExtendedInfo, getInfo, getInfoProviders, getModelListeners, getPerc, getPercRev, getTotalValue, getTotalValue, globalConstraints, inConflict, init, invalidateVariablesWithInitialValueCache, modelListenerOfType, nrAssignedVariables, nrUnassignedVariables, perturbVariables, perturbVariables, removeConstraint, removeGlobalConstraint, removeModelListener, removeVariable, restoreBest, saveBest, toString, unassignedHardConstraints, unassignedVariables, variables, variablesWithInitialValue

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Detail

StructuredCSPModel

public StructuredCSPModel(DataProperties properties,
                          long seed)

Constructor

Method Detail

getInfo

public Hashtable getInfo()

Return information table

Overrides:

getInfo in class Model