pddl-workspace
Version:
15 lines (14 loc) • 572 B
TypeScript
import { ProblemInfo } from "./ProblemInfo";
import { DomainInfo } from './DomainInfo';
import { Variable, Term } from './language';
export declare class Grounder {
private domain;
private problem;
private typeObjects;
constructor(domain: DomainInfo, problem: ProblemInfo);
getObjectsForType(typeName: string): string[];
getObjects(typeNames: string[]): string[][];
getObjectPermutations(typeNames: string[]): string[][];
ground(variable: Variable): Variable[];
createObjectInstances(types: string[], objectVector: string[]): Term[];
}