misc
Class InvariantHelper

java.lang.Object
  extended by misc.InvariantHelper

public class InvariantHelper
extends java.lang.Object


Constructor Summary
InvariantHelper()
           
 
Method Summary
static java.util.List<java.util.HashMap<NodePN,java.lang.Double>> getAllInvariantNodes(java.util.List nodes, pipe.analysis.Matrix invMatrix)
           
 
Methods inherited from class java.lang.Object
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

InvariantHelper

public InvariantHelper()
Method Detail

getAllInvariantNodes

public static java.util.List<java.util.HashMap<NodePN,java.lang.Double>> getAllInvariantNodes(java.util.List nodes,
                                                                                              pipe.analysis.Matrix invMatrix)