Package net.maswag.falcaun.annotation

package net.maswag.falcaun.annotation

The annotations used in FalCAuN.

Related Packages

Package	Description
net.maswag.falcaun	FalCAuN - Falsification tool for Cyber-Physical Systems via Automata Learning.
net.maswag.falcaun.parser	FalCAuN parser package: STL/LTL formula parsing, signal mapping, and temporal logic utilities.

Class	Description
Sorted
SortedValidator