Package owl.translations.canonical

Class GenericConstructions

java.lang.Object

owl.translations.canonical.GenericConstructions

public final class GenericConstructions
extends Object

Method Summary

Modifier and Type	Method	Description
static <S,A extends EmersonLeiAcceptance> Automaton<Either<Integer,S>,A>	delay(Automaton<S,A> automaton, int steps)

Methods inherited from class java.lang.Object

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

Method Detail

delay

public static <S,A extends EmersonLeiAcceptance> Automaton<Either<Integer,S>,A> delay(Automaton<S,A> automaton,
                                                                                                        int steps)