LogicProperties
algebra.laws.LogicLaws.LogicProperties
class LogicProperties(val name: String, val parents: Seq[LogicProperties], val ll: LatticeProperties, val props: (String, Prop)*) extends RuleSet
Attributes
- Source:
- LogicLaws.scala
- Graph
- Supertypes