net.sf.cpsolver.ifs.example.csp

Class StructuredCSPModel

java.lang.Object

net.sf.cpsolver.ifs.model.Model<CSPVariable,CSPValue>

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

public class StructuredCSPModel
extends Model<CSPVariable,CSPValue>

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.2 (Iterative Forward Search)
Copyright (C) 2006 - 2010 Tomáš Müller
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/.

Field Summary

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

iAssignedVariables, iPerturbVariables, iUnassignedVariables, sDoubleFormat, sPercentageFormat, sTimeFormat

Constructor Summary

Constructors

Constructor and Description
StructuredCSPModel(DataProperties properties, long seed) Constructor

Method Summary

Modifier and Type	Method and Description
Map<String,String>	getInfo() Return information table

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

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

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 Map<String,String> getInfo()

Return information table

Overrides:

getInfo in class Model<CSPVariable,CSPValue>