de.fosd.typechef.featureexpr.bdd

BDDFeatureModel

object BDDFeatureModel extends FeatureModelFactory

companion object to create feature models

TODO: this code is replicated from SATFeatureModel, integrate again

Linear Supertypes
FeatureModelFactory, AnyRef, Any
Ordering
  1. Alphabetic
  2. By inheritance
Inherited
  1. BDDFeatureModel
  2. FeatureModelFactory
  3. AnyRef
  4. Any
  1. Hide All
  2. Show all
Learn more about member selection
Visibility
  1. Public
  2. All

Value Members

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

    Definition Classes
    AnyRef
  2. final def !=(arg0: Any): Boolean

    Definition Classes
    Any
  3. final def ##(): Int

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

    Definition Classes
    AnyRef
  5. final def ==(arg0: Any): Boolean

    Definition Classes
    Any
  6. final def asInstanceOf[T0]: T0

    Definition Classes
    Any
  7. def clone(): AnyRef

    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  8. def create(expr: FeatureExpr): BDDFeatureModel

    create a feature model from a feature expression

    create a feature model from a feature expression

    Definition Classes
    BDDFeatureModelFeatureModelFactory
  9. def createFromCNFFile(file: String): BDDFeatureModel

    create a feature model by loading a CNF file (proprietary format used previously by LinuxAnalysis tools)

  10. def createFromDimacsFile(file: Source, translateNames: (String) ⇒ String, autoAddVariables: Boolean): FeatureModel

    load a standard Dimacs file as feature model

    load a standard Dimacs file as feature model

    Definition Classes
    BDDFeatureModelFeatureModelFactory
  11. def createFromDimacsFile(file: String): FeatureModel

    Definition Classes
    FeatureModelFactory
  12. def createFromDimacsFile(file: Source): FeatureModel

    default implementation

    default implementation

    does prefix all loaded names with CONFIG_ by default

    Definition Classes
    FeatureModelFactory
  13. def createFromDimacsFilePrefix(file: String, prefix: String): FeatureModel

    Definition Classes
    FeatureModelFactory
  14. def empty: BDDFeatureModel

    create an empty feature model

    create an empty feature model

    Definition Classes
    BDDFeatureModelFeatureModelFactory
  15. final def eq(arg0: AnyRef): Boolean

    Definition Classes
    AnyRef
  16. def equals(arg0: Any): Boolean

    Definition Classes
    AnyRef → Any
  17. def finalize(): Unit

    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( classOf[java.lang.Throwable] )
  18. final def getClass(): Class[_]

    Definition Classes
    AnyRef → Any
  19. def hashCode(): Int

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

    Definition Classes
    Any
  21. def loadDimacsData(file: Source, translateNames: (String) ⇒ String, autoAddVariables: Boolean): (Map[String, Int], List[List[Int]], Int)

    common part for loading dimacs files

    common part for loading dimacs files

    returns name to id mapping, list of clauses, and maximal id declared/found

    Attributes
    protected
    Definition Classes
    FeatureModelFactory
  22. final def ne(arg0: AnyRef): Boolean

    Definition Classes
    AnyRef
  23. final def notify(): Unit

    Definition Classes
    AnyRef
  24. final def notifyAll(): Unit

    Definition Classes
    AnyRef
  25. final def synchronized[T0](arg0: ⇒ T0): T0

    Definition Classes
    AnyRef
  26. def toString(): String

    Definition Classes
    AnyRef → Any
  27. final def wait(): Unit

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

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

    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

Inherited from FeatureModelFactory

Inherited from AnyRef

Inherited from Any

Ungrouped