Exemple #1
0
 protected override ILattice <IADomain> Bottom() => IALattice.Bottom(_program);
Exemple #2
0
 protected override ILattice <IADomain> Iota() => IALattice.Top(_program);