This is setVerticalDatum, a member of class IfcCoordinateReferenceSystem.
IfcCoordinateReferenceSystem Methods