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

#include <ConstraintSystem.h>

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

Public Member Functions
T	operator() () const

Detailed Description

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

Definition at line 59 of file ConstraintSystem.h.

Member Function Documentation

operator()()

template<typename T >

T souffle::ast::analysis::detail::default_bottom_factory< T >::operator() ( ) const

inline

Definition at line 60 of file ConstraintSystem.h.

                       {
    T operator()(const T& a, const T& b) {
        T res = a;

References b, and souffle::ast::analysis::detail::default_meet_op< T, meet_assign_op >::operator()().

Here is the call graph for this function:

---

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

• ast/analysis/ConstraintSystem.h