bool option[]
Array
IList
ICollection
IStructuralComparable
IStructuralEquatable
ICloneable
IList<bool option>
ICollection<bool option>
IEnumerable<bool option>
IEnumerable
A cube is a type to define a truth assignments to the considered atoms such that each atom is either true, false or don't care (=None). Cubes are ordered in a lattice.