getBddAllSat

BDDFeatureExpr

getCNFClauses

CNFHelper

getConfIfSimpleAndExpr

ErrorFeature FeatureExpr SingleFeatureExpr BDDFeatureExpr SATFeatureExpr

getConfIfSimpleOrExpr

ErrorFeature FeatureExpr SingleFeatureExpr BDDFeatureExpr SATFeatureExpr

getDefinedExpr

CNFHelper

getDefinedExprs

CNFHelper

getLastModel

SatSolverImpl

getLiterals

CNFHelper

getMacroCondition

FeatureProvider

getMacroConditionCNF

FeatureProvider

getSatAssignment

SatSolver SatSolver

getSatisfiableAssignment

ErrorFeature FeatureExpr BDDFeatureExpr SATFeatureExpr

getSatisfiableAssignmentFromStringSets

SatSolver