de.fosd.typechef.featureexpr

bdd

package bdd

Visibility
  1. Public
  2. All

Type Members

  1. class BDDFeatureExpr extends FeatureExpr

    Propositional (or boolean) feature expressions.

  2. class BDDFeatureModel extends FeatureModel

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

  3. class SatSolverImpl extends AnyRef

  4. class SingleBDDFeatureExpr extends BDDFeatureExpr with SingleFeatureExpr

Value Members

  1. object BDDFeatureExprFactory extends AbstractFeatureExprFactory

  2. object BDDFeatureModel extends FeatureModelFactory

    companion object to create feature models

  3. object BDDNoFeatureModel extends BDDFeatureModel

    empty feature model

  4. object CastHelper

  5. object False extends BDDFeatureExpr with DefaultPrint with SingleFeatureExpr

  6. object FeatureExprHelper

  7. object SatSolver

    connection to the SAT4j SAT solver

  8. object True extends BDDFeatureExpr with DefaultPrint with SingleFeatureExpr

Ungrouped