class

ExhaustivenessChecker::List

Inherits Reference < Object

Constructors

new(non_empty : NonEmptyList, variable : Variable, empty : Decision)
Source

Instance methods

empty
non_empty
variable