[silver:compiler:definition:flow:ast]
Contents of [silver:compiler:definition:flow:ast]
:
Defined in this grammar:
Contained in grammar [silver:compiler:definition:flow:ast]
. Defined at silver/compiler/definition/flow/ast/DecSiteTree.sv line 1.
(Undocumented.)
Contained in grammar [silver:compiler:definition:flow:ast]
. Defined at silver/compiler/definition/flow/ast/DecSiteTree.sv line 10.
(Undocumented.)
Contained in grammar [silver:compiler:definition:flow:ast]
. Defined at silver/compiler/definition/flow/ast/DecSiteTree.sv line 11.
(Undocumented.)
Contained in grammar [silver:compiler:definition:flow:ast]
. Defined at silver/compiler/definition/flow/ast/DecSiteTree.sv line 12.
(Undocumented.)
Contained in grammar [silver:compiler:definition:flow:ast]
. Defined at silver/compiler/definition/flow/ast/DecSiteTree.sv line 14.
(Undocumented.)
Contained in grammar [silver:compiler:definition:flow:ast]
. Defined at silver/compiler/definition/flow/ast/DecSiteTree.sv line 15.
(Undocumented.)
aspect default production top::DecSiteTree ::=
{#aspect_default_production_silver:compiler:definition:flow:ast:DecSiteTree}
Contained in grammar [silver:compiler:definition:flow:ast]
. Defined at silver/compiler/definition/flow/ast/DecSiteTree.sv line 17.
(Undocumented.)
Contained in grammar [silver:compiler:definition:flow:ast]
. Defined at silver/compiler/definition/flow/ast/DecSiteTree.sv line 29.
(Undocumented.)
Contained in grammar [silver:compiler:definition:flow:ast]
. Defined at silver/compiler/definition/flow/ast/DecSiteTree.sv line 40.
(Undocumented.)
Contained in grammar [silver:compiler:definition:flow:ast]
. Defined at silver/compiler/definition/flow/ast/DecSiteTree.sv line 50.
(Undocumented.)
Contained in grammar [silver:compiler:definition:flow:ast]
. Defined at silver/compiler/definition/flow/ast/DecSiteTree.sv line 63.
(Undocumented.)
abstract production viaProdVertexDec
(top::DecSiteTree ::= prodName::String vt::VertexType d::DecSiteTree
)
Contained in grammar [silver:compiler:definition:flow:ast]
. Defined at silver/compiler/definition/flow/ast/DecSiteTree.sv line 73.
(Undocumented.)
Contained in grammar [silver:compiler:definition:flow:ast]
. Defined at silver/compiler/definition/flow/ast/DecSiteTree.sv line 86.
(Undocumented.)
Contained in grammar [silver:compiler:definition:flow:ast]
. Defined at silver/compiler/definition/flow/ast/DecSiteTree.sv line 99.
(Undocumented.)
Contained in grammar [silver:compiler:definition:flow:ast]
. Defined at silver/compiler/definition/flow/ast/DecSiteTree.sv line 112.
(Undocumented.)
abstract production projectedDepsDec
(top::DecSiteTree ::= prodName::String sigName::String d::DecSiteTree
)
Contained in grammar [silver:compiler:definition:flow:ast]
. Defined at silver/compiler/definition/flow/ast/DecSiteTree.sv line 123.
(Undocumented.)
Contained in grammar [silver:compiler:definition:flow:ast]
. Defined at silver/compiler/definition/flow/ast/DecSiteTree.sv line 134.
(Undocumented.)
Contained in grammar [silver:compiler:definition:flow:ast]
. Defined at silver/compiler/definition/flow/ast/DecSiteTree.sv line 142.
(Undocumented.)
instance silver:core:Eq silver:compiler:definition:flow:ast:DecSiteTree
{#instance_silver:core:Eq_silver:compiler:definition:flow:ast:DecSiteTree}
Contained in grammar [silver:compiler:definition:flow:ast]
. Defined at silver/compiler/definition/flow/ast/DecSiteTree.sv line 160.
(Undocumented.)
instance silver:core:Eq silver:compiler:definition:flow:ast:DecSiteTree
.eq
{#instance_silver:core:Eq_silver:compiler:definition:flow:ast:DecSiteTree.eq}
Contained in grammar [silver:compiler:definition:flow:ast]
. Defined at silver/compiler/definition/flow/ast/DecSiteTree.sv line 160.
(Undocumented.)
instance silver:core:Eq silver:compiler:definition:flow:ast:DecSiteTree
.neq
{#instance_silver:core:Eq_silver:compiler:definition:flow:ast:DecSiteTree.neq}
Contained in grammar [silver:compiler:definition:flow:ast]
. Defined at silver/compiler/definition/flow/ast/DecSiteTree.sv line 160.
(Undocumented.)
instance silver:core:Ord silver:compiler:definition:flow:ast:DecSiteTree
{#instance_silver:core:Ord_silver:compiler:definition:flow:ast:DecSiteTree}
Contained in grammar [silver:compiler:definition:flow:ast]
. Defined at silver/compiler/definition/flow/ast/DecSiteTree.sv line 160.
(Undocumented.)
instance silver:core:Ord silver:compiler:definition:flow:ast:DecSiteTree
.compare
{#instance_silver:core:Ord_silver:compiler:definition:flow:ast:DecSiteTree.compare}
Contained in grammar [silver:compiler:definition:flow:ast]
. Defined at silver/compiler/definition/flow/ast/DecSiteTree.sv line 160.
(Undocumented.)
Contained in grammar [silver:compiler:definition:flow:ast]
. Defined at silver/compiler/definition/flow/ast/DecSiteTree.sv line 162.
(Undocumented.)
Contained in grammar [silver:compiler:definition:flow:ast]
. Defined at silver/compiler/definition/flow/ast/DecSiteTree.sv line 163.
(Undocumented.)
Contained in grammar [silver:compiler:definition:flow:ast]
. Defined at silver/compiler/definition/flow/ast/DecSiteTree.sv line 164.
(Undocumented.)
Contained in grammar [silver:compiler:definition:flow:ast]
. Defined at silver/compiler/definition/flow/ast/DecSiteTree.sv line 165.
(Undocumented.)
Contained in grammar [silver:compiler:definition:flow:ast]
. Defined at silver/compiler/definition/flow/ast/DecSiteTree.sv line 166.
(Undocumented.)
Contained in grammar [silver:compiler:definition:flow:ast]
. Defined at silver/compiler/definition/flow/ast/Flow.sv line 14.
(Undocumented.)
Contained in grammar [silver:compiler:definition:flow:ast]
. Defined at silver/compiler/definition/flow/ast/Flow.sv line 15.
(Undocumented.)
Contained in grammar [silver:compiler:definition:flow:ast]
. Defined at silver/compiler/definition/flow/ast/Flow.sv line 20.
(Undocumented.)
Contained in grammar [silver:compiler:definition:flow:ast]
. Defined at silver/compiler/definition/flow/ast/Flow.sv line 24.
(Undocumented.)
Contained in grammar [silver:compiler:definition:flow:ast]
. Defined at silver/compiler/definition/flow/ast/Flow.sv line 28.
(Undocumented.)
Contained in grammar [silver:compiler:definition:flow:ast]
. Defined at silver/compiler/definition/flow/ast/Flow.sv line 32.
(Undocumented.)
Contained in grammar [silver:compiler:definition:flow:ast]
. Defined at silver/compiler/definition/flow/ast/Flow.sv line 36.
(Undocumented.)
Contained in grammar [silver:compiler:definition:flow:ast]
. Defined at silver/compiler/definition/flow/ast/Flow.sv line 40.
(Undocumented.)
Contained in grammar [silver:compiler:definition:flow:ast]
. Defined at silver/compiler/definition/flow/ast/Flow.sv line 43.
(Undocumented.)
Contained in grammar [silver:compiler:definition:flow:ast]
. Defined at silver/compiler/definition/flow/ast/Flow.sv line 47.
(Undocumented.)
Contained in grammar [silver:compiler:definition:flow:ast]
. Defined at silver/compiler/definition/flow/ast/Flow.sv line 50.
(Undocumented.)
Contained in grammar [silver:compiler:definition:flow:ast]
. Defined at silver/compiler/definition/flow/ast/Flow.sv line 55.
(Undocumented.)
Contained in grammar [silver:compiler:definition:flow:ast]
. Defined at silver/compiler/definition/flow/ast/Flow.sv line 59.
(Undocumented.)
Contained in grammar [silver:compiler:definition:flow:ast]
. Defined at silver/compiler/definition/flow/ast/Flow.sv line 65.
(Undocumented.)
Contained in grammar [silver:compiler:definition:flow:ast]
. Defined at silver/compiler/definition/flow/ast/Flow.sv line 68.
(Undocumented.)
Contained in grammar [silver:compiler:definition:flow:ast]
. Defined at silver/compiler/definition/flow/ast/Flow.sv line 71.
(Undocumented.)
Contained in grammar [silver:compiler:definition:flow:ast]
. Defined at silver/compiler/definition/flow/ast/Flow.sv line 75.
(Undocumented.)
Contained in grammar [silver:compiler:definition:flow:ast]
. Defined at silver/compiler/definition/flow/ast/Flow.sv line 78.
(Undocumented.)
Contained in grammar [silver:compiler:definition:flow:ast]
. Defined at silver/compiler/definition/flow/ast/Flow.sv line 81.
(Undocumented.)
Contained in grammar [silver:compiler:definition:flow:ast]
. Defined at silver/compiler/definition/flow/ast/Flow.sv line 96.
(Undocumented.)
Contained in grammar [silver:compiler:definition:flow:ast]
. Defined at silver/compiler/definition/flow/ast/Flow.sv line 100.
(Undocumented.)
aspect default production top::FlowDef ::=
{#aspect_default_production_silver:compiler:definition:flow:ast:FlowDef}
Contained in grammar [silver:compiler:definition:flow:ast]
. Defined at silver/compiler/definition/flow/ast/Flow.sv line 110.
(Undocumented.)
Contained in grammar [silver:compiler:definition:flow:ast]
. Defined at silver/compiler/definition/flow/ast/Flow.sv line 138.
(Undocumented.)
abstract production implFlowDef
(top::FlowDef ::= dispatchSig::String prod::String sigNames::[String]
)
Contained in grammar [silver:compiler:definition:flow:ast]
. Defined at silver/compiler/definition/flow/ast/Flow.sv line 154.
(Undocumented.)
Contained in grammar [silver:compiler:definition:flow:ast]
. Defined at silver/compiler/definition/flow/ast/Flow.sv line 170.
(Undocumented.)
Contained in grammar [silver:compiler:definition:flow:ast]
. Defined at silver/compiler/definition/flow/ast/Flow.sv line 186.
(Undocumented.)
abstract production synEq
(top::FlowDef ::= prod::String attr::String deps::[FlowVertex] mayAffectFlowType::Boolean
)
Contained in grammar [silver:compiler:definition:flow:ast]
. Defined at silver/compiler/definition/flow/ast/Flow.sv line 202.
(Undocumented.)
abstract production inhEq
(top::FlowDef ::= prod::String sigName::String attr::String deps::[FlowVertex]
)
Contained in grammar [silver:compiler:definition:flow:ast]
. Defined at silver/compiler/definition/flow/ast/Flow.sv line 221.
(Undocumented.)
abstract production fwdEq
(top::FlowDef ::= prod::String deps::[FlowVertex] mayAffectFlowType::Boolean
)
Contained in grammar [silver:compiler:definition:flow:ast]
. Defined at silver/compiler/definition/flow/ast/Flow.sv line 236.
(Undocumented.)
Contained in grammar [silver:compiler:definition:flow:ast]
. Defined at silver/compiler/definition/flow/ast/Flow.sv line 253.
(Undocumented.)
Contained in grammar [silver:compiler:definition:flow:ast]
. Defined at silver/compiler/definition/flow/ast/Flow.sv line 269.
(Undocumented.)
abstract production localEq
(top::FlowDef ::= prod::String fName::String typeName::String isNT::Boolean isFwrd::Boolean deps::[FlowVertex]
)
Contained in grammar [silver:compiler:definition:flow:ast]
. Defined at silver/compiler/definition/flow/ast/Flow.sv line 289.
(Undocumented.)
abstract production localInhEq
(top::FlowDef ::= prod::String fName::String attr::String deps::[FlowVertex]
)
Contained in grammar [silver:compiler:definition:flow:ast]
. Defined at silver/compiler/definition/flow/ast/Flow.sv line 306.
(Undocumented.)
abstract production transInhEq
(top::FlowDef ::= prod::String sigName::String transAttr::String attr::String deps::[FlowVertex]
)
Contained in grammar [silver:compiler:definition:flow:ast]
. Defined at silver/compiler/definition/flow/ast/Flow.sv line 324.
(Undocumented.)
abstract production localTransInhEq
(top::FlowDef ::= prod::String fName::String transAttr::String attr::String deps::[FlowVertex]
)
Contained in grammar [silver:compiler:definition:flow:ast]
. Defined at silver/compiler/definition/flow/ast/Flow.sv line 342.
(Undocumented.)
abstract production extraEq
(top::FlowDef ::= prod::String src::FlowVertex deps::[FlowVertex] mayAffectFlowType::Boolean
)
Contained in grammar [silver:compiler:definition:flow:ast]
. Defined at silver/compiler/definition/flow/ast/Flow.sv line 358.
(Undocumented.)
abstract production anonEq
(top::FlowDef ::= prod::String fName::String typeName::String isNT::Boolean loc::Location deps::[FlowVertex]
)
Contained in grammar [silver:compiler:definition:flow:ast]
. Defined at silver/compiler/definition/flow/ast/Flow.sv line 377.
(Undocumented.)
abstract production anonInhEq
(top::FlowDef ::= prod::String fName::String attr::String deps::[FlowVertex]
)
Contained in grammar [silver:compiler:definition:flow:ast]
. Defined at silver/compiler/definition/flow/ast/Flow.sv line 394.
(Undocumented.)
abstract production synOccursContextEq
(top::FlowDef ::= prod::String vt::VertexType attr::String deps::[String]
)
Contained in grammar [silver:compiler:definition:flow:ast]
. Defined at silver/compiler/definition/flow/ast/Flow.sv line 410.
(Undocumented.)
abstract production patternRuleEq
(top::FlowDef ::= prod::String matchProd::String scrutinee::VertexType vars::[PatternVarProjection]
)
Contained in grammar [silver:compiler:definition:flow:ast]
. Defined at silver/compiler/definition/flow/ast/Flow.sv line 422.
(Undocumented.)
Contained in grammar [silver:compiler:definition:flow:ast]
. Defined at silver/compiler/definition/flow/ast/Flow.sv line 429.
(Undocumented.)
abstract production patternVarProjection
(PatternVarProjection ::= child::String typeName::String patternVar::String
)
Contained in grammar [silver:compiler:definition:flow:ast]
. Defined at silver/compiler/definition/flow/ast/Flow.sv line 430.
(Undocumented.)
abstract production subtermDecEq
(top::FlowDef ::= prod::String parent::VertexType termProd::String nt::String sigName::String
)
Contained in grammar [silver:compiler:definition:flow:ast]
. Defined at silver/compiler/definition/flow/ast/Flow.sv line 441.
(Undocumented.)
abstract production refDecSiteEq
(top::FlowDef ::= prod::String nt::String ref::VertexType decSite::VertexType alwaysDec::Boolean
)
Contained in grammar [silver:compiler:definition:flow:ast]
. Defined at silver/compiler/definition/flow/ast/Flow.sv line 457.
(Undocumented.)
abstract production sigShareSite
(top::FlowDef ::= prod::String nt::String sigName::String sourceProd::String source::VertexType parent::VertexType
)
Contained in grammar [silver:compiler:definition:flow:ast]
. Defined at silver/compiler/definition/flow/ast/Flow.sv line 476.
(Undocumented.)
Contained in grammar [silver:compiler:definition:flow:ast]
. Defined at silver/compiler/definition/flow/ast/Flow.sv line 486.
(Undocumented.)
Contained in grammar [silver:compiler:definition:flow:ast]
. Defined at silver/compiler/definition/flow/ast/Flow.sv line 491.
(Undocumented.)
Contained in grammar [silver:compiler:definition:flow:ast]
. Defined at silver/compiler/definition/flow/ast/Flow.sv line 493.
(Undocumented.)
Contained in grammar [silver:compiler:definition:flow:ast]
. Defined at silver/compiler/definition/flow/ast/Vertex.sv line 8.
(Undocumented.)
Contained in grammar [silver:compiler:definition:flow:ast]
. Defined at silver/compiler/definition/flow/ast/Vertex.sv line 14.
(Undocumented.)
Contained in grammar [silver:compiler:definition:flow:ast]
. Defined at silver/compiler/definition/flow/ast/Vertex.sv line 24.
(Undocumented.)
Contained in grammar [silver:compiler:definition:flow:ast]
. Defined at silver/compiler/definition/flow/ast/Vertex.sv line 32.
(Undocumented.)
Contained in grammar [silver:compiler:definition:flow:ast]
. Defined at silver/compiler/definition/flow/ast/Vertex.sv line 40.
(Undocumented.)
Contained in grammar [silver:compiler:definition:flow:ast]
. Defined at silver/compiler/definition/flow/ast/Vertex.sv line 50.
(Undocumented.)
Contained in grammar [silver:compiler:definition:flow:ast]
. Defined at silver/compiler/definition/flow/ast/Vertex.sv line 60.
(Undocumented.)
Contained in grammar [silver:compiler:definition:flow:ast]
. Defined at silver/compiler/definition/flow/ast/Vertex.sv line 70.
(Undocumented.)
Contained in grammar [silver:compiler:definition:flow:ast]
. Defined at silver/compiler/definition/flow/ast/Vertex.sv line 78.
(Undocumented.)
Contained in grammar [silver:compiler:definition:flow:ast]
. Defined at silver/compiler/definition/flow/ast/Vertex.sv line 87.
(Undocumented.)
Contained in grammar [silver:compiler:definition:flow:ast]
. Defined at silver/compiler/definition/flow/ast/Vertex.sv line 96.
(Undocumented.)
abstract production subtermSynVertex
(FlowVertex ::= parent::VertexType prodName::String sigName::String attrName::String
)
Contained in grammar [silver:compiler:definition:flow:ast]
. Defined at silver/compiler/definition/flow/ast/Vertex.sv line 108.
(Undocumented.)
abstract production subtermInhVertex
(FlowVertex ::= parent::VertexType prodName::String sigName::String attrName::String
)
Contained in grammar [silver:compiler:definition:flow:ast]
. Defined at silver/compiler/definition/flow/ast/Vertex.sv line 120.
(Undocumented.)
instance silver:core:Eq silver:compiler:definition:flow:ast:FlowVertex
{#instance_silver:core:Eq_silver:compiler:definition:flow:ast:FlowVertex}
Contained in grammar [silver:compiler:definition:flow:ast]
. Defined at silver/compiler/definition/flow/ast/Vertex.sv line 123.
(Undocumented.)
instance silver:core:Eq silver:compiler:definition:flow:ast:FlowVertex
.eq
{#instance_silver:core:Eq_silver:compiler:definition:flow:ast:FlowVertex.eq}
Contained in grammar [silver:compiler:definition:flow:ast]
. Defined at silver/compiler/definition/flow/ast/Vertex.sv line 123.
(Undocumented.)
instance silver:core:Eq silver:compiler:definition:flow:ast:FlowVertex
.neq
{#instance_silver:core:Eq_silver:compiler:definition:flow:ast:FlowVertex.neq}
Contained in grammar [silver:compiler:definition:flow:ast]
. Defined at silver/compiler/definition/flow/ast/Vertex.sv line 123.
(Undocumented.)
instance silver:core:Ord silver:compiler:definition:flow:ast:FlowVertex
{#instance_silver:core:Ord_silver:compiler:definition:flow:ast:FlowVertex}
Contained in grammar [silver:compiler:definition:flow:ast]
. Defined at silver/compiler/definition/flow/ast/Vertex.sv line 123.
(Undocumented.)
instance silver:core:Ord silver:compiler:definition:flow:ast:FlowVertex
.compare
{#instance_silver:core:Ord_silver:compiler:definition:flow:ast:FlowVertex.compare}
Contained in grammar [silver:compiler:definition:flow:ast]
. Defined at silver/compiler/definition/flow/ast/Vertex.sv line 123.
(Undocumented.)
Contained in grammar [silver:compiler:definition:flow:ast]
. Defined at silver/compiler/definition/flow/ast/Vertex.sv line 127.
(Undocumented.)
Contained in grammar [silver:compiler:definition:flow:ast]
. Defined at silver/compiler/definition/flow/ast/Vertex.sv line 130.
(Undocumented.)
Contained in grammar [silver:compiler:definition:flow:ast]
. Defined at silver/compiler/definition/flow/ast/Vertex.sv line 131.
(Undocumented.)
Contained in grammar [silver:compiler:definition:flow:ast]
. Defined at silver/compiler/definition/flow/ast/Vertex.sv line 134.
(Undocumented.)
Contained in grammar [silver:compiler:definition:flow:ast]
. Defined at silver/compiler/definition/flow/ast/VertexType.sv line 10.
(Undocumented.)
instance silver:core:Eq silver:compiler:definition:flow:ast:VertexType
{#instance_silver:core:Eq_silver:compiler:definition:flow:ast:VertexType}
Contained in grammar [silver:compiler:definition:flow:ast]
. Defined at silver/compiler/definition/flow/ast/VertexType.sv line 13.
(Undocumented.)
instance silver:core:Eq silver:compiler:definition:flow:ast:VertexType
.eq
{#instance_silver:core:Eq_silver:compiler:definition:flow:ast:VertexType.eq}
Contained in grammar [silver:compiler:definition:flow:ast]
. Defined at silver/compiler/definition/flow/ast/VertexType.sv line 13.
(Undocumented.)
instance silver:core:Eq silver:compiler:definition:flow:ast:VertexType
.neq
{#instance_silver:core:Eq_silver:compiler:definition:flow:ast:VertexType.neq}
Contained in grammar [silver:compiler:definition:flow:ast]
. Defined at silver/compiler/definition/flow/ast/VertexType.sv line 13.
(Undocumented.)
instance silver:core:Ord silver:compiler:definition:flow:ast:VertexType
{#instance_silver:core:Ord_silver:compiler:definition:flow:ast:VertexType}
Contained in grammar [silver:compiler:definition:flow:ast]
. Defined at silver/compiler/definition/flow/ast/VertexType.sv line 13.
(Undocumented.)
instance silver:core:Ord silver:compiler:definition:flow:ast:VertexType
.compare
{#instance_silver:core:Ord_silver:compiler:definition:flow:ast:VertexType.compare}
Contained in grammar [silver:compiler:definition:flow:ast]
. Defined at silver/compiler/definition/flow/ast/VertexType.sv line 13.
(Undocumented.)
Contained in grammar [silver:compiler:definition:flow:ast]
. Defined at silver/compiler/definition/flow/ast/VertexType.sv line 15.
(Undocumented.)
Contained in grammar [silver:compiler:definition:flow:ast]
. Defined at silver/compiler/definition/flow/ast/VertexType.sv line 16.
(Undocumented.)
Contained in grammar [silver:compiler:definition:flow:ast]
. Defined at silver/compiler/definition/flow/ast/VertexType.sv line 17.
(Undocumented.)
Contained in grammar [silver:compiler:definition:flow:ast]
. Defined at silver/compiler/definition/flow/ast/VertexType.sv line 20.
(Undocumented.)
Contained in grammar [silver:compiler:definition:flow:ast]
. Defined at silver/compiler/definition/flow/ast/VertexType.sv line 22.
(Undocumented.)
Contained in grammar [silver:compiler:definition:flow:ast]
. Defined at silver/compiler/definition/flow/ast/VertexType.sv line 24.
(Undocumented.)
Contained in grammar [silver:compiler:definition:flow:ast]
. Defined at silver/compiler/definition/flow/ast/VertexType.sv line 26.
(Undocumented.)
Contained in grammar [silver:compiler:definition:flow:ast]
. Defined at silver/compiler/definition/flow/ast/VertexType.sv line 28.
(Undocumented.)
Contained in grammar [silver:compiler:definition:flow:ast]
. Defined at silver/compiler/definition/flow/ast/VertexType.sv line 29.
(Undocumented.)
Contained in grammar [silver:compiler:definition:flow:ast]
. Defined at silver/compiler/definition/flow/ast/VertexType.sv line 32.
(Undocumented.)
Contained in grammar [silver:compiler:definition:flow:ast]
. Defined at silver/compiler/definition/flow/ast/VertexType.sv line 40.
(Undocumented.)
Contained in grammar [silver:compiler:definition:flow:ast]
. Defined at silver/compiler/definition/flow/ast/VertexType.sv line 55.
(Undocumented.)
Contained in grammar [silver:compiler:definition:flow:ast]
. Defined at silver/compiler/definition/flow/ast/VertexType.sv line 70.
(Undocumented.)
Contained in grammar [silver:compiler:definition:flow:ast]
. Defined at silver/compiler/definition/flow/ast/VertexType.sv line 85.
(Undocumented.)
Contained in grammar [silver:compiler:definition:flow:ast]
. Defined at silver/compiler/definition/flow/ast/VertexType.sv line 100.
(Undocumented.)
Contained in grammar [silver:compiler:definition:flow:ast]
. Defined at silver/compiler/definition/flow/ast/VertexType.sv line 112.
(Undocumented.)
Contained in grammar [silver:compiler:definition:flow:ast]
. Defined at silver/compiler/definition/flow/ast/VertexType.sv line 129.
(Undocumented.)
abstract production subtermVertexType
(top::VertexType ::= parent::VertexType prodName::String sigName::String
)
Contained in grammar [silver:compiler:definition:flow:ast]
. Defined at silver/compiler/definition/flow/ast/VertexType.sv line 144.
(Undocumented.)