souffle  2.0.2-371-g6315b36
Data Structures
souffle::ast::analysis::detail Namespace Reference

Data Structures

struct  default_bottom_factory
 
struct  default_meet_op
 
struct  set_meet_assign_op
 A meet operator for set-based property spaces based on the sub-set lattices. More...