Type pc:LtlProgrammed
LTL programmed
Constants
no
false
---
NO COMMENTS
yes
true
---
NO COMMENTS
DEFAULT
no(false)
---
NO COMMENTS