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...