The configuration of an AbstractInterpreter, i.e. the configuration of a semantic control flow graph visitor without the visiting order (which is fixed by the abstract interpreter).
The configuration of an AbstractInterpreter, i.e. the configuration of a semantic control flow graph visitor without the visiting order (which is fixed by the abstract interpreter).