• Top
  • Documentation
  • Books
  • Boolean-reasoning
  • Projects
    • Apt
    • Acre
    • Milawa
    • Smtlink
    • Aleobft
    • Abnf
      • Deftreeops
      • Defdefparse
      • Defgrammar
      • Abnf-tree-utilities
      • Notation
      • Grammar-parser
      • Meta-circular-validation
      • Parsing-primitives-defresult
      • Parsing-primitives-seq
      • Operations
        • In-terminal-set
        • Well-formedness
        • Closure
        • Plugging
        • Ambiguity
        • Renaming
        • Numeric-range-retrieval
          • Num-range
          • Num-val-num-ranges
          • Rulelist-num-ranges
          • Rule-num-ranges
          • Element-num-ranges
          • Num-range-set
          • Alternation-num-ranges
          • Concatenation-num-ranges
          • Repetition-num-ranges
        • Rule-utilities
        • Removal
        • Character-value-retrieval
      • Examples
      • Differences-with-paper
      • Grammar-printer
      • Parsing-tools
    • Vwsim
    • Isar
    • Wp-gen
    • Dimacs-reader
    • Pfcs
    • Legacy-defrstobj
    • Proof-checker-array
    • Soft
    • Farray
    • Rp-rewriter
    • Instant-runoff-voting
    • Imp-language
    • Sidekick
    • Leftist-trees
    • C
    • Java
    • Taspi
    • Bitcoin
    • Des
    • Ethereum
    • X86isa
    • Sha-2
    • Yul
    • Riscv
    • Zcash
    • Proof-checker-itp13
    • Regex
    • ACL2-programming-language
    • Json
    • Jfkr
    • Equational
    • Cryptography
    • Poseidon
    • Where-do-i-place-my-book
    • Bigmems
    • Builtins
    • Axe
    • Execloader
    • Solidity
    • Leo
    • Paco
    • Concurrent-programs
  • Debugging
  • Std
  • Proof-automation
  • Macro-libraries
  • ACL2
  • Interfacing-tools
  • Hardware-verification
  • Software-verification
  • Math
  • Testing-utilities

• Operations

Numeric-range-retrieval

Retrieval of numeric ranges from an ABNF grammar.

We define operations to retrieve the set of numeric ranges, as abstract syntactic entities, from an ABNF grammar and its components.

Subtopics

Num-range

Fixtype of numeric range notations.

Num-val-num-ranges

Set of numeric ranges in a numeric value notation.

Rulelist-num-ranges

Set of numeric ranges in a rule list.

Rule-num-ranges

Set of numeric ranges in a rule.

Element-num-ranges

Set of numeric ranges in an element.

Num-range-set

Fixtype of sets of numeric range notations.

Alternation-num-ranges

Set of numeric ranges in an alternation.

Concatenation-num-ranges

Set of numeric ranges in a concatenation.

Repetition-num-ranges

Set of numeric ranges in a repetition.