choco.cp.solver.constraints.global.tree.deduction
Class AbstractDeduction

java.lang.Object
  extended by choco.cp.solver.constraints.global.tree.deduction.AbstractDeduction
Direct Known Subclasses:
IncompGraphDeduction, OrderedGraphDeduction

public abstract class AbstractDeduction
extends Object


Field Summary
protected  boolean affiche
           
protected  boolean compatible
           
protected  StoredBitSetGraph condPrecs
           
protected  DominatorView doms
           
protected  StoredBitSetGraph incomp
           
protected  VarGraphView inputGraph
           
protected static Logger LOGGER
           
protected  int nbVertices
           
protected  Node[] nodes
           
protected  PrecsGraphView precs
           
protected  Solver solver
           
protected  StructuresAdvisor struct
           
protected  TreeParameters tree
           
protected  boolean update
           
 
Constructor Summary
protected AbstractDeduction(Object[] params)
           
 
Method Summary
 boolean isCompatible()
           
 boolean isUpdate()
           
 
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

nbVertices

protected int nbVertices

solver

protected Solver solver

tree

protected TreeParameters tree

struct

protected StructuresAdvisor struct

update

protected boolean update

compatible

protected boolean compatible

nodes

protected Node[] nodes

inputGraph

protected VarGraphView inputGraph

precs

protected PrecsGraphView precs

doms

protected DominatorView doms

incomp

protected StoredBitSetGraph incomp

condPrecs

protected StoredBitSetGraph condPrecs
Constructor Detail

AbstractDeduction

protected AbstractDeduction(Object[] params)
Parameters:
params - a set of parameters describing each part of the global tree constraint
Method Detail

isCompatible

public boolean isCompatible()

isUpdate

public boolean isUpdate()


Copyright © 2012. All Rights Reserved.