import { Constraint } from './Constraint';
import { Variable } from './Variable';
export declare class DfDvNode {
    Parent: DfDvNode;
    ConstraintToEval: Constraint;
    VariableToEval: Variable;
    VariableDoneEval: Variable;
    Depth: number;
    ChildrenHaveBeenPushed: boolean;
    static constructorDCVV(parent: DfDvNode, constraintToEval: Constraint, variableToEval: Variable, variableDoneEval: Variable): DfDvNode;
    constructor(dummyConstraint: Constraint);
    Set(parent: DfDvNode, constraintToEval: Constraint, variableToEval: Variable, variableDoneEval: Variable): DfDvNode;
    get IsLeftToRight(): boolean;
    toString(): string;
}