de.fosd.typechef.featureexpr.sat

SATFeatureModel

class SATFeatureModel extends FeatureModel

the feature model is a special container for a single feature expression that is used very often in a conjunction

it stores the formula in an array structure easy to process by the sat solver

it can load an expression from a FeatureExpr or from a file in CNF format

Linear Supertypes
FeatureModel, AnyRef, Any
Known Subclasses
SATNoFeatureModel
Ordering
  1. Alphabetic
  2. By inheritance
Inherited
  1. SATFeatureModel
  2. FeatureModel
  3. AnyRef
  4. Any
  1. Hide All
  2. Show all
Learn more about member selection
Visibility
  1. Public
  2. All

Instance Constructors

  1. new SATFeatureModel(variables: Map[String, Int], clauses: IVec[IVecInt], lastVarId: Int)

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. def and(expr: FeatureExpr): FeatureModel

    make the feature model stricter by a formula

    make the feature model stricter by a formula

    Definition Classes
    SATFeatureModel → FeatureModel

  7. final def asInstanceOf[T0]: T0

    Definition Classes
    Any

  8. def assumeFalse(featurename: String): FeatureModel

    Definition Classes
    SATFeatureModel → FeatureModel

  9. def assumeTrue(featurename: String): FeatureModel

    Definition Classes
    SATFeatureModel → FeatureModel

  10. val clauses: IVec[IVecInt]

  11. def clone(): AnyRef

    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

  12. final def eq(arg0: AnyRef): Boolean

    Definition Classes
    AnyRef

  13. def equals(arg0: Any): Boolean

    Definition Classes
    AnyRef → Any

  14. def exportFM2DNF(fm: FeatureModel, fileName: String): Unit

  15. def finalize(): Unit

    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( classOf[java.lang.Throwable] )

  16. final def getClass(): Class[_]

    Definition Classes
    AnyRef → Any

  17. def hashCode(): Int

    Definition Classes
    AnyRef → Any

  18. final def isInstanceOf[T0]: Boolean

    Definition Classes
    Any

  19. val lastVarId: Int

  20. final def ne(arg0: AnyRef): Boolean

    Definition Classes
    AnyRef

  21. final def notify(): Unit

    Definition Classes
    AnyRef

  22. final def notifyAll(): Unit

    Definition Classes
    AnyRef

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

    Definition Classes
    AnyRef

  24. def toString(): String

    Definition Classes
    AnyRef → Any

  25. val variables: Map[String, Int]

  26. final def wait(): Unit

    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

  27. final def wait(arg0: Long, arg1: Int): Unit

    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

  28. final def wait(arg0: Long): Unit

    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

  29. def writeToDimacsFile(file: File): Unit

  30. def writeToFile(fileName: String, data: String): Unit

Inherited from FeatureModel

Inherited from AnyRef

Inherited from Any

Ungrouped