| java.lang.Object
 de.uka.ilkd.key.unittest.EquivalenceClass
| EquivalenceClass | | public class EquivalenceClass (Code) | | |
| EquivalenceClass | | public EquivalenceClass(SetOfTerm members, Services serv)(Code) | | |
| addLowerBound | | public boolean addLowerBound(EquivalenceClass bound, boolean ex)(Code) | | Only for classes of sort int.
Adds the lower bound bound to the set of lower bounds of
this EquivalenceClass. Iff it can be derived from the known bounds
of this class that bound and this denote
identical equivalence classes the members of bound are
to this class and true is returned.
|
| addUpperBound | | public boolean addUpperBound(EquivalenceClass bound, boolean ex)(Code) | | Only for classes of sort int.
Adds the upper bound bound to the set of upper bounds of
this EquivalenceClass. Iff it can be derived from the known bounds
of this class that bound and this denote
identical equivalence classes the members of bound are
to this class and true is returned.
|
| consistencyCheck | | public boolean consistencyCheck(HashMap term2class)(Code) | | |
| containsLiteral | | public boolean containsLiteral()(Code) | | |
| getDisjoints | | public SetOfTerm getDisjoints()(Code) | | |
| getLocations | | public SetOfTerm getLocations()(Code) | | Returns the locations that are members of this equivalence class.
|
| getMaximalConcreteLowerBound | | public int getMaximalConcreteLowerBound(HashMap term2class)(Code) | | |
| getMembers | | public SetOfTerm getMembers()(Code) | | |
| getMinimalConcreteUpperBound | | public int getMinimalConcreteUpperBound(HashMap term2class)(Code) | | |
| hasConcreteValue | | public boolean hasConcreteValue(HashMap term2class)(Code) | | |
| hashCode | | public int hashCode()(Code) | | |
| isBoolean | | public boolean isBoolean()(Code) | | |
| isInt | | public boolean isInt()(Code) | | |
| isNotNull | | public boolean isNotNull(HashMap term2class)(Code) | | returns true iff a term t=null was found in the succecedent of the
underlying sequence for a member t of this class.
|
| isNull | | public boolean isNull()(Code) | | returns true iff a term t=null was found in the antecedent of the
underlying sequence for a member t of this class.
|
| resetValue | | public boolean resetValue()(Code) | | |
| setBoolean | | public boolean setBoolean(boolean b)(Code) | | Assigns a concrete boolean value to this equivalence class. Used for
model generation.
|
| setInteger | | public boolean setInteger(int i)(Code) | | Assigns a concrete integer value to this equivalence class. Used for
model generation.
|
|
|