unapply

AndOrUnExtractor DefinedExpr DefinedMacro Not SoftRef WeakRef

unary_!

FeatureExpr

unique

ErrorFeature FeatureExpr BDDFeatureExpr SATFeatureExpr

uniqueFlagIds

SatSolverImpl