Uses of Interface
pascal.taie.util.Copyable

Packages that use Copyable

Package	Description
pascal.taie.analysis.dataflow.analysis.constprop
pascal.taie.analysis.dataflow.fact
pascal.taie.analysis.pta.pts	Implementation of various points-to sets used in pointer analysis.
pascal.taie.util.collection

Uses of Copyable in pascal.taie.analysis.dataflow.analysis.constprop

Classes in pascal.taie.analysis.dataflow.analysis.constprop that implement Copyable

Modifier and Type	Class	Description
class	CPFact	Represents data facts of constant propagation, which maps variables to their lattice values.

Uses of Copyable in pascal.taie.analysis.dataflow.fact

Classes in pascal.taie.analysis.dataflow.fact that implement Copyable

Modifier and Type	Class	Description
class	MapFact<K,V>	Represents map-like data-flow facts.
class	SetFact<E>	Represents set-like data-flow facts.
class	ToppedSetFact<E>	Represents set-like data-flow facts.

Uses of Copyable in pascal.taie.analysis.pta.pts

Subinterfaces of Copyable in pascal.taie.analysis.pta.pts

Modifier and Type	Interface	Description
interface	PointsToSet	Representation of points-to sets that consist of CSObj.

Uses of Copyable in pascal.taie.util.collection

Subinterfaces of Copyable in pascal.taie.util.collection

Modifier and Type	Interface	Description
interface	IBitSet	Interface for different bit set implementations.
interface	SetEx<E>	This interface extends Set to provide more useful APIs.

Classes in pascal.taie.util.collection that implement Copyable

Modifier and Type	Class	Description
class	AbstractBitSet	Provides common functionality for IBitSet implementations.
class	AbstractHybridSet<E>	This set supports hybrid of two set implementations, where one is efficient for small set and another one is efficient for large set.
class	AbstractSetEx<E>
class	ArraySet<E>	Set implementation based on ArrayList.
class	GenericBitSet<E>	Bit set based implementation of Set.
final class	HybridBitSet<E>	Hybrid set that uses bit set for large set.
final class	HybridHashSet<E>	Hybrid set that uses hash set for large set.
class	HybridIndexableSet<E extends Indexable>	Hybrid set that uses indexable set for large set.
final class	HybridLinkedHashSet<E>	Hybrid set that uses linked hash set for large set.
class	IndexableSet<E extends Indexable>	An efficient set implementation for Indexable objects.
class	IndexerBitSet<E>	This implementation leverages Indexer to take care of the mappings between objects and indexes.
class	RegularBitSet	Regular bit set implementation.
class	SparseBitSet	Sparse bit set.