TypeConstraints.h File Reference

#include "ast/analysis/Constraint.h"
#include "ast/analysis/ConstraintSystem.h"
#include "ast/analysis/TypeEnvironment.h"
#include "ast/analysis/TypeSystem.h"
#include "ast/utility/Utils.h"
#include "souffle/utility/StringUtil.h"

Include dependency graph for TypeConstraints.h:

This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Data Structures
struct	souffle::ast::analysis::all_type_factory
	A factory for computing sets of types covering all potential types. More...
struct	souffle::ast::analysis::sub_type
	An implementation of a meet operation between sets of types computing the set of pair-wise greatest common subtypes. More...
struct	souffle::ast::analysis::type_lattice
	The type lattice forming the property space for the Type analysis. More...
class	souffle::ast::analysis::TypeConstraintsAnalysis
	Constraint analysis framework for types. More...

Namespaces
	souffle
	souffle::ast
	souffle::ast::analysis

Typedefs
using	souffle::ast::analysis::TypeConstraint = std::shared_ptr< Constraint< TypeVar > >
	The definition of the type of constraint to be utilized in the type analysis. More...
using	souffle::ast::analysis::TypeVar = ConstraintAnalysisVar< type_lattice >
	The definition of the type of variable to be utilized in the type analysis. More...