export function validateAxiom1And2(boundary: [number, number][], point1: [number, number], point2: [number, number]): boolean[];
export function validateAxiom3(boundary: [number, number][], solutions: VecLine2[], line1: VecLine2, line2: VecLine2): boolean[];
export function validateAxiom4(boundary: [number, number][], solutions: VecLine2[], line: VecLine2, point: [number, number]): boolean[];
export function validateAxiom5(boundary: [number, number][], solutions: VecLine2[], line: VecLine2, point1: [number, number], point2: [number, number]): boolean[];
export function validateAxiom6(boundary: [number, number][], solutions: VecLine2[], line1: VecLine2, line2: VecLine2, point1: [number, number], point2: [number, number]): boolean[];
export function validateAxiom7(boundary: [number, number][], solutions: VecLine2[], line1: VecLine2, line2: VecLine2, point: [number, number]): boolean[];
//# sourceMappingURL=validate.d.ts.map