BoundedLattice

Example of a BoundedLattice

struct BoundedLattice (

Ct

uint N

) {

Lattice!(Ct, N) lattice;

int[N] getLatticeBounds();

}

Alias This

Members

Functions

getLatticeBounds int[N] getLatticeBounds(): Undocumented in source. Be warned that the author may not have intended to support it.

Variables

lattice Lattice!(Ct, N) lattice;: Undocumented in source.

Examples

static assert(isBoundedLattice!(BoundedLattice!(int, 3), int, 3));
static assert(isAnyLattice!(BoundedLattice!(char, 7)));

Meta

Source

See Implementation

caLib_abstract lattice structs

templates