IMPredicate.h

/**********************************************************************
 *
 * GEOS - Geometry Engine Open Source
 * http://geos.osgeo.org
 *
 * Copyright (c) 2024 Martin Davis
 * Copyright (C) 2024 Paul Ramsey <pramsey@cleverelephant.ca>
 *
 * This is free software; you can redistribute and/or modify it under
 * the terms of the GNU Lesser General Public Licence as published
 * by the Free Software Foundation.
 * See the COPYING file for more information.
 *
 **********************************************************************/
 
#pragma once
 
#include <geos/geom/Location.h>
#include <geos/geom/Dimension.h>
#include <geos/geom/IntersectionMatrix.h>
#include <geos/operation/relateng/BasicPredicate.h>
#include <geos/export.h>
 
#include <memory>
#include <vector>
 
// Forward declarations
namespace geos {
namespace geom {
    class Envelope;
}
}
 
 
using geos::geom::Envelope;
using geos::geom::Location;
using geos::geom::Dimension;
using geos::geom::IntersectionMatrix;
 
 
namespace geos {      // geos.
namespace operation { // geos.operation.
namespace relateng {  // geos.operation.relateng
 
 
class GEOS_DLL IMPredicate : public BasicPredicate {
 
private:
 
 
 
protected:
 
    static constexpr int DIM_UNKNOWN = Dimension::DONTCARE;
 
    int dimA;
    int dimB;
    IntersectionMatrix intMatrix;
 
    virtual bool valueIM() = 0;
 
    virtual bool isDetermined() const = 0;
 
    bool intersectsExteriorOf(bool isA) const;
 
    bool isIntersects(Location locA, Location locB) const;
 
 
public:
 
    IMPredicate()
    {
        // intMatrix = new IntersectionMatrix();
        //-- E/E is always dim = 2
        intMatrix.set(Location::EXTERIOR, Location::EXTERIOR, Dimension::A);
    }
 
    static bool isDimsCompatibleWithCovers(int dim0, int dim1);
 
    void init(int dA, int dB) override;
 
    void updateDimension(Location locA, Location locB, int dimension) override;
 
    bool isDimChanged(Location locA, Location locB, int dimension) const;
 
    using TopologyPredicate::isKnown;
    bool isKnown(Location locA, Location locB) const;
 
    bool isDimension(Location locA, Location locB, int dimension) const;
 
    int getDimension(Location locA, Location locB) const;
 
    void finish() override;
 
    std::string toString() const;
 
    friend std::ostream& operator<<(std::ostream& os, const IMPredicate& imp);
 
 
};
 
} // namespace geos.operation.relateng
} // namespace geos.operation
} // namespace geos