Class SolverHolder

java.lang.Object
pascal.taie.analysis.pta.plugin.util.SolverHolder
Direct Known Subclasses:
AbstractIRModel, AbstractModel, AnalysisModelPlugin, IRModelPlugin

public abstract class SolverHolder extends Object
Base class for the objects that holds a Solver. It also stores various objects obtained from the Solver, so that its subclasses can directly access these objects.
  • Field Details

  • Constructor Details

    • SolverHolder

      protected SolverHolder(Solver solver)