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

java.lang.Object
  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

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
StructuredCSPModel(DataProperties properties, long seed)
          Constructor
 
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

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>