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']
|
Table 8.12.2.19.A
8.12.2.19.3 Formal representation
| TYPE IfcTextDecoration = STRING; |
| WHERE |
| WR1 : SELF IN ['none', 'underline', 'overline', 'line-through', 'blink']; |
| END_TYPE; |
8.12.2.19.4 References