pub fn parse(claim: &str) -> Result<ConstraintProblem, String>Expand description
Thermal domain parser. Extracts temperature bounds and safe ranges from natural language.
pub fn parse(claim: &str) -> Result<ConstraintProblem, String>Thermal domain parser. Extracts temperature bounds and safe ranges from natural language.