import { Variable } from './Variable'; export declare class Constraint { Left: Variable; Right: Variable; Gap: number; IsEquality: boolean; Lagrangian: number; IsActive: boolean; IsUnsatisfiable: boolean; VectorIndex: number; SetActiveState(activeState: boolean, newVectorIndex: number): void; SetVectorIndex(vectorIndex: number): void; Reinitialize(): void; UpdateGap(newGap: number): void; static constructorVVNB(left: Variable, right: Variable, gap: number, isEquality: boolean): Constraint; constructor(variable: Variable); ToString(): string; get Violation(): number; ClearDfDv(): void; CompareTo(other: Constraint): number; }