A SchemeLattice is a Lattice that also supports all Scheme operations, which are basically the same as all those found in IntLattice, StringLattice, … combined. It might be possible therefore also say that a SchemeLattice[L,…] extends not only Lattice[L], but also IntLattice[L], StringLattice[L] and so on. Doing so might make the usage of a separate of collection of SchemeOps redundant (simplifying and unifying those concepts in the overall design and removing some boilerplate code) and might also help dealing with failures (cf. #21) in a more uniform way.
A
SchemeLatticeis aLatticethat also supports all Scheme operations, which are basically the same as all those found inIntLattice,StringLattice, … combined. It might be possible therefore also say that aSchemeLattice[L,…]extends not onlyLattice[L], but alsoIntLattice[L],StringLattice[L]and so on. Doing so might make the usage of a separate of collection ofSchemeOpsredundant (simplifying and unifying those concepts in the overall design and removing some boilerplate code) and might also help dealing with failures (cf. #21) in a more uniform way.