A property space for set-based properties based on sub-set lattices. More...
#include <ConstraintSystem.h>
Inheritance diagram for souffle::ast::analysis::set_property_space< T >:
Collaboration diagram for souffle::ast::analysis::set_property_space< T >:
Additional Inherited Members | |
 Public Types inherited from souffle::ast::analysis::property_space< std::set< T >, detail::set_meet_assign_op< T > > | |
| using | bottom_factory_type = typename detail::default_bottom_factory< std::set< T > > |
| using | meet_assign_op_type = detail::set_meet_assign_op< T > |
| using | meet_op_type = typename detail::default_meet_op< std::set< T >, detail::set_meet_assign_op< T > > |
| using | value_type = std::set< T > |
Detailed Description
template<typename T>
struct souffle::ast::analysis::set_property_space< T >
A property space for set-based properties based on sub-set lattices.
Definition at line 123 of file ConstraintSystem.h.
The documentation for this struct was generated from the following file:
- ast/analysis/ConstraintSystem.h
