[Prev][Next][Index]

assumes and includes



We would like to have some help
on refining our intuition about the difference
between assumes and includes clauses in LSL,
expecially from a practical point
of view. Any suggestion about when one should
use assumes and when includes are welcome.
Thanks

Paolo Ciancarini