abstract classTrivialProp extends SigmaBoolean with Product1[Boolean]
Represents boolean values (true/false) in SigmaBoolean tree.
Participates in evaluation of CAND, COR, THRESHOLD connectives over SigmaBoolean values.
See CAND.normalized, COR.normalized and AtLeast.reduce.
Linear Supertypes
Product1[Boolean], Product, Equals, SigmaBoolean, AnyRef, Any
Represents boolean values (true/false) in SigmaBoolean tree. Participates in evaluation of CAND, COR, THRESHOLD connectives over SigmaBoolean values. See CAND.normalized, COR.normalized and AtLeast.reduce.