8.12.2.19 IfcTextDecoration
8.12.2.19.1 Semantic definition
The IfcTextDecoration describes decorations that are added to the text of an element. Values are:
- none
- underline
- overline
- line-through
8.12.2.19.2 Formal Propositions
WR1 | <html><body><p>Allowable values for text decoration.</p></body></html>SELF IN ['none', 'underline', 'overline', 'line-through', 'blink'] |
8.12.2.19.3 Formal representation
TYPE IfcTextDecoration = STRING;
WHERE
WR1 : SELF IN ['none', 'underline', 'overline', 'line-through', 'blink'];
END_TYPE;