import type { TCorePremise } from "../schemata/index.js";
import type { TCoreArgument, TCoreArgumentRoleState } from "../schemata/argument.js";
import type { TCorePropositionalExpression, TCorePropositionalVariable } from "../schemata/propositional.js";
import type { TCoreChangeset } from "../types/mutation.js";
export declare class ChangeCollector<TExpr extends TCorePropositionalExpression = TCorePropositionalExpression, TVar extends TCorePropositionalVariable = TCorePropositionalVariable, TPremise extends TCorePremise = TCorePremise, TArg extends TCoreArgument = TCoreArgument> {
    private expressions;
    private variables;
    private premises;
    private roles;
    private argument;
    addedExpression(expr: TExpr): void;
    modifiedExpression(expr: TExpr): void;
    removedExpression(expr: TExpr): void;
    isExpressionAdded(id: string): boolean;
    addedVariable(variable: TVar): void;
    modifiedVariable(variable: TVar): void;
    removedVariable(variable: TVar): void;
    addedPremise(premise: TPremise): void;
    modifiedPremise(premise: TPremise): void;
    removedPremise(premise: TPremise): void;
    setRoles(roles: TCoreArgumentRoleState): void;
    setArgument(argument: TArg): void;
    toChangeset(): TCoreChangeset<TExpr, TVar, TPremise, TArg>;
}
//# sourceMappingURL=change-collector.d.ts.map