net.automatalib.util.automata.builders.DFABuilder 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.DFABuilderImpl
* 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 DFABuilder> {
public final class DFABuilder__1 {
@SafeVarargs
public final
DFABuilder__3 from(java.lang.Object firstStateId,
java.lang.Object... otherStateIds) {
DFABuilder.this.__duzzt_impl.from(firstStateId,otherStateIds);
return DFABuilder.this.__duzzt_getState3();
}
public final
DFABuilder__1 withAccepting(java.lang.Object stateId) {
DFABuilder.this.__duzzt_impl.withAccepting(stateId);
return DFABuilder.this.__duzzt_getState1();
}
@SafeVarargs
public final
DFABuilder__1 withAccepting(java.lang.Object stateId, java.lang.Object... stateIds) {
DFABuilder__1 __duzzt_succ = withAccepting(stateId);
for(java.lang.Object __duzzt_varargs_elem : stateIds) {
__duzzt_succ.withAccepting(__duzzt_varargs_elem);
}
return __duzzt_succ;
}
public
A create() {
return DFABuilder.this.__duzzt_impl.create();
}
public final
DFABuilder__3 from(java.lang.Object stateId) {
DFABuilder.this.__duzzt_impl.from(stateId);
return DFABuilder.this.__duzzt_getState3();
}
}
private DFABuilder__1 __duzzt_state1 = null;
private DFABuilder__1 __duzzt_getState1() {
if(this.__duzzt_state1 == null) {
this.__duzzt_state1 = new DFABuilder__1();
}
return this.__duzzt_state1;
}
public final class DFABuilder__3 {
@SafeVarargs
public final
DFABuilder__5 on(I firstInput,
I... otherInputs) {
DFABuilder.this.__duzzt_impl.on(firstInput,otherInputs);
return DFABuilder.this.__duzzt_getState5();
}
public final
DFABuilder__5 on(I input) {
DFABuilder.this.__duzzt_impl.on(input);
return DFABuilder.this.__duzzt_getState5();
}
}
private DFABuilder__3 __duzzt_state3 = null;
private DFABuilder__3 __duzzt_getState3() {
if(this.__duzzt_state3 == null) {
this.__duzzt_state3 = new DFABuilder__3();
}
return this.__duzzt_state3;
}
public final class DFABuilder__6 {
@SafeVarargs
public final
DFABuilder__5 on(I firstInput,
I... otherInputs) {
DFABuilder.this.__duzzt_impl.on(firstInput,otherInputs);
return DFABuilder.this.__duzzt_getState5();
}
@SafeVarargs
public final
DFABuilder__3 from(java.lang.Object firstStateId,
java.lang.Object... otherStateIds) {
DFABuilder.this.__duzzt_impl.from(firstStateId,otherStateIds);
return DFABuilder.this.__duzzt_getState3();
}
public final
DFABuilder__1 withAccepting(java.lang.Object stateId) {
DFABuilder.this.__duzzt_impl.withAccepting(stateId);
return DFABuilder.this.__duzzt_getState1();
}
@SafeVarargs
public final
DFABuilder__1 withAccepting(java.lang.Object stateId, java.lang.Object... stateIds) {
DFABuilder__1 __duzzt_succ = withAccepting(stateId);
for(java.lang.Object __duzzt_varargs_elem : stateIds) {
__duzzt_succ.withAccepting(__duzzt_varargs_elem);
}
return __duzzt_succ;
}
public
A create() {
return DFABuilder.this.__duzzt_impl.create();
}
public final
DFABuilder__3 from(java.lang.Object stateId) {
DFABuilder.this.__duzzt_impl.from(stateId);
return DFABuilder.this.__duzzt_getState3();
}
public final
DFABuilder__5 on(I input) {
DFABuilder.this.__duzzt_impl.on(input);
return DFABuilder.this.__duzzt_getState5();
}
}
private DFABuilder__6 __duzzt_state6 = null;
private DFABuilder__6 __duzzt_getState6() {
if(this.__duzzt_state6 == null) {
this.__duzzt_state6 = new DFABuilder__6();
}
return this.__duzzt_state6;
}
public final class DFABuilder__5 {
public final
DFABuilder__6 to(java.lang.Object stateId) {
DFABuilder.this.__duzzt_impl.to(stateId);
return DFABuilder.this.__duzzt_getState6();
}
public final
DFABuilder__6 loop() {
DFABuilder.this.__duzzt_impl.loop();
return DFABuilder.this.__duzzt_getState6();
}
}
private DFABuilder__5 __duzzt_state5 = null;
private DFABuilder__5 __duzzt_getState5() {
if(this.__duzzt_state5 == null) {
this.__duzzt_state5 = new DFABuilder__5();
}
return this.__duzzt_state5;
}
public final class DFABuilder__4 {
@SafeVarargs
public final
DFABuilder__2 on(I firstInput,
I... otherInputs) {
DFABuilder.this.__duzzt_impl.on(firstInput,otherInputs);
return DFABuilder.this.__duzzt_getState2();
}
@SafeVarargs
public final
DFABuilder__0 from(java.lang.Object firstStateId,
java.lang.Object... otherStateIds) {
DFABuilder.this.__duzzt_impl.from(firstStateId,otherStateIds);
return DFABuilder.this.__duzzt_getState0();
}
public final
DFABuilder withAccepting(java.lang.Object stateId) {
DFABuilder.this.__duzzt_impl.withAccepting(stateId);
return DFABuilder.this;
}
@SafeVarargs
public final
DFABuilder withAccepting(java.lang.Object stateId, java.lang.Object... stateIds) {
DFABuilder __duzzt_succ = withAccepting(stateId);
for(java.lang.Object __duzzt_varargs_elem : stateIds) {
__duzzt_succ.withAccepting(__duzzt_varargs_elem);
}
return __duzzt_succ;
}
public final
DFABuilder__1 withInitial(java.lang.Object stateId) {
DFABuilder.this.__duzzt_impl.withInitial(stateId);
return DFABuilder.this.__duzzt_getState1();
}
public final
DFABuilder__0 from(java.lang.Object stateId) {
DFABuilder.this.__duzzt_impl.from(stateId);
return DFABuilder.this.__duzzt_getState0();
}
public final
DFABuilder__2 on(I input) {
DFABuilder.this.__duzzt_impl.on(input);
return DFABuilder.this.__duzzt_getState2();
}
}
private DFABuilder__4 __duzzt_state4 = null;
private DFABuilder__4 __duzzt_getState4() {
if(this.__duzzt_state4 == null) {
this.__duzzt_state4 = new DFABuilder__4();
}
return this.__duzzt_state4;
}
public final class DFABuilder__2 {
public final
DFABuilder__4 to(java.lang.Object stateId) {
DFABuilder.this.__duzzt_impl.to(stateId);
return DFABuilder.this.__duzzt_getState4();
}
public final
DFABuilder__4 loop() {
DFABuilder.this.__duzzt_impl.loop();
return DFABuilder.this.__duzzt_getState4();
}
}
private DFABuilder__2 __duzzt_state2 = null;
private DFABuilder__2 __duzzt_getState2() {
if(this.__duzzt_state2 == null) {
this.__duzzt_state2 = new DFABuilder__2();
}
return this.__duzzt_state2;
}
public final class DFABuilder__0 {
@SafeVarargs
public final
DFABuilder__2 on(I firstInput,
I... otherInputs) {
DFABuilder.this.__duzzt_impl.on(firstInput,otherInputs);
return DFABuilder.this.__duzzt_getState2();
}
public final
DFABuilder__2 on(I input) {
DFABuilder.this.__duzzt_impl.on(input);
return DFABuilder.this.__duzzt_getState2();
}
}
private DFABuilder__0 __duzzt_state0 = null;
private DFABuilder__0 __duzzt_getState0() {
if(this.__duzzt_state0 == null) {
this.__duzzt_state0 = new DFABuilder__0();
}
return this.__duzzt_state0;
}
private final net.automatalib.util.automata.builders.DFABuilderImpl __duzzt_impl;
public DFABuilder(A automaton) {
this.__duzzt_impl = new net.automatalib.util.automata.builders.DFABuilderImpl(automaton);
}
DFABuilder(net.automatalib.util.automata.builders.DFABuilderImpl implementation) {
this.__duzzt_impl = implementation;
}
@SafeVarargs
public final
DFABuilder__0 from(java.lang.Object firstStateId,
java.lang.Object... otherStateIds) {
DFABuilder.this.__duzzt_impl.from(firstStateId,otherStateIds);
return DFABuilder.this.__duzzt_getState0();
}
public final
DFABuilder withAccepting(java.lang.Object stateId) {
DFABuilder.this.__duzzt_impl.withAccepting(stateId);
return DFABuilder.this;
}
@SafeVarargs
public final
DFABuilder withAccepting(java.lang.Object stateId, java.lang.Object... stateIds) {
DFABuilder __duzzt_succ = withAccepting(stateId);
for(java.lang.Object __duzzt_varargs_elem : stateIds) {
__duzzt_succ.withAccepting(__duzzt_varargs_elem);
}
return __duzzt_succ;
}
public final
DFABuilder__1 withInitial(java.lang.Object stateId) {
DFABuilder.this.__duzzt_impl.withInitial(stateId);
return DFABuilder.this.__duzzt_getState1();
}
public final
DFABuilder__0 from(java.lang.Object stateId) {
DFABuilder.this.__duzzt_impl.from(stateId);
return DFABuilder.this.__duzzt_getState0();
}
}