net.automatalib.automata.fsa.impl

Class FastDFAState

java.lang.Object

net.automatalib.commons.util.nid.AbstractMutableNumericID

net.automatalib.automata.base.fast.FastDetState<FastDFAState,FastDFAState>

net.automatalib.automata.fsa.impl.FastDFAState

All Implemented Interfaces:

MutableNumericID, NumericID

public final class FastDFAState
extends FastDetState<FastDFAState,FastDFAState>

Field Summary

Fields inherited from class net.automatalib.commons.util.nid.AbstractMutableNumericID

id

Constructor Summary

Constructors

Constructor and Description
FastDFAState(int numInputs, boolean accepting)

Method Summary

Modifier and Type	Method and Description
boolean	isAccepting()
void	setAccepting(boolean accepting)

Methods inherited from class net.automatalib.automata.base.fast.FastDetState

clearTransitions, getTransition, setTransition, toString

Methods inherited from class net.automatalib.commons.util.nid.AbstractMutableNumericID

getId, setId

Methods inherited from class java.lang.Object

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

Constructor Detail

FastDFAState

public FastDFAState(int numInputs,
                    boolean accepting)

Method Detail

isAccepting

public boolean isAccepting()

setAccepting

public void setAccepting(boolean accepting)