de.rwth.i2.attestor.graph.util

Class ReachabilityChecker

java.lang.Object

de.rwth.i2.attestor.graph.util.ReachabilityChecker

public class ReachabilityChecker
extends Object

Constructor Summary

Constructors

Constructor and Description
ReachabilityChecker(HeapConfiguration heapConfiguration, gnu.trove.TIntCollection sourceNodes)

Method Summary

Modifier and Type	Method and Description
gnu.trove.set.TIntSet	getReachableNodes()
gnu.trove.set.TIntSet	getUnreachableNodes()

Methods inherited from class java.lang.Object

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

Constructor Detail

ReachabilityChecker

public ReachabilityChecker(HeapConfiguration heapConfiguration,
                           gnu.trove.TIntCollection sourceNodes)

Method Detail

getReachableNodes

public gnu.trove.set.TIntSet getReachableNodes()

getUnreachableNodes

public gnu.trove.set.TIntSet getUnreachableNodes()