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[];
}