Uses of Class
tip.util.EqualitySet

Packages that use EqualitySet
tip.cfg Provides the basic framework for performing fixed-point analyses of TIP programs. 
tip.cfg.dfa Provides a collection of data flow analyses for TIP programs. 
tip.util Provides utility classes for the TIP compiler. 
 

Uses of EqualitySet in tip.cfg
 

Methods in tip.cfg that return EqualitySet
 EqualitySet<L> UnionSetLattice.getLeastUpperBound(EqualitySet<L> a, EqualitySet<L> b)
          Returns the least upper bound of the sets a and b according to this set lattice.
 EqualitySet<L> IntersectionSetLattice.getLeastUpperBound(EqualitySet<L> a, EqualitySet<L> b)
          Returns the least upper bound of the sets a and b according to this set lattice.
 EqualitySet<L> UnionSetLattice.getSmallestElement()
          Returns the smallest element of this set lattice.
 EqualitySet<L> IntersectionSetLattice.getSmallestElement()
          Returns the smallest element of this set lattice.
 

Methods in tip.cfg with parameters of type EqualitySet
 boolean UnionSetLattice.equals(EqualitySet<L> a, EqualitySet<L> b)
          Returns true if the sets a and b represent the same element in this set lattice.
 boolean UnionSetLattice.equals(EqualitySet<L> a, EqualitySet<L> b)
          Returns true if the sets a and b represent the same element in this set lattice.
 boolean IntersectionSetLattice.equals(EqualitySet<L> a, EqualitySet<L> b)
          Returns true if the sets a and b represent the same element in this set lattice.
 boolean IntersectionSetLattice.equals(EqualitySet<L> a, EqualitySet<L> b)
          Returns true if the sets a and b represent the same element in this set lattice.
 EqualitySet<L> UnionSetLattice.getLeastUpperBound(EqualitySet<L> a, EqualitySet<L> b)
          Returns the least upper bound of the sets a and b according to this set lattice.
 EqualitySet<L> UnionSetLattice.getLeastUpperBound(EqualitySet<L> a, EqualitySet<L> b)
          Returns the least upper bound of the sets a and b according to this set lattice.
 EqualitySet<L> IntersectionSetLattice.getLeastUpperBound(EqualitySet<L> a, EqualitySet<L> b)
          Returns the least upper bound of the sets a and b according to this set lattice.
 EqualitySet<L> IntersectionSetLattice.getLeastUpperBound(EqualitySet<L> a, EqualitySet<L> b)
          Returns the least upper bound of the sets a and b according to this set lattice.
 int UnionSetLattice.hashCode(EqualitySet<L> a)
          Returns the hashcode of the set a according to this set lattice.
 int IntersectionSetLattice.hashCode(EqualitySet<L> a)
          Returns the hashcode of the set a according to this set lattice.
 

Constructors in tip.cfg with parameters of type EqualitySet
MapLattice(EqualitySet<A> domainSet, Lattice<L> rangeLattice)
          Creates a new map lattice using rangeLattice as the lattice for range elements and domainSet as the domain set.
 

Uses of EqualitySet in tip.cfg.dfa
 

Methods in tip.cfg.dfa with parameters of type EqualitySet
 String VeryBusyExpressionsAnalysis.getVariableString(EqualitySet<ABinopExp> variable)
           
 String AvailableExpressionsAnalysis.getVariableString(EqualitySet<ABinopExp> variable)
          Returns a textual representation of variable.
 String LivenessAnalysis.getVariableString(EqualitySet<ALocalDecl> variable)
          Returns a textual representation of variable.
 String ReachingDefinitionsAnalysis.getVariableString(EqualitySet<CAssignVarStmPoint> variable)
           
 String ShapeAnalysis.getVariableString(EqualitySet<tip.cfg.dfa.ShapeAnalysis.TargetPair> variable)
           
 

Uses of EqualitySet in tip.util
 

Methods in tip.util that return EqualitySet
 EqualitySet<E> EqualitySet.clone()
          Returns a shallow clone of this set.
 EqualitySet<K> EqualityMap.keySet()
          
 

Methods in tip.util with parameters of type EqualitySet
 boolean EqualitySet.addAll(EqualitySet<E> c)
          Adds all elements in c to the set.