Here is a list of all enum values with links to the classes they belong to:

DoNotUseBound : OptimizeStrategy
IsInSet : SizeMaxIndepSetAlg
IsMaybeInSet : SizeMaxIndepSetAlg
IsNotInSet : SizeMaxIndepSetAlg
UseBoundToEliminate : OptimizeStrategy
UseBoundToEliminateAndSimplify : OptimizeStrategy