Packages

object Formula

Linear Supertypes
AnyRef, Any
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. Formula
  2. AnyRef
  3. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. All

Type Members

  1. final case class And(literals: Set[Literal]) extends Formula with Product with Serializable

    A conjunction of literals.

Value Members

  1. object True extends Formula with Product with Serializable