Packages

final case class Solvable(cnf: Cnf, symbolMapping: SymbolMapping) extends Product with Serializable

Source
Solving.scala
Type Hierarchy
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. Solvable
  2. Serializable
  3. Product
  4. Equals
  5. AnyRef
  6. Any
Implicitly
  1. by any2stringadd
  2. by StringFormat
  3. by Ensuring
  4. by ArrowAssoc
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. Protected

Instance Constructors

  1. new Solvable(cnf: Cnf, symbolMapping: SymbolMapping)

Value Members

  1. def ++(other: Solvable): Solvable
  2. val cnf: Cnf
  3. def productElementNames: Iterator[String]
    Definition Classes
    Product
  4. val symbolMapping: SymbolMapping
  5. def toString(): String
    Definition Classes
    Solvable → AnyRef → Any