Package net.automatalib.util.automaton.builder

Class MealyBuilder<S,I,T,O,A extends MutableMealyMachine<S,? super I,T,? super O>>

java.lang.Object

net.automatalib.util.automaton.builder.MealyBuilder<S,I,T,O,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 MealyBuilder<S,I,T,O,A extends MutableMealyMachine<S,? super I,T,? super O>>
extends Object

Nested Class Summary

Nested Classes

Modifier and Type	Class	Description
class	MealyBuilder.MealyBuilder__0
class	MealyBuilder.MealyBuilder__1
class	MealyBuilder.MealyBuilder__2
class	MealyBuilder.MealyBuilder__3
class	MealyBuilder.MealyBuilder__4
class	MealyBuilder.MealyBuilder__5
class	MealyBuilder.MealyBuilder__6
class	MealyBuilder.MealyBuilder__7
class	MealyBuilder.MealyBuilder__8

Constructor Summary

Constructors

Constructor	Description
MealyBuilder(A automaton)

Method Summary

Modifier and Type	Method	Description
MealyBuilder.MealyBuilder__0	from(Object stateId)
MealyBuilder.MealyBuilder__0	from(Object firstStateId, Object... otherStateIds)
MealyBuilder.MealyBuilder__1	withInitial(Object stateId)

Methods inherited from class java.lang.Object

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

Constructor Detail

MealyBuilder

public MealyBuilder(A automaton)

Method Detail

from

@SafeVarargs
public final MealyBuilder.MealyBuilder__0 from(Object firstStateId,
                                               Object... otherStateIds)

from

public final MealyBuilder.MealyBuilder__0 from(Object stateId)

withInitial

public final MealyBuilder.MealyBuilder__1 withInitial(Object stateId)