Uses of Class
net.maswag.falcaun.PostComposedSignalDiscretizer

Packages that use PostComposedSignalDiscretizer

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

Uses of PostComposedSignalDiscretizer in net.maswag.falcaun

Subclasses of PostComposedSignalDiscretizer in net.maswag.falcaun

Modifier and Type	Class	Description
class	NumericSULMapperWithSGA	Output Mapper for NumericSUL based on Specification-Guided Abstraction.