net.automatalib.util.automata.builders.MealyBuilder Maven / Gradle / Ivy
Go to download
Show more of this group Show more artifacts with this name
Show all versions of automata-util Show documentation
Show all versions of automata-util Show documentation
This artifact provides various common utility operations for analyzing and manipulating
automata and graphs, such as traversal, minimization and copying.
/*
* Automatically generated by Duzzt -- https://github.com/misberner/duzzt/
* DO NOT EDIT! Your changes will be overridden.
* Edit the annotation specification of class
* net.automatalib.util.automata.builders.MealyBuilderImpl
* instead.
*/
package net.automatalib.util.automata.builders;
@javax.annotation.Generated(
value={"com.github.misberner.duzzt.processor.Duzzt"},
comments="Generated by Duzzt -- https://github.com/misberner/duzzt",
date="2019-02-18T11:26+0000")
public class MealyBuilder> {
public final class MealyBuilder__3 {
public final
MealyBuilder__6 on(I input) {
MealyBuilder.this.__duzzt_impl.on(input);
return MealyBuilder.this.__duzzt_getState6();
}
@SafeVarargs
public final
MealyBuilder__6 on(I firstInput,
I... otherInputs) {
MealyBuilder.this.__duzzt_impl.on(firstInput,otherInputs);
return MealyBuilder.this.__duzzt_getState6();
}
}
private MealyBuilder__3 __duzzt_state3 = null;
private MealyBuilder__3 __duzzt_getState3() {
if(this.__duzzt_state3 == null) {
this.__duzzt_state3 = new MealyBuilder__3();
}
return this.__duzzt_state3;
}
public final class MealyBuilder__8 {
public final
MealyBuilder__7 to(java.lang.Object stateId) {
MealyBuilder.this.__duzzt_impl.to(stateId);
return MealyBuilder.this.__duzzt_getState7();
}
public final
MealyBuilder__7 loop() {
MealyBuilder.this.__duzzt_impl.loop();
return MealyBuilder.this.__duzzt_getState7();
}
}
private MealyBuilder__8 __duzzt_state8 = null;
private MealyBuilder__8 __duzzt_getState8() {
if(this.__duzzt_state8 == null) {
this.__duzzt_state8 = new MealyBuilder__8();
}
return this.__duzzt_state8;
}
public final class MealyBuilder__0 {
public final
MealyBuilder__2 on(I input) {
MealyBuilder.this.__duzzt_impl.on(input);
return MealyBuilder.this.__duzzt_getState2();
}
@SafeVarargs
public final
MealyBuilder__2 on(I firstInput,
I... otherInputs) {
MealyBuilder.this.__duzzt_impl.on(firstInput,otherInputs);
return MealyBuilder.this.__duzzt_getState2();
}
}
private MealyBuilder__0 __duzzt_state0 = null;
private MealyBuilder__0 __duzzt_getState0() {
if(this.__duzzt_state0 == null) {
this.__duzzt_state0 = new MealyBuilder__0();
}
return this.__duzzt_state0;
}
public final class MealyBuilder__4 {
@SafeVarargs
public final
MealyBuilder__0 from(java.lang.Object firstStateId,
java.lang.Object... otherStateIds) {
MealyBuilder.this.__duzzt_impl.from(firstStateId,otherStateIds);
return MealyBuilder.this.__duzzt_getState0();
}
public final
MealyBuilder__2 on(I input) {
MealyBuilder.this.__duzzt_impl.on(input);
return MealyBuilder.this.__duzzt_getState2();
}
public final
MealyBuilder__0 from(java.lang.Object stateId) {
MealyBuilder.this.__duzzt_impl.from(stateId);
return MealyBuilder.this.__duzzt_getState0();
}
@SafeVarargs
public final
MealyBuilder__2 on(I firstInput,
I... otherInputs) {
MealyBuilder.this.__duzzt_impl.on(firstInput,otherInputs);
return MealyBuilder.this.__duzzt_getState2();
}
public final
MealyBuilder__1 withInitial(java.lang.Object stateId) {
MealyBuilder.this.__duzzt_impl.withInitial(stateId);
return MealyBuilder.this.__duzzt_getState1();
}
}
private MealyBuilder__4 __duzzt_state4 = null;
private MealyBuilder__4 __duzzt_getState4() {
if(this.__duzzt_state4 == null) {
this.__duzzt_state4 = new MealyBuilder__4();
}
return this.__duzzt_state4;
}
public final class MealyBuilder__6 {
public final
MealyBuilder__7 to(java.lang.Object stateId) {
MealyBuilder.this.__duzzt_impl.to(stateId);
return MealyBuilder.this.__duzzt_getState7();
}
public final
MealyBuilder__7 loop() {
MealyBuilder.this.__duzzt_impl.loop();
return MealyBuilder.this.__duzzt_getState7();
}
public final
MealyBuilder__8 withOutput(O output) {
MealyBuilder.this.__duzzt_impl.withOutput(output);
return MealyBuilder.this.__duzzt_getState8();
}
}
private MealyBuilder__6 __duzzt_state6 = null;
private MealyBuilder__6 __duzzt_getState6() {
if(this.__duzzt_state6 == null) {
this.__duzzt_state6 = new MealyBuilder__6();
}
return this.__duzzt_state6;
}
public final class MealyBuilder__7 {
@SafeVarargs
public final
MealyBuilder__3 from(java.lang.Object firstStateId,
java.lang.Object... otherStateIds) {
MealyBuilder.this.__duzzt_impl.from(firstStateId,otherStateIds);
return MealyBuilder.this.__duzzt_getState3();
}
public final
MealyBuilder__6 on(I input) {
MealyBuilder.this.__duzzt_impl.on(input);
return MealyBuilder.this.__duzzt_getState6();
}
public final
MealyBuilder__3 from(java.lang.Object stateId) {
MealyBuilder.this.__duzzt_impl.from(stateId);
return MealyBuilder.this.__duzzt_getState3();
}
public
A create() {
return MealyBuilder.this.__duzzt_impl.create();
}
@SafeVarargs
public final
MealyBuilder__6 on(I firstInput,
I... otherInputs) {
MealyBuilder.this.__duzzt_impl.on(firstInput,otherInputs);
return MealyBuilder.this.__duzzt_getState6();
}
}
private MealyBuilder__7 __duzzt_state7 = null;
private MealyBuilder__7 __duzzt_getState7() {
if(this.__duzzt_state7 == null) {
this.__duzzt_state7 = new MealyBuilder__7();
}
return this.__duzzt_state7;
}
public final class MealyBuilder__5 {
public final
MealyBuilder__4 to(java.lang.Object stateId) {
MealyBuilder.this.__duzzt_impl.to(stateId);
return MealyBuilder.this.__duzzt_getState4();
}
public final
MealyBuilder__4 loop() {
MealyBuilder.this.__duzzt_impl.loop();
return MealyBuilder.this.__duzzt_getState4();
}
}
private MealyBuilder__5 __duzzt_state5 = null;
private MealyBuilder__5 __duzzt_getState5() {
if(this.__duzzt_state5 == null) {
this.__duzzt_state5 = new MealyBuilder__5();
}
return this.__duzzt_state5;
}
public final class MealyBuilder__1 {
@SafeVarargs
public final
MealyBuilder__3 from(java.lang.Object firstStateId,
java.lang.Object... otherStateIds) {
MealyBuilder.this.__duzzt_impl.from(firstStateId,otherStateIds);
return MealyBuilder.this.__duzzt_getState3();
}
public final
MealyBuilder__3 from(java.lang.Object stateId) {
MealyBuilder.this.__duzzt_impl.from(stateId);
return MealyBuilder.this.__duzzt_getState3();
}
public
A create() {
return MealyBuilder.this.__duzzt_impl.create();
}
}
private MealyBuilder__1 __duzzt_state1 = null;
private MealyBuilder__1 __duzzt_getState1() {
if(this.__duzzt_state1 == null) {
this.__duzzt_state1 = new MealyBuilder__1();
}
return this.__duzzt_state1;
}
public final class MealyBuilder__2 {
public final
MealyBuilder__4 to(java.lang.Object stateId) {
MealyBuilder.this.__duzzt_impl.to(stateId);
return MealyBuilder.this.__duzzt_getState4();
}
public final
MealyBuilder__4 loop() {
MealyBuilder.this.__duzzt_impl.loop();
return MealyBuilder.this.__duzzt_getState4();
}
public final
MealyBuilder__5 withOutput(O output) {
MealyBuilder.this.__duzzt_impl.withOutput(output);
return MealyBuilder.this.__duzzt_getState5();
}
}
private MealyBuilder__2 __duzzt_state2 = null;
private MealyBuilder__2 __duzzt_getState2() {
if(this.__duzzt_state2 == null) {
this.__duzzt_state2 = new MealyBuilder__2();
}
return this.__duzzt_state2;
}
private final net.automatalib.util.automata.builders.MealyBuilderImpl __duzzt_impl;
public MealyBuilder(A automaton) {
this.__duzzt_impl = new net.automatalib.util.automata.builders.MealyBuilderImpl(automaton);
}
MealyBuilder(net.automatalib.util.automata.builders.MealyBuilderImpl implementation) {
this.__duzzt_impl = implementation;
}
@SafeVarargs
public final
MealyBuilder__0 from(java.lang.Object firstStateId,
java.lang.Object... otherStateIds) {
MealyBuilder.this.__duzzt_impl.from(firstStateId,otherStateIds);
return MealyBuilder.this.__duzzt_getState0();
}
public final
MealyBuilder__0 from(java.lang.Object stateId) {
MealyBuilder.this.__duzzt_impl.from(stateId);
return MealyBuilder.this.__duzzt_getState0();
}
public final
MealyBuilder__1 withInitial(java.lang.Object stateId) {
MealyBuilder.this.__duzzt_impl.withInitial(stateId);
return MealyBuilder.this.__duzzt_getState1();
}
}