Function sequant::detail::rename(Variable&, PreprocessResult&, const std::function<bool(const Variable&)>&)

• Defined in File export.cpp

Function Documentation

bool sequant::detail::rename(Variable &variable, PreprocessResult &result, const std::function<bool(const Variable&)> &acceptable)

Renames the given Variable to a name that doesn’t collide with any currently loaded object. This may reuse previously used/declares variables.

Parameters:

acceptable – If provided, only names for which this predicate returns true are considered. In this case, the variable need not be loaded.