souffle::ast::analysis::detail::default_meet_op< T, meet_assign_op > Struct Template Reference

#include <ConstraintSystem.h>

Collaboration diagram for souffle::ast::analysis::detail::default_meet_op< T, meet_assign_op >:

Public Member Functions
T	operator() (const T &a, const T &b)

Detailed Description

template<typename T, typename meet_assign_op>
struct souffle::ast::analysis::detail::default_meet_op< T, meet_assign_op >

Definition at line 66 of file ConstraintSystem.h.

Member Function Documentation

operator()()

template<typename T , typename meet_assign_op >

T souffle::ast::analysis::detail::default_meet_op< T, meet_assign_op >::operator() ( const T &  a, const T &  b  )

inline

Definition at line 67 of file ConstraintSystem.h.

Referenced by souffle::ast::analysis::detail::default_bottom_factory< T >::operator()().

---

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

• ast/analysis/ConstraintSystem.h