- w -

• wholeObjects : IndependentElementSet
• width : klee::CastExpr, klee::ConcatExpr, klee::Expr::CreateArg, klee::ExtractExpr, klee::IndexTransformationExprVisitor
• writer : klee::TreeOStream