import { Bytes, Address, Property } from '@cryptoeconomicslab/primitives';
import { CompiledPredicate as TranspilerCompiledPredicate, AtomicProposition, IntermediateCompiledPredicate } from '@cryptoeconomicslab/ovm-transpiler';
export declare class CompiledPredicate {
    readonly deployedAddress: Address;
    compiled: TranspilerCompiledPredicate;
    source: string | null;
    constructor(deployedAddress: Address, compiled: TranspilerCompiledPredicate, source?: string);
    private getIntermediateCompiledPredicate;
    static fromSource(deployedAddress: Address, source: string, defaultConstantValues?: {
        [key: string]: string;
    }): CompiledPredicate;
    getPredicateName(): string;
    makeProperty(inputs: Bytes[]): Property;
    restoreHint(property: Property): Bytes;
    decompileProperty(compiledProperty: Property, predicateTable: ReadonlyMap<string, Address>, constantTable?: {
        [key: string]: Bytes;
    }): Property;
}
export declare const createAtomicPropositionCall: (input: AtomicProposition, def: IntermediateCompiledPredicate, context: {
    compiledProperty: Property;
    predicateTable: ReadonlyMap<string, Address>;
    constantTable: {
        [key: string]: Bytes;
    };
}) => Bytes;
export declare const createSubstitutions: (inputDefs: string[], inputs: Bytes[], inputDescriptions: {
    name: string;
    children: number[];
}[]) => {
    [key: string]: Bytes;
};
export declare const constructInput: (anInput: Bytes, children: number[]) => Bytes;
export declare const parseHintToGetVariables: (hint: string) => string[];
export declare const parseVariable: (v: string) => {
    name: string;
    children: number[];
};