net.automatalib.util.automata.builders

Class AutomatonBuilder<S,I,T,SP,TP,A extends MutableAutomaton<S,? super I,T,? super SP,? super TP>>

java.lang.Object

net.automatalib.util.automata.builders.AutomatonBuilder<S,I,T,SP,TP,A>

@Generated(value="com.github.misberner.duzzt.processor.Duzzt",
           comments="Generated by Duzzt -- https://github.com/misberner/duzzt",
           date="2020-02-05T15:28+0000")
public class AutomatonBuilder<S,I,T,SP,TP,A extends MutableAutomaton<S,? super I,T,? super SP,? super TP>>
extends Object

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
class	AutomatonBuilder.AutomatonBuilder__0
class	AutomatonBuilder.AutomatonBuilder__1
class	AutomatonBuilder.AutomatonBuilder__2
class	AutomatonBuilder.AutomatonBuilder__3

Constructor Summary

Constructors

Constructor and Description
AutomatonBuilder(A automaton)

Method Summary

Modifier and Type	Method and Description
A	create()
AutomatonBuilder.AutomatonBuilder__0	from(Object stateId)
AutomatonBuilder.AutomatonBuilder__0	from(Object firstStateId, Object... otherStateIds)
AutomatonBuilder<S,I,T,SP,TP,A>	withInitial(Object stateId)
AutomatonBuilder<S,I,T,SP,TP,A>	withInitial(Object stateId, Object... stateIds)
AutomatonBuilder<S,I,T,SP,TP,A>	withStateProperty(SP stateProperty, Object stateId)
AutomatonBuilder<S,I,T,SP,TP,A>	withStateProperty(SP stateProperty, Object stateId, Object... stateIds)

Methods inherited from class java.lang.Object

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

Constructor Detail

AutomatonBuilder

public AutomatonBuilder(A automaton)

Method Detail

withStateProperty

public final AutomatonBuilder<S,I,T,SP,TP,A> withStateProperty(SP stateProperty,
                                                               Object stateId)

withStateProperty

@SafeVarargs
public final AutomatonBuilder<S,I,T,SP,TP,A> withStateProperty(SP stateProperty,
                                                                            Object stateId,
                                                                            Object... stateIds)

from

@SafeVarargs
public final AutomatonBuilder.AutomatonBuilder__0 from(Object firstStateId,
                                                                    Object... otherStateIds)

withInitial

public final AutomatonBuilder<S,I,T,SP,TP,A> withInitial(Object stateId)

withInitial

@SafeVarargs
public final AutomatonBuilder<S,I,T,SP,TP,A> withInitial(Object stateId,
                                                                      Object... stateIds)

from

public final AutomatonBuilder.AutomatonBuilder__0 from(Object stateId)

create

public A create()