Class

util.sat

PrimeImplicantGenerator

Related Doc: package sat

Permalink

case class PrimeImplicantGenerator(formula: Expr, filePrefix: String, maxOrder: Option[Int] = None, encodeForPrimer: Boolean = false, properTreeOpt: Boolean = false, monotonyOpt: Boolean = false) extends Product with Serializable

This class takes a boolean formula as input, and outputs several files which which can be used for prime implicant enumeration.

Linear Supertypes
Serializable, Serializable, Product, Equals, AnyRef, Any
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. PrimeImplicantGenerator
  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 PrimeImplicantGenerator(formula: Expr, filePrefix: String, maxOrder: Option[Int] = None, encodeForPrimer: Boolean = false, properTreeOpt: Boolean = false, monotonyOpt: Boolean = false)

    Permalink

Value Members

  1. final def !=(arg0: Any): Boolean

    Permalink
    Definition Classes
    AnyRef → Any
  2. final def ##(): Int

    Permalink
    Definition Classes
    AnyRef → Any
  3. final def ==(arg0: Any): Boolean

    Permalink
    Definition Classes
    AnyRef → Any
  4. final def asInstanceOf[T0]: T0

    Permalink
    Definition Classes
    Any
  5. def clone(): AnyRef

    Permalink
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  6. val encodeForPrimer: Boolean

    Permalink
  7. final def eq(arg0: AnyRef): Boolean

    Permalink
    Definition Classes
    AnyRef
  8. val filePrefix: String

    Permalink
  9. def finalize(): Unit

    Permalink
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( classOf[java.lang.Throwable] )
  10. val formula: Expr

    Permalink
  11. def genPrimeImplicants(): List[Set[Expr]]

    Permalink
  12. final def getClass(): Class[_]

    Permalink
    Definition Classes
    AnyRef → Any
  13. final def isInstanceOf[T0]: Boolean

    Permalink
    Definition Classes
    Any
  14. val maxOrder: Option[Int]

    Permalink
  15. val monotonyOpt: Boolean

    Permalink
  16. final def ne(arg0: AnyRef): Boolean

    Permalink
    Definition Classes
    AnyRef
  17. final def notify(): Unit

    Permalink
    Definition Classes
    AnyRef
  18. final def notifyAll(): Unit

    Permalink
    Definition Classes
    AnyRef
  19. def parseClingoModel(resultFile: String): List[Set[Int]]

    Permalink

    Parses a clingo model file, containing potentially several models of a formula.

    Parses a clingo model file, containing potentially several models of a formula. TODO implement real parsing, string scanning + splitting does not scale

  20. def parseSharpCDCLModelFile(resultFile: String): List[Set[Int]]

    Permalink

    Parses a sharpCDCL model file, possibly containing several models of a same formula.

    Parses a sharpCDCL model file, possibly containing several models of a same formula. TODO implement real parsing, string splitting + scanning does not scale

  21. val properTreeOpt: Boolean

    Permalink
  22. final def synchronized[T0](arg0: ⇒ T0): T0

    Permalink
    Definition Classes
    AnyRef
  23. final def wait(): Unit

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  24. final def wait(arg0: Long, arg1: Int): Unit

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  25. final def wait(arg0: Long): Unit

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

Inherited from Serializable

Inherited from Serializable

Inherited from Product

Inherited from Equals

Inherited from AnyRef

Inherited from Any

Ungrouped