cz.cuni.mff.ksi.jinfer.treeruledisplayer.logic
Class GraphBuilder

java.lang.Object
  cz.cuni.mff.ksi.jinfer.treeruledisplayer.logic.GraphBuilder

public final class GraphBuilder
extends Object

Class responsible for rendering a set of rules as a rule trees.

Method Summary

static JPanel

buildGraphPanel(List<Element> rules) Get panel with rendered rule trees.

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Method Detail

buildGraphPanel

public static JPanel buildGraphPanel(List<Element> rules)

Get panel with rendered rule trees.

Parameters:

rules - Rules to be created rule trees from.

Returns:

Panel with rendered rule trees.