Class ADTTransition<I,O>
- java.lang.Object
-
- de.learnlib.algorithm.adt.automaton.ADTTransition<I,O>
-
- Type Parameters:
I
- input alphabet typeO
- output alphabet type
public class ADTTransition<I,O> extends Object
Hypothesis transition model.
-
-
Constructor Summary
Constructors Constructor Description ADTTransition()
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description I
getInput()
O
getOutput()
ADTNode<ADTState<I,O>,I,O>
getSiftNode()
ADTState<I,O>
getSource()
ADTState<I,O>
getTarget()
boolean
isSpanningTreeEdge()
boolean
needsSifting()
void
setInput(I input)
void
setIsSpanningTreeEdge(boolean isSpanningTreeEdge)
void
setOutput(O output)
void
setSiftNode(ADTNode<ADTState<I,O>,I,O> siftNode)
void
setSource(ADTState<I,O> source)
void
setTarget(ADTState<I,O> target)
-
-
-
Method Detail
-
getInput
public I getInput()
-
setInput
public void setInput(I input)
-
getOutput
public O getOutput()
-
setOutput
public void setOutput(O output)
-
isSpanningTreeEdge
public boolean isSpanningTreeEdge()
-
setIsSpanningTreeEdge
public void setIsSpanningTreeEdge(boolean isSpanningTreeEdge)
-
needsSifting
public boolean needsSifting()
-
-