cp-ast-core 0.1.3

Core AST types for competitive programming problem specification DSL
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55

use super::types::{ConstraintDef, FillContent, SumBoundDef};
use crate::constraint::ConstraintId;
use crate::structure::{Literal, NodeId};

/// An action that can be applied to the AST.
///
/// Actions are the atomic operations that modify the `StructureAST` and `ConstraintSet`.
#[derive(Debug, Clone, PartialEq)]
pub enum Action {
    /// Fill a hole with concrete content.
    FillHole { target: NodeId, fill: FillContent },
    /// Replace an existing node with new content.
    ReplaceNode {
        target: NodeId,
        replacement: FillContent,
    },
    /// Add a constraint to a node.
    AddConstraint {
        target: NodeId,
        constraint: ConstraintDef,
    },
    /// Remove a constraint by ID.
    RemoveConstraint { constraint_id: ConstraintId },
    /// Introduce multi-test-case wrapper.
    IntroduceMultiTestCase {
        count_var_name: String,
        sum_bound: Option<SumBoundDef>,
    },
    /// Add an element to a parent's slot (e.g., add child to Sequence).
    AddSlotElement {
        parent: NodeId,
        slot_name: String,
        element: FillContent,
    },
    /// Remove an element from a parent's slot.
    RemoveSlotElement {
        parent: NodeId,
        slot_name: String,
        child: NodeId,
    },
    /// Add a sibling element next to a target node.
    /// If target is a direct child of Sequence/Section/Repeat body,
    /// wraps target + new element in a Tuple.
    /// If target is already inside a Tuple, appends to that Tuple.
    AddSibling {
        target: NodeId,
        element: FillContent,
    },
    /// Add a variant to a Choice node.
    AddChoiceVariant {
        choice: NodeId,
        tag_value: Literal,
        first_element: FillContent,
    },
}