• Parameters

    • graph: FOLD

      a FOLD object

    • Optional epsilon: number = EPSILON

      an optional epsilon

    Returns {
        changes: {
            edges: {
                map: number[][];
            };
            vertices: {
                map: number[];
            };
        };
        result: FOLD;
    }

    • changes: {
          edges: {
              map: number[][];
          };
          vertices: {
              map: number[];
          };
      }
      • edges: {
            map: number[][];
        }
        • map: number[][]
      • vertices: {
            map: number[];
        }
        • map: number[]
    • result: FOLD