vanted.gui
Class InvariantTableComponent

java.lang.Object
  extended by vanted.gui.InvariantTableComponent

public class InvariantTableComponent
extends java.lang.Object


Constructor Summary
InvariantTableComponent()
           
 
Method Summary
 javax.swing.JComponent createTableComponent(java.util.List<java.util.HashMap<NodePN,java.lang.Double>> invList, java.lang.String borderText)
          Creates the table component for the p- and t-invariant.
 
Methods inherited from class java.lang.Object
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

InvariantTableComponent

public InvariantTableComponent()
Method Detail

createTableComponent

public javax.swing.JComponent createTableComponent(java.util.List<java.util.HashMap<NodePN,java.lang.Double>> invList,
                                                   java.lang.String borderText)
Creates the table component for the p- and t-invariant.

Parameters:
invList - the invariant list
Returns:
the component