tiny.choir.egraph
Defined in tiny.choir.
API (25)
Types and contracts
Public types and contracts.
CandidateFnClassIdConstantModelConstantStorageCostModelExtractionGraphGraphStatsNodeNodeKindOpCostPatternRulePopulateRulesFnRewriteContextRewriteFnRewriteRuleRewriteSetScalarTypeClassValueEntry
Namespaces
Public namespaces.
Source
Source: lib/choir/src/egraph/root.zig
zig
pub const node = @import("node.zig");pub const graph = @import("graph.zig");pub const rules = @import("rules.zig");pub const pattern = @import("pattern.zig");pub const extract = @import("extract.zig");pub const ClassId = node.ClassId;pub const ValueEntry = node.ValueEntry;pub const NodeKind = node.NodeKind;pub const Node = node.Node;pub const GraphStats = graph.GraphStats;pub const Graph = graph.Graph;pub const RewriteContext = rules.RewriteContext;pub const RewriteFn = rules.RewriteFn;pub const RewriteRule = rules.RewriteRule;pub const RewriteSet = rules.RewriteSet;pub const CandidateFn = rules.CandidateFn;pub const PopulateRulesFn = rules.PopulateRulesFn;pub const Scalar = pattern.Scalar;pub const TypeClass = pattern.TypeClass;pub const ConstantStorage = pattern.ConstantStorage;pub const ConstantModel = pattern.ConstantModel;pub const PatternRule = pattern.Rule;pub const OpCost = extract.OpCost;pub const CostModel = extract.CostModel;pub const Extraction = extract.Extraction;Source: lib/choir/src/root.zig:17
zig
pub const egraph = @import("egraph/root.zig");Audit
| Definitions | 1 |
|---|---|
| Public names | 1 |
| Members | 0 |
| Version | 26.7.0 |
| Revision | daab053ee433 |