formula substitution

[Mridu Nanda]

My model has many (order of n^2) formulas. Would manually substituting formulas decrease model checking time?

Thanks,

Mridu

[Dave Parker]

No, this should have minimal effect on performance.

Dave

> --
> You received this message because you are subscribed to the Google
> Groups "PRISM model checker" group.
> To unsubscribe from this group and stop receiving emails from it, send
> an email to prismmodelchec...@googlegroups.com
> <mailto:prismmodelchec...@googlegroups.com>.
> To view this discussion on the web, visit
> https://groups.google.com/d/msgid/prismmodelchecker/46cb1777-a4a8-4a13-a4eb-c8938c147408n%40googlegroups.com
> <https://groups.google.com/d/msgid/prismmodelchecker/46cb1777-a4a8-4a13-a4eb-c8938c147408n%40googlegroups.com?utm_medium=email&utm_source=footer>.