Uses of Class
pascal.taie.analysis.dataflow.analysis.constprop.Value

Packages that use Value

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

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

Methods in pascal.taie.analysis.dataflow.analysis.constprop that return Value

Modifier and Type	Method	Description
static Value	Evaluator.evaluate(Exp exp, CPFact in)	Evaluates the Value of given expression.
Value	CPFact.get(Var var)
static Value	Value.getNAC()
static Value	Value.getUndef()
static Value	Value.makeConstant(int value)	Makes a constant value.
Value	ConstantPropagation.Analysis.meetValue(Value v1, Value v2)	Meets two Values.

Methods in pascal.taie.analysis.dataflow.analysis.constprop with parameters of type Value

Modifier and Type	Method	Description
Value	ConstantPropagation.Analysis.meetValue(Value v1, Value v2)	Meets two Values.
boolean	CPFact.update(Var var, Value value)