public final class State<O> extends Object implements Serializable
Constructor and Description |
---|
State(net.automatalib.incremental.mealy.dag.StateSignature<O> signature) |
Modifier and Type | Method and Description |
---|---|
void |
decreaseIncoming() |
int |
getNumIncoming() |
O |
getOutput(int idx) |
net.automatalib.incremental.mealy.dag.StateSignature<O> |
getSignature() |
State<O> |
getSuccessor(int idx) |
void |
increaseIncoming() |
boolean |
isConfluence() |
public State(net.automatalib.incremental.mealy.dag.StateSignature<O> signature)
public void increaseIncoming()
public void decreaseIncoming()
public int getNumIncoming()
public boolean isConfluence()
public O getOutput(int idx)
public net.automatalib.incremental.mealy.dag.StateSignature<O> getSignature()
Copyright © 2019. All rights reserved.