Class StructuredCSPModel

  extended by net.sf.cpsolver.ifs.model.Model<CSPVariable,CSPValue>
      extended by 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

IFS 1.2 (Iterative Forward Search)
Copyright (C) 2006 - 2010 Tomáš Müller

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

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)
Method Summary
 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


public StructuredCSPModel(DataProperties properties,
                          long seed)

Method Detail


public Map<String,String> getInfo()
Return information table

getInfo in class Model<CSPVariable,CSPValue>