Package owl.automaton

Class MutableAutomatonUtil

java.lang.Object

owl.automaton.MutableAutomatonUtil

public final class MutableAutomatonUtil
extends Object

Method Summary

Modifier and Type	Method	Description
static <S,A extends EmersonLeiAcceptance> MutableAutomaton<S,A>	asMutable(Automaton<S,A> automaton)
static <S> void	copyInto(Automaton<S,?> source, MutableAutomaton<? super S,?> target)	Copies all the states of source into target.

Methods inherited from class java.lang.Object

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

Method Detail

asMutable

public static <S,A extends EmersonLeiAcceptance> MutableAutomaton<S,A> asMutable(Automaton<S,A> automaton)

copyInto

public static <S> void copyInto(Automaton<S,?> source,
                                MutableAutomaton<? super S,?> target)

Copies all the states of source into target.