Package net.automatalib.common.util.fixpoint

Class Worksets

java.lang.Object

net.automatalib.common.util.fixpoint.Worksets

public final class Worksets
extends Object

Method Summary

Modifier and Type	Method	Description
static <T,E,R> Pair<Map<T,E>,R>	map(WorksetMappingAlgorithm<T,E,R> algorithm)
static <T,R> R	process(WorksetAlgorithm<T,R> algorithm)

Methods inherited from class java.lang.Object

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

Method Detail

process

public static <T,R> R process(WorksetAlgorithm<T,R> algorithm)

map

public static <T,E,R> Pair<Map<T,E>,R> map(WorksetMappingAlgorithm<T,E,R> algorithm)