Ejemplo n.º 1
0
 protected override ILattice <IADomain> Bottom() => IALattice.Bottom(_program);
Ejemplo n.º 2
0
 protected override ILattice <IADomain> Iota() => IALattice.Top(_program);