case classElimPredModelElement(_preds: Set[Predicate]) extends ModelElement with Product with Serializable
Class for storing information about eliminated predicates, without
giving a precise description how their value can be reconstructed.
This is currently used for "abbreviations", which are eliminated from
proof branches when it becomes clear that they will never be expanded.
Linear Supertypes
Serializable, Serializable, Product, Equals, ModelElement, AnyRef, Any
Class for storing information about eliminated predicates, without giving a precise description how their value can be reconstructed. This is currently used for "abbreviations", which are eliminated from proof branches when it becomes clear that they will never be expanded.