| java.lang.Object de.uka.ilkd.key.cspec.PersistentCondition
PersistentCondition | public class PersistentCondition (Code) | | Implementation of persistent conditions, i.e. conditions that do
not suffer from signal loss. Note that this concept can be
generalized beyond the limitations of our current implementation.
However, we do not yet have any needs for more sophisticated
conditions.
author: André Platzer version: 1.1, 2003-02-10 |
PersistentCondition | public PersistentCondition()(Code) | | Create a new condition.
|
|
|