This is setIfcPositiveInteger, a member of class IfcAppliedValueSelect.
IfcAppliedValueSelect Methods