import { Specification } from "./specification";
export interface FactDescription {
    factType: string;
    factIndex: number;
}
export interface InputDescription {
    factIndex: number;
    inputIndex: number;
}
export interface EdgeDescription {
    edgeIndex: number;
    predecessorFactIndex: number;
    successorFactIndex: number;
    roleName: string;
}
export interface NotExistsConditionDescription {
    edges: EdgeDescription[];
    notExistsConditions: NotExistsConditionDescription[];
}
export interface OutputDescription {
    factIndex: number;
}
export interface Skeleton {
    facts: FactDescription[];
    inputs: InputDescription[];
    edges: EdgeDescription[];
    notExistsConditions: NotExistsConditionDescription[];
    outputs: OutputDescription[];
}
export declare const emptySkeleton: Skeleton;
export declare function skeletonOfSpecification(specification: Specification): Skeleton;
//# sourceMappingURL=skeleton.d.ts.map