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

PDDL Workspace

import { PddlSyntaxNode } from "./PddlSyntaxNode";
import { Variable } from "../language";
import { DocumentPositionResolver } from "../DocumentPositionResolver";
/** Parses derived predicates and functions. E.g.:
 * `(:derived (<p> ?x ?y - type) <condition> )`
 */
export declare class DerivedVariablesParser {
    private conditionNode;
    private variable;
    constructor(derivedNode: PddlSyntaxNode, positionResolver: DocumentPositionResolver);
    static getDocumentationAbove(derivedNode: PddlSyntaxNode): string[];
    getVariable(): Variable | undefined;
    getConditionNode(): PddlSyntaxNode | undefined;
}