souffle::ast::analysis::detail::set_meet_assign_op< T > Struct Template Reference

A meet operator for set-based property spaces based on the sub-set lattices. More...

#include <ConstraintSystem.h>

Collaboration diagram for souffle::ast::analysis::detail::set_meet_assign_op< T >:

Public Member Functions
bool	operator() (std::set< T > &a, const std::set< T > &b)

Detailed Description

template<typename T>
struct souffle::ast::analysis::detail::set_meet_assign_op< T >

A meet operator for set-based property spaces based on the sub-set lattices.

Definition at line 108 of file ConstraintSystem.h.

Member Function Documentation

operator()()

template<typename T >

bool souffle::ast::analysis::detail::set_meet_assign_op< T >::operator() ( std::set< T > &  a, const std::set< T > &  b  )

inline

Definition at line 109 of file ConstraintSystem.h.

                          : public property_space<std::set<T>, detail::set_meet_assign_op<T>> {};

---

The documentation for this struct was generated from the following file:

• ast/analysis/ConstraintSystem.h