souffle::ast::analysis::ConstraintAnalysisVar< PropertySpace > Struct Template Reference

A variable type to be utilized by AST constraint analysis. More...

#include <Constraint.h>

Inheritance diagram for souffle::ast::analysis::ConstraintAnalysisVar< PropertySpace >:

Collaboration diagram for souffle::ast::analysis::ConstraintAnalysisVar< PropertySpace >:

Public Member Functions
	ConstraintAnalysisVar (const Argument &arg)
	ConstraintAnalysisVar (const Argument *arg)
void	print (std::ostream &out) const override
	adds print support More...
Public Member Functions inherited from souffle::ast::analysis::Variable< const Argument *, PropertySpace >
bool	operator!= (const Variable &other) const
	Adds support for inequality comparison. More...
bool	operator< (const Variable &other) const
	Adds support for less-than comparison. More...
Variable &	operator= (const Variable &)=default
Variable &	operator= (Variable &&)=default
bool	operator== (const Variable &other) const
	Adds support for equality comparison. More...
	Variable (const Argument * id)
	Variable (const Variable &)=default
	Variable (Variable &&)=default
virtual	~Variable ()=default

Additional Inherited Members
Public Types inherited from souffle::ast::analysis::Variable< const Argument *, PropertySpace >
using	property_space = PropertySpace
	exports the property space More...
Protected Attributes inherited from souffle::ast::analysis::Variable< const Argument *, PropertySpace >
const Argument *	id
	the underlying value giving this variable its identity More...

Detailed Description

template<typename PropertySpace>
struct souffle::ast::analysis::ConstraintAnalysisVar< PropertySpace >

A variable type to be utilized by AST constraint analysis.

Each such variable is associated with an Argument which's property it is describing.

Template Parameters

PropertySpace

the property space associated to the analysis

Definition at line 45 of file Constraint.h.

Constructor & Destructor Documentation

ConstraintAnalysisVar() [1/2]

template<typename PropertySpace >

souffle::ast::analysis::ConstraintAnalysisVar< PropertySpace >::ConstraintAnalysisVar ( const Argument *  arg )

inlineexplicit

Definition at line 52 of file Constraint.h.

: public Visitor<void> {

ConstraintAnalysisVar() [2/2]

template<typename PropertySpace >

souffle::ast::analysis::ConstraintAnalysisVar< PropertySpace >::ConstraintAnalysisVar ( const Argument &  arg )

inlineexplicit

Definition at line 53 of file Constraint.h.

: public Visitor<void> {

Member Function Documentation

print()

template<typename PropertySpace >

void souffle::ast::analysis::ConstraintAnalysisVar< PropertySpace >::print ( std::ostream &  out ) const

inlineoverridevirtual

adds print support

Reimplemented from souffle::ast::analysis::Variable< const Argument *, PropertySpace >.

Definition at line 56 of file Constraint.h.

                         : public Visitor<void> {

---

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

• ast/analysis/Constraint.h