interface ValueDomain

Constructs a member directly from bounded decisions, without enumerating the value set.

Methods§

Test cases 6§

Test cases that cover or call this symbol, from the coverage report and from the analyzed test sources.

Dedicated tests 1
Other tests reaching this symbol 5

Relations§

Implemented by 16
Method calls 11
Type declarations 8