#include <graph.h>
Map from variable key to parent key
Definition at line 58 of file graph.h.
convenience insert so we can pass ints for TypedSymbol keys
Definition at line 61 of file graph.h.