-
Notifications
You must be signed in to change notification settings - Fork 124
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Lattice Parameterization Inconsistency #15
Comments
I think the right change would rather be on the |
I take your point. On the other hand, Idea doesn't seem to recognize the type By the way, I'm curious whether there exists a use case where defining a lattice over a subset of a type, that itself does not form a type, is needed. |
Quickfix: replacing |
|
|
In the file
GenericLattices.scala
the powerset lattice is parameterized by a characteristic function ch:class PowersetLattice[A](ch: A => Boolean) extends Lattice
At the same time, the reverse powerset lattice has Set(A) as a parameter:
class ReversePowersetLattice[A](s: Set[A]) extends Lattice
Probably, the class
PowersetLattice
should be changed as follows:class PowersetLattice[A](s: Set[A]) extends Lattice
The text was updated successfully, but these errors were encountered: