choco.kernel.solver.constraints.global.automata.fast_multicostregular.algo
Class SoftPathFinder

java.lang.Object
  extended by choco.kernel.solver.constraints.global.automata.fast_multicostregular.algo.SoftPathFinder

public class SoftPathFinder
extends Object

Created by IntelliJ IDEA. User: julien Date: Apr 27, 2010 Time: 3:31:13 PM


Field Summary
 double[][] spfs
           
 double[][] spft
           
 
Constructor Summary
SoftPathFinder(SoftStoredMultiValuedDirectedMultiGraph graph)
           
 
Method Summary
 void computeLongestPath(gnu.trove.TIntStack removed, double lb, double[] u)
           
 boolean[] computeShortestAndLongestPath(gnu.trove.TIntStack removed, IntDomainVar[] y, AbstractIntSConstraint[] tables)
           
 void computeShortestPath(gnu.trove.TIntStack removed, double ub, double[] u)
           
 int[] getLongestPath()
           
 double getLongestPathValue()
           
 int[] getShortestPath()
           
 double getShortestPathValue()
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

spfs

public double[][] spfs

spft

public double[][] spft
Constructor Detail

SoftPathFinder

public SoftPathFinder(SoftStoredMultiValuedDirectedMultiGraph graph)
Method Detail

computeLongestPath

public void computeLongestPath(gnu.trove.TIntStack removed,
                               double lb,
                               double[] u)
                        throws ContradictionException
Throws:
ContradictionException

getLongestPathValue

public final double getLongestPathValue()

getLongestPath

public int[] getLongestPath()

computeShortestPath

public void computeShortestPath(gnu.trove.TIntStack removed,
                                double ub,
                                double[] u)
                         throws ContradictionException
Throws:
ContradictionException

getShortestPathValue

public final double getShortestPathValue()

getShortestPath

public int[] getShortestPath()

computeShortestAndLongestPath

public boolean[] computeShortestAndLongestPath(gnu.trove.TIntStack removed,
                                               IntDomainVar[] y,
                                               AbstractIntSConstraint[] tables)
                                        throws ContradictionException
Throws:
ContradictionException


Copyright © 2012. All Rights Reserved.