import { Transition, TransitionObject, PetriNet, Move, InFlowIntermediate, OutFlowIntermediate, TransitionExtensions } from './coloredPetriNets';
import { Expression } from './types';
declare class TransitionPlusPlus extends Transition {
    private static readonly commands;
    static registerType: (command: string, type: typeof TransitionPlusPlus) => void;
    static fromObject(net: PetriNet, data: TransitionObject): TransitionPlusPlus;
    enabledMovesForMarking(): Move[];
}
declare class PrintLnTransitionPlusPlus extends TransitionPlusPlus {
    readonly expression: string;
    private readonly compiledExpression;
    constructor(key: string, displayName: string, guard: string | null, inFlows: InFlowIntermediate[], outFlows: OutFlowIntermediate[], extensions: TransitionExtensions);
}
declare class CallTransitionPlusPlus extends TransitionPlusPlus {
    readonly return: string;
    readonly arguments: {
        name: string;
        expression: string;
        compiledExpression: Expression;
    }[];
    constructor(key: string, displayName: string, guard: string | null, inFlows: InFlowIntermediate[], outFlows: OutFlowIntermediate[], extensions: TransitionExtensions);
}
declare class ReturnTransitionPlusPlus extends TransitionPlusPlus {
    readonly expression: string;
    private readonly compiledExpression;
    constructor(key: string, displayName: string, guard: string | null, inFlows: InFlowIntermediate[], outFlows: OutFlowIntermediate[], extensions: TransitionExtensions);
}
declare class StartAgentTransitionPlusPlus extends TransitionPlusPlus {
    readonly name: string;
    private readonly compiledName;
    readonly arguments: {
        name: string;
        expression: string;
        compiledExpression: Expression;
    }[];
    constructor(key: string, displayName: string, guard: string | null, inFlows: InFlowIntermediate[], outFlows: OutFlowIntermediate[], extensions: TransitionExtensions);
}
declare class JoinTransitionPlusPlus extends TransitionPlusPlus {
    readonly agent: string;
    private readonly compiledAgent;
    constructor(key: string, displayName: string, guard: string | null, inFlows: InFlowIntermediate[], outFlows: OutFlowIntermediate[], extensions: TransitionExtensions);
}
declare class InitChanTransitionPlusPlus extends TransitionPlusPlus {
    readonly channel: string;
    private readonly compiledChannel;
    readonly capacity: string;
    readonly compiledCapacity: number;
    constructor(key: string, displayName: string, guard: string | null, inFlows: InFlowIntermediate[], outFlows: OutFlowIntermediate[], extensions: TransitionExtensions);
}
declare class SendTransitionPlusPlus extends TransitionPlusPlus {
    readonly channel: string;
    private readonly compiledChannel;
    readonly value: string;
    private readonly compiledValue;
    constructor(key: string, displayName: string, guard: string | null, inFlows: InFlowIntermediate[], outFlows: OutFlowIntermediate[], extensions: TransitionExtensions);
}
declare class ReceiveTransitionPlusPlus extends TransitionPlusPlus {
    readonly channel: string;
    private readonly compiledChannel;
    readonly target: string;
    private readonly compiledTarget;
    constructor(key: string, displayName: string, guard: string | null, inFlows: InFlowIntermediate[], outFlows: OutFlowIntermediate[], extensions: TransitionExtensions);
}
declare class DefaultTransitionPlusPlus extends TransitionPlusPlus {
    constructor(key: string, displayName: string, guard: string | null, inFlows: InFlowIntermediate[], outFlows: OutFlowIntermediate[], extensions: TransitionExtensions);
}
declare class GlobalReadTransitionPlusPlus extends TransitionPlusPlus {
    readonly variable: string;
    private readonly compiledVariable;
    readonly path: string[];
    private readonly compiledPaths;
    readonly target: string;
    private readonly compiledTarget;
    constructor(key: string, displayName: string, guard: string | null, inFlows: InFlowIntermediate[], outFlows: OutFlowIntermediate[], extensions: TransitionExtensions);
}
declare class GlobalWriteTransitionPlusPlus extends TransitionPlusPlus {
    readonly variable: string;
    private readonly compiledVariable;
    readonly path: string[];
    private readonly compiledPaths;
    readonly value: string;
    private readonly compiledValue;
    constructor(key: string, displayName: string, guard: string | null, inFlows: InFlowIntermediate[], outFlows: OutFlowIntermediate[], extensions: TransitionExtensions);
}
declare class GlobalUpdateTransitionPlusPlus extends TransitionPlusPlus {
    readonly variable: string;
    private readonly compiledVariable;
    readonly path: string[];
    private readonly compiledPaths;
    readonly target: string | null;
    private readonly compiledTarget;
    readonly update: string;
    private readonly compiledUpdate;
    constructor(key: string, displayName: string, guard: string | null, inFlows: InFlowIntermediate[], outFlows: OutFlowIntermediate[], extensions: TransitionExtensions);
}
declare class MutexInitTransitionPlusPlus extends TransitionPlusPlus {
    readonly mutex: string;
    private readonly compiledMutex;
    constructor(key: string, displayName: string, guard: string | null, inFlows: InFlowIntermediate[], outFlows: OutFlowIntermediate[], extensions: TransitionExtensions);
}
declare class MutexLockTransitionPlusPlus extends TransitionPlusPlus {
    readonly mutex: string;
    private readonly compiledMutex;
    constructor(key: string, displayName: string, guard: string | null, inFlows: InFlowIntermediate[], outFlows: OutFlowIntermediate[], extensions: TransitionExtensions);
}
declare class MutexUnlockTransitionPlusPlus extends TransitionPlusPlus {
    readonly mutex: string;
    private readonly compiledMutex;
    constructor(key: string, displayName: string, guard: string | null, inFlows: InFlowIntermediate[], outFlows: OutFlowIntermediate[], extensions: TransitionExtensions);
}
declare class ConditionInitTransitionPlusPlus extends TransitionPlusPlus {
    readonly condition: string;
    private readonly compiledCondition;
    readonly mutex: string;
    private readonly compiledMutex;
    constructor(key: string, displayName: string, guard: string | null, inFlows: InFlowIntermediate[], outFlows: OutFlowIntermediate[], extensions: TransitionExtensions);
}
declare class ConditionAwaitTransitionPlusPlus extends TransitionPlusPlus {
    readonly condition: string;
    private readonly compiledCondition;
    constructor(key: string, displayName: string, guard: string | null, inFlows: InFlowIntermediate[], outFlows: OutFlowIntermediate[], extensions: TransitionExtensions);
}
declare class ConditionSignalTransitionPlusPlus extends TransitionPlusPlus {
    readonly condition: string;
    private readonly compiledCondition;
    readonly signalAll: string;
    private readonly compiledSignalAll;
    constructor(key: string, displayName: string, guard: string | null, inFlows: InFlowIntermediate[], outFlows: OutFlowIntermediate[], extensions: TransitionExtensions);
}
export { TransitionPlusPlus, PrintLnTransitionPlusPlus, CallTransitionPlusPlus, ReturnTransitionPlusPlus, StartAgentTransitionPlusPlus, JoinTransitionPlusPlus, InitChanTransitionPlusPlus, SendTransitionPlusPlus, ReceiveTransitionPlusPlus, DefaultTransitionPlusPlus, GlobalReadTransitionPlusPlus, GlobalWriteTransitionPlusPlus, GlobalUpdateTransitionPlusPlus, MutexInitTransitionPlusPlus, MutexLockTransitionPlusPlus, MutexUnlockTransitionPlusPlus, ConditionInitTransitionPlusPlus, ConditionAwaitTransitionPlusPlus, ConditionSignalTransitionPlusPlus };