Skip to main content

parse_domain_str

jia_parse::parser

Function parse_domain_str 

Source 
pub fn parse_domain_str(input: &str) -> Result<Domain, ParseError>
Expand description

Tokenize and parse a PDDL domain from a raw source string.

This is the primary convenience entry point for domain parsing. It chains crate::lexer::tokenize and parse_domain in one call.

§Arguments

  • input - The raw PDDL domain source text

§Returns

A Domain AST on success.

§Errors

Returns ParseError on tokenization failures (e.g. unexpected characters) or parse failures (e.g. malformed S-expressions, unknown sections).