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

PDDL Workspace

import { HappeningsInfo } from "../HappeningsInfo";
import { DocumentPositionResolver } from "../DocumentPositionResolver";
import { URI } from "vscode-uri";
export declare class HappeningsParser {
    parseHappenings(fileUri: URI, fileVersion: number, fileText: string, epsilon: number, positionResolver: DocumentPositionResolver): HappeningsInfo;
}