LogicFunctions

algebra.lattice.LogicFunctions
trait LogicFunctions[H <: (Logic)]

Attributes

Source:
Logic.scala
Graph
Supertypes
class Object
trait Matchable
class Any
Known subtypes
object DeMorgan.type
object Logic.type

Members list

Concise view

Value members

Concrete methods

def complement[A](x: A)(implicit ev: H[A]): A

Attributes

Source:
Logic.scala
def nand[A](x: A, y: A)(implicit ev: H[A]): A

Attributes

Source:
Logic.scala
def nor[A](x: A, y: A)(implicit ev: H[A]): A

Attributes

Source:
Logic.scala
def nxor[A](x: A, y: A)(implicit ev: H[A]): A

Attributes

Source:
Logic.scala