Packages

trait CnfBuilder extends AnyRef

Source
Solving.scala
Linear Supertypes
Known Subclasses
Type Hierarchy
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. CnfBuilder
  2. AnyRef
  3. 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

Abstract Value Members

  1. abstract val literalCount: Int

Concrete Value Members

  1. def addClauseProcessed(clause: Clause): Unit
  2. def buildCnf: Array[Clause]
  3. def constFalse: Lit
  4. lazy val constTrue: Lit
  5. def isConst(l: Lit): Boolean
  6. def newLiteral(): Lit

    returns

    new Tseitin variable