Packages

final case class Clause(body: Formula, head: Set[Atom]) extends Product with Serializable

When the body Formula succeeds, atoms in head are true.

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

Instance Constructors

  1. new Clause(body: Formula, head: Set[Atom])

Value Members

  1. val body: Formula
  2. val head: Set[Atom]