GraphBuilder.vars

GraphBuilder.vars#

GraphBuilder.vars: list[Var]#

The variables that were explicitly added to the graph.