Enum NodeKind 

pub enum NodeKind {
    Scalar {
        name: Ident,
    },
    Array {
        name: Ident,
        length: Expression,
    },
    Matrix {
        name: Ident,
        rows: Reference,
        cols: Reference,
    },
    Tuple {
        elements: Vec<NodeId>,
    },
    Repeat {
        count: Expression,
        index_var: Option<Ident>,
        body: Vec<NodeId>,
    },
    Section {
        header: Option<NodeId>,
        body: Vec<NodeId>,
    },
    Sequence {
        children: Vec<NodeId>,
    },
    Choice {
        tag: Reference,
        variants: Vec<(Literal, Vec<NodeId>)>,
    },
    Hole {
        expected_kind: Option<NodeKindHint>,
    },
}

The kind of structure node in a competitive programming problem specification.

Rev.1: Rich variants with embedded data. Type and separator info moved to ConstraintAST (TypeDecl, RenderHint).

Variants

Scalar

Single variable: N, M, S, etc.

Fields

name: Ident

Array

1D array: A_1 … A_N.

Fields

name: Ident

length: Expression

Matrix

2D grid, such as C[i][j] or A_{i,j}.

Fields

name: Ident

rows: Reference

cols: Reference

Tuple

Same-line variable group: (N, M, K), (u_i, v_i).

Fields

elements: Vec<NodeId>

Repeat

Variable-dependent repetition: M lines, T test cases.

Fields

count: Expression

index_var: Option<Ident>

body: Vec<NodeId>

Section

Semantically delimited block: header + body.

Fields

header: Option<NodeId>

body: Vec<NodeId>

Sequence

Ordered root of the entire input.

Fields

children: Vec<NodeId>

Choice

Tag-dependent branching (query type variants).

Fields

tag: Reference

variants: Vec<(Literal, Vec<NodeId>)>

Hole

Unfilled position (first-class hole).

Fields

expected_kind: Option<NodeKindHint>

Trait Implementations

impl Clone for NodeKind

fn clone(&self) -> NodeKind

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for NodeKind

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl PartialEq for NodeKind

fn eq(&self, other: &NodeKind) -> bool

Tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl StructuralPartialEq for NodeKind