Package owl.automaton.algorithm.simulations

Class Transition<S>

java.lang.Object

owl.automaton.algorithm.simulations.Transition<S>

public abstract class Transition<S>
extends Object

Constructor Summary

Constructors

Constructor	Description
Transition()

Method Summary

Modifier and Type	Method	Description
static <S> S	at(List<Transition<S>> moves, int pos)
static <S> S	end(List<Transition<S>> moves)
boolean	isValid(S base, Automaton<S,BuchiAcceptance> aut)
String	toString()

Methods inherited from class java.lang.Object

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

Constructor Detail

Transition

public Transition()

Method Detail

end

public static <S> S end(List<Transition<S>> moves)

at

public static <S> S at(List<Transition<S>> moves,
                       int pos)

toString

public String toString()

Overrides:

toString in class Object

isValid

public boolean isValid(S base,
                       Automaton<S,BuchiAcceptance> aut)