Module de.learnlib.filter.reuse

Package de.learnlib.filter.reuse.tree

Class ReuseEdge<S,I,O>

java.lang.Object

de.learnlib.filter.reuse.tree.ReuseEdge<S,I,O>

Type Parameters:

S - system state class

I - input symbol class

O - output symbol class

public class ReuseEdge<S,I,O>
extends Object

A ReuseEdge connects two ReuseNode's in the ReuseTree and is labeled with input and output behavior. Please note that an edge may be reflexive if domain knowledge is used (input is invariant and/or output is a failure output).

Constructor Summary

Constructors

Constructor	Description
ReuseEdge(ReuseNode<S,I,O> source, ReuseNode<S,I,O> target, I input, O output)	Default constructor.

Method Summary

Modifier and Type	Method	Description
I	getInput()	The respective input on this edge.
O	getOutput()	The respective output on this edge.
ReuseNode<S,I,O>	getSource()	The source node from this edge.
ReuseNode<S,I,O>	getTarget()	The target node from this edge.
String	toString()

Methods inherited from class java.lang.Object

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

Constructor Detail

ReuseEdge

public ReuseEdge(ReuseNode<S,I,O> source,
                 ReuseNode<S,I,O> target,
                 I input,
                 O output)

Default constructor.

Parameters:

source - the source node

target - the target node

input - the input symbol

output - the output symbol

Method Detail

getSource

public ReuseNode<S,I,O> getSource()

The source node from this edge.

Returns:

the source

getTarget

public ReuseNode<S,I,O> getTarget()

The target node from this edge.

Returns:

the target

getInput

public I getInput()

The respective input on this edge.

Returns:

the input

getOutput

public O getOutput()

The respective output on this edge.

Returns:

the output

toString

public String toString()

Overrides:

toString in class Object