de.mirkosertic.bytecoder.graph

Class Partitioning<T extends Node<T,? extends EdgeType>>

java.lang.Object

de.mirkosertic.bytecoder.graph.Partitioning<T>

public class Partitioning<T extends Node<T,? extends EdgeType>>
extends Object

Constructor Summary

Constructors

Constructor and Description
Partitioning(Set<T> nodes, Predicate<Edge<EdgeType,T>> edgeFilter)

Method Summary

Modifier and Type	Method and Description
List<Set<T>>	partitions()

Methods inherited from class java.lang.Object

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

Constructor Detail

Partitioning

public Partitioning(Set<T> nodes,
                    Predicate<Edge<EdgeType,T>> edgeFilter)

Method Detail

partitions

public List<Set<T>> partitions()