Function sequant::detail::rename(Variable&, PreprocessResult&)

• Defined in File export.cpp

Function Documentation

bool sequant::detail::rename(Variable &variable, PreprocessResult &result)

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