Packages

case class NotClause(c: Clause) extends Clause with Product with Serializable

word of caution: THIS IS A SIMPLE NOT OPERATOR, THE NEGATION IS SIMPLE - NOT THE ONE DEFINED IN THE TRAIT

c

the clause to negate

Linear Supertypes
Serializable, Serializable, Product, Equals, Clause, AnyRef, Any
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. NotClause
  2. Serializable
  3. Serializable
  4. Product
  5. Equals
  6. Clause
  7. AnyRef
  8. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. All

Instance Constructors

  1. new NotClause(c: Clause)

    c

    the clause to negate

Value Members

  1. val c: Clause