Packages

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

A conjunction of literals.

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

Instance Constructors

  1. new And(literals: Set[Literal])

Value Members

  1. def &&(f: Formula): Formula

    Constructs a formula that is true iff this formula and f are both true.

    Constructs a formula that is true iff this formula and f are both true.

    Definition Classes
    Formula
  2. val literals: Set[Literal]
  3. def proves(atom: Atom, atoms: Atom*): Clause

    Constructs a clause that proves atoms when this formula is true.

    Constructs a clause that proves atoms when this formula is true.

    Definition Classes
    Formula