Skip to main content

Metric

Type Alias Metric 

Source
pub type Metric = f64;
Expand description

Re-exported so callers can name the PDDL3 metric type if needed.