I'm new in cpn tools and standard ml language. I want to define real colorset in cpn tools but it shows error:
real are not supported in cpn tools.
How can I do this without changing my IDE? thank you for your help.
Real colorset is not supported in cpn tools version3. If you want to declare real colorset you should use cpn tools version 4.