Uses of Class
net.maswag.falcaun.EvaluationCountable.Sum

Packages that use EvaluationCountable.Sum

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

Uses of EvaluationCountable.Sum in net.maswag.falcaun

Fields in net.maswag.falcaun declared as EvaluationCountable.Sum

Modifier and Type	Field	Description
private final EvaluationCountable.Sum	NumericSULVerifier.evaluationCountables