Package pascal.taie.analysis.dataflow.fact

package pascal.taie.analysis.dataflow.fact
  • Class
    Description
    DataflowResult<Node,Fact>
    An object which manages the data-flow facts associated with nodes.
    MapFact<K,V>
    Represents map-like data-flow facts.
    NodeResult<Node,Fact>
    An interface for querying data-flow results.
    SetFact<E>
    Represents set-like data-flow facts.
    ToppedSetFact<E>
    Represents set-like data-flow facts.