pub fn validate_plan(
domain_src: &str,
problem_src: &str,
plan_src: &str,
) -> Result<Validity, String>Expand description
Validate plan_src against the domain/problem under ferroplan’s own semantics.
Auto-detects classical vs temporal from the domain (durative actions => temporal).