choco.cp.solver.constraints.global.tree.structure.internalStructure.degreeStructure
Class DegreeStructure

java.lang.Object
  extended by choco.cp.solver.constraints.global.tree.structure.internalStructure.degreeStructure.DegreeStructure

public class DegreeStructure
extends Object


Field Summary
protected  boolean affiche
          boolean for debug and show a trace of the execution
protected  boolean degree
           
protected  BitSet[] gccVars
          network flow associated with the gcc
protected  VarGraphView graph
          data structure related to the graph representation of the input graph
protected  int[] indexVars
          index who help to find a graph node from a network node
protected static Logger LOGGER
           
protected  int[] low
          minimum current flow
protected  int nbLeftVertices
          the number of nodes not yet fixed: the left nodes in the network flow
protected  int nbVertices
          total number of nodes involved in the graph
protected  int[] OriginalMaxFlow
           
protected  int[] OriginalMinFlow
           
protected  Solver solver
          Choco solver embedding the tree constraint
protected  TreeParameters tree
          an integer variable that depicts the number of tree allowed to partition the graph
protected  int[] up
          maximum current flow
 
Constructor Summary
DegreeStructure(Solver solver, TreeParameters tree, VarGraphView graph)
          constructor
 
Method Summary
 BitSet[] getGccVars()
           
 int[] getIndexVars()
           
 int[] getLow()
           
 int getNbLeftVertices()
           
 int[] getUp()
           
 boolean isCompatibleDegree()
           
 boolean needUpdate()
           
 void updateDegree()
          update the capacities of the arcs involved in the network associated with the gcc
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

LOGGER

protected static final Logger LOGGER

affiche

protected boolean affiche
boolean for debug and show a trace of the execution


solver

protected Solver solver
Choco solver embedding the tree constraint


tree

protected TreeParameters tree
an integer variable that depicts the number of tree allowed to partition the graph


graph

protected VarGraphView graph
data structure related to the graph representation of the input graph


nbVertices

protected int nbVertices
total number of nodes involved in the graph


nbLeftVertices

protected int nbLeftVertices
the number of nodes not yet fixed: the left nodes in the network flow


gccVars

protected BitSet[] gccVars
network flow associated with the gcc


indexVars

protected int[] indexVars
index who help to find a graph node from a network node


OriginalMinFlow

protected int[] OriginalMinFlow

OriginalMaxFlow

protected int[] OriginalMaxFlow

low

protected int[] low
minimum current flow


up

protected int[] up
maximum current flow


degree

protected boolean degree
Constructor Detail

DegreeStructure

public DegreeStructure(Solver solver,
                       TreeParameters tree,
                       VarGraphView graph)
constructor

Parameters:
solver - the Choco solver who uses the current tree constraint
tree - the input data structure available in the structure.inputStructure package
Method Detail

needUpdate

public boolean needUpdate()
Returns:
true iff there is any change in the structures that leads to an udpate of the degree constraints

updateDegree

public void updateDegree()
update the capacities of the arcs involved in the network associated with the gcc


isCompatibleDegree

public boolean isCompatibleDegree()

getLow

public int[] getLow()

getUp

public int[] getUp()

getGccVars

public BitSet[] getGccVars()

getNbLeftVertices

public int getNbLeftVertices()

getIndexVars

public int[] getIndexVars()


Copyright © 2012. All Rights Reserved.