All Methods Instance Methods Abstract Methods Default Methods
Modifier and Type	Method	Description
`default AxiomNameResolver`	`axiomAsConditionalDefault()`
`Optional<AxiomItemDefinition>`	`childItemDef(AxiomName statement)`
`void`	`endValue(SourceLocation loc)`
`Optional<AxiomItemDefinition>`	`infraItemDef(AxiomName item)`
`AxiomBuilderStreamTarget.ItemBuilder`	`startInfra(AxiomName identifier, SourceLocation loc)`
`AxiomBuilderStreamTarget.ItemBuilder`	`startItem(AxiomName identifier, SourceLocation loc)`

Optional<AxiomItemDefinition> childItemDef(AxiomName statement)

Optional<AxiomItemDefinition> infraItemDef(AxiomName item)

AxiomBuilderStreamTarget.ItemBuilder startItem(AxiomName identifier,
                                               SourceLocation loc)

AxiomBuilderStreamTarget.ItemBuilder startInfra(AxiomName identifier,
                                                SourceLocation loc)

default AxiomNameResolver axiomAsConditionalDefault()

Interface AxiomBuilderStreamTarget.ValueBuilder