public ExpressionDecoder(IILDecoder <APC, TSymbolicValue, TSymbolicValue, IValueContextProvider <TSymbolicValue>, TEdgeData> valueDecoder,
ExpressionAnalysisFacade <TSymbolicValue, TContext, TEdgeData> parent)
{
this.value_decoder = valueDecoder;
this.parent = parent;
this.underlying = valueDecoder.ContextProvider;
}
public ValueAnalysis(ExpressionAnalysisFacade <SymbolicValue, Context, EdgeData> parent)
{
this.parent = parent;
}
