Uses of Class
net.maswag.falcaun.Signal

Packages that use Signal

Package	Description
net.maswag.falcaun	FalCAuN - Falsification tool for Cyber-Physical Systems via Automata Learning.

Uses of Signal in net.maswag.falcaun

Methods in net.maswag.falcaun that return Signal

Modifier and Type	Method	Description
Signal	Signal.linearInterpolate(double newTimeStep)	Returns a new Signal whose values are linearly interpolated at the given newTimeStep, writing directly into the result.

Methods in net.maswag.falcaun that return types with arguments of type Signal

Modifier and Type	Method	Description
List<Signal>	NumericSULVerifier.getCexConcreteInput()