DeMorganProperties
algebra.laws.DeMorganLaws.DeMorganProperties
class DeMorganProperties(val name: String, val parents: Seq[DeMorganProperties], val ll: LatticeLaws[A]#LatticeProperties, val props: (String, Prop)*) extends RuleSet
Attributes
- Source
- DeMorganLaws.scala
- Graph
-
- Supertypes
Members list
In this article