Uses of Class
pascal.taie.analysis.dataflow.fact.MapFact

Packages that use MapFact

Package	Description
pascal.taie.analysis.dataflow.analysis.constprop
pascal.taie.analysis.dataflow.fact

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

Subclasses of MapFact in pascal.taie.analysis.dataflow.analysis.constprop

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

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

Methods in pascal.taie.analysis.dataflow.fact that return MapFact

Modifier and Type	Method	Description
MapFact<K,V>	MapFact.copy()	Creates and returns a copy of this fact.

Methods in pascal.taie.analysis.dataflow.fact with parameters of type MapFact

Modifier and Type	Method	Description
boolean	MapFact.copyFrom(MapFact<K,V> fact)	Copies the content from given fact to this fact.