Package edu.uct.ibr.util

Class GraphUtil

java.lang.Object

edu.uct.ibr.util.GraphUtil

public class GraphUtil
extends java.lang.Object

Constructor Summary

Constructors

Constructor	Description
GraphUtil()

Method Summary

Modifier and Type	Method	Description
static org.jgrapht.graph.DefaultDirectedGraph	createGraph(java.util.ArrayList<Implication> kb)

Methods inherited from class java.lang.Object

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

Constructor Detail

GraphUtil

public GraphUtil()

Method Detail

createGraph

public static org.jgrapht.graph.DefaultDirectedGraph createGraph(java.util.ArrayList<Implication> kb)