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:32+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

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)

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

public final AutomatonBuilder.AutomatonBuilder__0 from(Object stateId)

create

public A create()