Module air_ir::transition_constraints
source · Structs
The AlgebraicGraph is a directed acyclic graph used to represent transition constraints. To
store it compactly, it is represented as a vector of nodes where each node references other
nodes by their index in the vector.
Reference to a node in a graph by its index in the nodes vector of the graph struct.
Degree descriptor of a transition constraint.
Enums
A transition constraint operation or value reference.