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