[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[PVS-Help] substituting in positive positions



I am using gensubst to do some substitution.  I would like to restrict
it so that substitutions are only done when the term in is a positive
position.  Is there a straightforward way to do this?

Thank you,

    Erika