Package edu.uct.ibr.util

Class ImplicationUtil

java.lang.Object

edu.uct.ibr.util.ImplicationUtil

public class ImplicationUtil
extends java.lang.Object

Constructor Summary

Constructors

Constructor	Description
ImplicationUtil()

Method Summary

Modifier and Type	Method	Description
static java.util.Set<java.lang.String>	getConnectedClassicalImplications(java.util.ArrayList<Implication> kb)
static java.util.Set<java.lang.String>	getStronglyConnectedSet(java.util.List<java.util.Set<java.lang.String>> connectedSets)
static java.util.List<java.util.Set<java.lang.String>>	getStronglyConnectedSets(org.jgrapht.graph.DefaultDirectedGraph graph)
static boolean	hasClassicalCycle(java.util.ArrayList<Implication> kb)
static boolean	hasClassicalCycle(java.util.ArrayList<Implication> kb, Implication impl)

Methods inherited from class java.lang.Object

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

Constructor Detail

ImplicationUtil

public ImplicationUtil()

Method Detail

hasClassicalCycle

public static boolean hasClassicalCycle(java.util.ArrayList<Implication> kb,
                                        Implication impl)

hasClassicalCycle

public static boolean hasClassicalCycle(java.util.ArrayList<Implication> kb)

getConnectedClassicalImplications

public static java.util.Set<java.lang.String> getConnectedClassicalImplications(java.util.ArrayList<Implication> kb)

getStronglyConnectedSet

public static java.util.Set<java.lang.String> getStronglyConnectedSet(java.util.List<java.util.Set<java.lang.String>> connectedSets)

getStronglyConnectedSets

public static java.util.List<java.util.Set<java.lang.String>> getStronglyConnectedSets(org.jgrapht.graph.DefaultDirectedGraph graph)