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

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

public class FastPathFinder
extends Object

Created by IntelliJ IDEA. User: julien Mail: julien.menana{at}emn.fr Date: Nov 19, 2009 Time: 5:50:53 PM


Field Summary
 double[][] spfs
           
 double[][] spft
           
 
Constructor Summary
FastPathFinder(StoredDirectedMultiGraph graph)
           
 
Method Summary
 void computeLongestPath(gnu.trove.TIntStack removed, double lb, double[] u, boolean lagrange, boolean max, int resource)
           
 void computeShortestAndLongestPath(IStateIntVector removed, int lb, int ub, double[] u, boolean lagrange, boolean max, int resource)
           
 boolean[] computeShortestAndLongestPath(gnu.trove.TIntStack removed, IntDomainVar[] z)
           
 void computeShortestPath(gnu.trove.TIntStack removed, double ub, double[] u, boolean lagrange, boolean max, int resource)
           
 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

FastPathFinder

public FastPathFinder(StoredDirectedMultiGraph graph)
Method Detail

computeLongestPath

public void computeLongestPath(gnu.trove.TIntStack removed,
                               double lb,
                               double[] u,
                               boolean lagrange,
                               boolean max,
                               int resource)
                        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,
                                boolean lagrange,
                                boolean max,
                                int resource)
                         throws ContradictionException
Throws:
ContradictionException

getShortestPathValue

public final double getShortestPathValue()

getShortestPath

public int[] getShortestPath()

computeShortestAndLongestPath

public void computeShortestAndLongestPath(IStateIntVector removed,
                                          int lb,
                                          int ub,
                                          double[] u,
                                          boolean lagrange,
                                          boolean max,
                                          int resource)
                                   throws ContradictionException
Throws:
ContradictionException

computeShortestAndLongestPath

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


Copyright © 2012. All Rights Reserved.