Member predicate Constructor::isDefault

Holds if this constructor serves as a default constructor.

This holds for constructors with zero formal parameters. It also holds for constructors which have a non-zero number of formal parameters, provided that every parameter has a default value.