class
BDDFeatureModel extends FeatureModel
Instance Constructors
-
new
BDDFeatureModel(variables: Map[String, Int], clauses: IVec[IVecInt], lastVarId: Int, extraConstraints: BDDFeatureExpr, assumedFalse: Set[String], assumedTrue: Set[String])
Value Members
-
final
def
!=(arg0: AnyRef): Boolean
-
final
def
!=(arg0: Any): Boolean
-
final
def
##(): Int
-
final
def
==(arg0: AnyRef): Boolean
-
final
def
==(arg0: Any): Boolean
-
-
final
def
asInstanceOf[T0]: T0
-
def
assumeFalse(featurename: String): BDDFeatureModel
-
def
assumeTrue(featurename: String): BDDFeatureModel
-
val
assumedFalse: Set[String]
-
val
assumedTrue: Set[String]
-
-
val
clauses: IVec[IVecInt]
-
def
clone(): AnyRef
-
final
def
eq(arg0: AnyRef): Boolean
-
def
equals(arg0: Any): Boolean
-
-
def
finalize(): Unit
-
final
def
getClass(): Class[_]
-
def
hashCode(): Int
-
final
def
isInstanceOf[T0]: Boolean
-
val
lastVarId: Int
-
final
def
ne(arg0: AnyRef): Boolean
-
final
def
notify(): Unit
-
final
def
notifyAll(): Unit
-
final
def
synchronized[T0](arg0: ⇒ T0): T0
-
def
toString(): String
-
val
variables: Map[String, Int]
-
final
def
wait(): Unit
-
final
def
wait(arg0: Long, arg1: Int): Unit
-
final
def
wait(arg0: Long): Unit
Inherited from AnyRef
Inherited from Any
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
extra constraints contain arbitrary formulas that are used in every query. may be expensive to calculate each time.
assumedFalse and assumedTrue can hold sets of feature names that are known to be true or false (typically from partial configurations). Those are cheap to pass to the SAT solver.