net.automatalib.incremental.mealy.dag

Class State

java.lang.Object

net.automatalib.incremental.mealy.dag.State

public final class State
extends Object

Constructor Summary

Constructors

Constructor and Description
State(net.automatalib.incremental.mealy.dag.StateSignature signature)

Method Summary

Methods

Modifier and Type	Method and Description
void	decreaseIncoming()
int	getNumIncoming()
Object	getOutput(int idx)
net.automatalib.incremental.mealy.dag.StateSignature	getSignature()
State	getSuccessor(int idx)
void	increaseIncoming()
boolean	isConfluence()

Methods inherited from class java.lang.Object

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

Constructor Detail

State

public State(net.automatalib.incremental.mealy.dag.StateSignature signature)

Method Detail

increaseIncoming

public void increaseIncoming()

decreaseIncoming

public void decreaseIncoming()

getNumIncoming

public int getNumIncoming()

isConfluence

public boolean isConfluence()

getSuccessor

public State getSuccessor(int idx)

getOutput

public Object getOutput(int idx)

getSignature

public net.automatalib.incremental.mealy.dag.StateSignature getSignature()