choco.cp.solver.constraints.global.tree.deduction
Classes 
AbstractDeduction
DeductionsAdvisor
IncompGraphDeduction
OrderedGraphDeduction