If this graph represent Lambda abstraction, the boundVars is lambda bound symbols.
If this graph represent Lambda abstraction, the boundVars is lambda bound symbols. otherwise this is empty set.
Whether this graph represents identity function.
Whether this graph represents identity function.
Terminal nodes of the graph.
Terminal nodes of the graph. There are incoming, but no outgoing edges.
Schedule represents a body of compound definition - topologically ordered sequence of nodes of the graph.
Schedule represents a body of compound definition - topologically ordered sequence of nodes of the graph. It is implemented differently depending on node type.
Lambda, ThunkDef
Flatten the given schedule into single sequence of non-AstGraph definitions.
Flatten the given schedule into single sequence of non-AstGraph definitions.
All scope forming definitions like Lambda and ThunkDef are recursively unfolded in the given buffer flatBuf
.
NOTE: The symbols of AstGraph-like definitions are added to flatBuf
AFTER the unfolded body.
Build usage information induced by the given schedule.
Build usage information induced by the given schedule. For each symbol of the schedule a GraphNode is created and usages are collected.
Dependencies of this definition from other definitions.
Dependencies of this definition from other definitions.
If definition is interpreted as an operation, then dependencies are arguments
of the operation.
If definition if compound (like Lambda of ThunkDef) then deps
is equals to
free variables used in the body of the compound definition.
This array also refers to predecessors of this graph node, so it is used
to build topological ordering (execution schedule) of operations.
array of referencies to other definitions.
Set of symbol ids in the schedule.
Set of symbol ids in the schedule. Can be used to quickly recognize symbols belonging to the body of this definition.
All data elements of this graph node to be used in structural equality.
All data elements of this graph node to be used in structural equality.
equals where elements are used.
Default equality of definitions.
Default equality of definitions.
Two definitions are equal if they have same elements
.
Collect a set of symbols used in the graph but which are not part of its schedule.
Collect a set of symbols used in the graph but which are not part of its schedule.
If the graph represents a compound definition (Lambda, Thunk etc),
then each item in freeVars
is used in the body, but not part of it.
Intersection of free vars with bound vars is empty.
Override to redefine how dependencies are computed.
Override to redefine how dependencies are computed.
For example, in core
implementation this is overriden in Lambda and ThunkDef using freeVars.
Computed once and saved to avoid repeated computations, which is not necessary because definitions are immutable by default.
Computed once and saved to avoid repeated computations, which is not necessary because definitions are immutable by default. If some definition require mutability, this method can be overriden accordingly.
Checks the symbol is lambda bound.
Checks the symbol is lambda bound.
Unique id of the graph node assigned for each new instance using
freshId
generator.
Unique id of the graph node assigned for each new instance using
freshId
generator.
Doesn't participate in equality of this Def, thus definitions with
different ids may still be structurally equal.
Used to provide global Def numbering.
Extract identifies out of roots
.
Sequence of node references forming a schedule.
References to other nodes in this Def instance.
References to other nodes in this Def instance.
Note: This is different form deps
for compound definitions like Lambda and ThunkDef.
User readable string representation of this definition.
User readable string representation of this definition. (for debugging only)
Symbol Usage information for this graph
Base class for all compound nodes with schedule (e.g. Lambda, ThunkDef). The graph is directed acyclic (i.e. DAG) in which edges go from
boundVars
down toroots
.