pddl-workspace
Version:
5 lines (4 loc) • 358 B
TypeScript
import { TypeObjectMap } from "./DomainInfo";
import { DirectionalGraph } from "./utils/DirectionalGraph";
export declare function getTypesInheritingFromPlusSelf(type: string, typeInheritance: DirectionalGraph): string[];
export declare function getObjectsInheritingFrom(allObjects: TypeObjectMap, type: string, typeInheritance: DirectionalGraph): string[];