Uses of Package
pascal.taie.analysis.dataflow.fact

Packages that use pascal.taie.analysis.dataflow.fact

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

Classes in pascal.taie.analysis.dataflow.fact used by pascal.taie.analysis.dataflow.analysis

Class	Description
DataflowResult	An object which manages the data-flow facts associated with nodes.

Classes in pascal.taie.analysis.dataflow.fact used by pascal.taie.analysis.dataflow.analysis.constprop

Class	Description
MapFact	Represents map-like data-flow facts.

Classes in pascal.taie.analysis.dataflow.fact used by pascal.taie.analysis.dataflow.fact

Class	Description
MapFact	Represents map-like data-flow facts.
NodeResult	An interface for querying data-flow results.
SetFact	Represents set-like data-flow facts.
ToppedSetFact	Represents set-like data-flow facts.

Classes in pascal.taie.analysis.dataflow.fact used by pascal.taie.analysis.dataflow.inter

Class	Description
DataflowResult	An object which manages the data-flow facts associated with nodes.

Classes in pascal.taie.analysis.dataflow.fact used by pascal.taie.analysis.dataflow.solver

Class	Description
DataflowResult	An object which manages the data-flow facts associated with nodes.