Package net.automatalib.util.automaton.builder

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

java.lang.Object

net.automatalib.util.automaton.builder.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="2023-11-06T11: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	Description
class	AutomatonBuilder.AutomatonBuilder__0
class	AutomatonBuilder.AutomatonBuilder__1
class	AutomatonBuilder.AutomatonBuilder__2
class	AutomatonBuilder.AutomatonBuilder__3

Constructor Summary

Constructors

Constructor	Description
AutomatonBuilder(A automaton)

Method Summary

Modifier and Type	Method	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

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)

create

public A create()

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)

from

public final AutomatonBuilder.AutomatonBuilder__0 from(Object stateId)