laws
laws
algebra.laws
BaseLaws
BaseLaws
BaseRuleSet
BooleanOps
CheckEqOps
CheckOrderOps
CheckSupport
DeMorganLaws
DeMorganLaws
DeMorganProperties
GroupLaws
GroupLaws
GroupProperties
LatticeLaws
LatticeLaws
LatticeProperties
LatticePartialOrderLaws
LatticePartialOrderLaws
LatticePartialOrderProperties
LogicLaws
LogicLaws
LogicProperties
Ops
OrderLaws
OrderLaws
OrderProperties
RingLaws
RingLaws
AdditiveProperties
MultiplicativeProperties
RingProperties
RingProperties
Rules
laws
/
algebra.laws
/
LogicLaws
/
LogicProperties
LogicProperties
class
LogicProperties
(val name:
String
, val parents:
Seq
[
LogicProperties
], val ll:
LatticeProperties
, val props: (
String
,
Prop
)*) extends
RuleSet
Graph
Supertypes
trait
RuleSet
class
Object
trait
Matchable
class
Any
Value members
Value members
Inherited methods
final
def
all
:
Properties
Assembles all properties. For the rules, see
RuleSet
.
Assembles all properties. For the rules, see
RuleSet
.
Inherited from
RuleSet
Concrete fields
val
bases
:
Seq
[(
String
,
RuleSet
)]
val
ll
:
LatticeProperties
val
name
:
String
val
parents
:
Seq
[
LogicProperties
]
val
props
: (
String
,
Prop
)*