Package net.maswag.falcaun

Class IOSignalPiece<I>

java.lang.Object

net.maswag.falcaun.IOSignalPiece<I>

Type Parameters:

I - The type of the input and output signals.

Direct Known Subclasses:

ExtendedIOSignalPiece

public class IOSignalPiece<I>
extends Object

Represents a pair of input and output signals at one time step in a system's behavior. This class encapsulates an input signal and its corresponding output signal for a single time step. It is used to store and manage the input-output pairs during simulations, verifications, and other analyses of system behavior.

Field Summary

Fields

Modifier and Type	Field	Description
private final I	inputSignal	The input signal at this time step.
private final I	outputSignal	The output signal at this time step.

Constructor Summary

Constructors

Constructor	Description
IOSignalPiece()

Method Summary

Methods inherited from class java.lang.Object

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

Field Details

inputSignal

private final I inputSignal

The input signal at this time step.

outputSignal

private final I outputSignal

The output signal at this time step.

Constructor Details

IOSignalPiece

public IOSignalPiece()