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
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71

use super::expected_type::ExpectedType;
use super::expression::Expression;
use super::types::{CharSetSpec, DistinctUnit, PropertyTag, RelationOp, RenderHintKind, SortOrder};
use crate::structure::Reference;

/// A constraint on the structure AST.
///
/// Rev.1: 12 variants covering all competitive programming constraint patterns.
#[derive(Debug, Clone, PartialEq)]
pub enum Constraint {
    /// Value range: lower ≤ target ≤ upper.
    Range {
        target: Reference,
        lower: Expression,
        upper: Expression,
    },
    /// Type declaration (single source of truth per S-1).
    TypeDecl {
        target: Reference,
        expected: ExpectedType,
    },
    /// Length relation: len(target) = length.
    LengthRelation {
        target: Reference,
        length: Expression,
    },
    /// Variable relation: lhs op rhs.
    Relation {
        lhs: Expression,
        op: RelationOp,
        rhs: Expression,
    },
    /// All elements are distinct.
    Distinct {
        elements: Reference,
        unit: DistinctUnit,
    },
    /// Structural property (graph/array).
    Property { target: Reference, tag: PropertyTag },
    /// Sum bound across test cases.
    SumBound {
        variable: Reference,
        upper: Expression,
    },
    /// Elements are sorted.
    Sorted {
        elements: Reference,
        order: SortOrder,
    },
    /// Existence/validity guarantee (human-readable).
    Guarantee {
        description: String,
        predicate: Option<Expression>,
    },
    /// Character set constraint for strings.
    CharSet {
        target: Reference,
        charset: CharSetSpec,
    },
    /// String length constraint.
    StringLength {
        target: Reference,
        min: Expression,
        max: Expression,
    },
    /// Rendering hint (separator, moved from `StructureAST` per S-1).
    RenderHint {
        target: Reference,
        hint: RenderHintKind,
    },
}