com.clarkparsia.reachability

Class ReachabilityGraph<E>

java.lang.Object

com.clarkparsia.reachability.ReachabilityGraph<E>

public class ReachabilityGraph<E>
extends Object

Graph with and/or nodes designed to compute reachability

Author:

Evren Sirin

Field Summary

Fields

Modifier and Type	Field and Description
static Logger	log

Constructor Summary

Constructors

Constructor and Description
ReachabilityGraph()

Method Summary

Modifier and Type	Method and Description
Node	createAndNode(Set<Node> inputs)
EntityNode	createEntityNode(E entity)
Node	createOrNode(Set<Node> inputs)
Set<E>	getEntities()
Collection<EntityNode<E>>	getEntityNodes()
EntityNode<E>	getNode(E entity)
Node	getNullNode()
Node	getStartNode()
void	simplify()

Methods inherited from class java.lang.Object

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

Field Detail

log

public static final Logger log

Constructor Detail

ReachabilityGraph

public ReachabilityGraph()

Method Detail

createAndNode

public Node createAndNode(Set<Node> inputs)

createEntityNode

public EntityNode createEntityNode(E entity)

createOrNode

public Node createOrNode(Set<Node> inputs)

getEntities

public Set<E> getEntities()

getEntityNodes

public Collection<EntityNode<E>> getEntityNodes()

getNode

public EntityNode<E> getNode(E entity)

getNullNode

public Node getNullNode()

getStartNode

public Node getStartNode()

simplify

public void simplify()