public final class State extends Object
Constructor and Description |
---|
State(net.automatalib.incremental.mealy.dag.StateSignature signature) |
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() |
public State(net.automatalib.incremental.mealy.dag.StateSignature signature)
public void increaseIncoming()
public void decreaseIncoming()
public int getNumIncoming()
public boolean isConfluence()
public State getSuccessor(int idx)
public Object getOutput(int idx)
public net.automatalib.incremental.mealy.dag.StateSignature getSignature()
Copyright © 2015. All rights reserved.