constraint.hpp

Go to the documentation of this file.

 
#if !defined(TETENGO_LATTICE_CONSTRAINT_HPP)
#define TETENGO_LATTICE_CONSTRAINT_HPP
 
#include <memory>
#include <vector>
 
#include <boost/core/noncopyable.hpp>
 
 
namespace tetengo::lattice
{
    class constraint_element;
    class node;
 

    class constraint : private boost::noncopyable
    {
    public:
        // constructors and destructor

        constraint();

        explicit constraint(std::vector<std::unique_ptr<constraint_element>>&& pattern);

        ~constraint();
 
 
        // functions

        [[nodiscard]] bool matches(const std::vector<node>& reverse_path) const;

        [[nodiscard]] bool matches_tail(const std::vector<node>& reverse_tail_path) const;
 
 
    private:
        // types
 
        class impl;
 
 
        // variables
 
        const std::unique_ptr<impl> m_p_impl;
    };
 
 
}
 
 
#endif