pddl-workspace/dist/parser/MetricParser.d.ts

PDDL Workspace

import { PddlSyntaxNode } from "./PddlSyntaxNode";
import { DocumentPositionResolver } from "../DocumentPositionResolver";
import { Metric } from "../ProblemInfo";
/**
 * Parses `(:metric ...)` blocks.
 */
export declare class MetricParser {
    private metric;
    constructor(metricNode: PddlSyntaxNode, positionResolver: DocumentPositionResolver);
    getMetric(): Metric | undefined;
}