de.fosd.typechef.featureexpr
FeatureExprTree is the root class for non-propositional nodes in feature expressions, i.e., Integer and If nodes, which cannot be checked for satisfiability.
FeatureExprTree is the root class for non-propositional nodes in feature expressions, i.e., Integer and If nodes, which cannot be checked for satisfiability.