souffle::ast2ram::Location Struct Reference

#include <Location.h>

Collaboration diagram for souffle::ast2ram::Location:

Public Member Functions
	Location (const Location &l)=default
	Location (int ident, int elem, std::string rel="")
bool	operator!= (const Location &loc) const
bool	operator< (const Location &loc) const
bool	operator== (const Location &loc) const
void	print (std::ostream &out) const

Data Fields
const int	element
const int	identifier
std::string	relation

Friends
std::ostream &	operator<< (std::ostream &out, const Location &loc)

Detailed Description

Definition at line 29 of file Location.h.

Constructor & Destructor Documentation

Location() [1/2]

souffle::ast2ram::Location::Location ( int  ident, int  elem, std::string  rel = ""  )

inline

Definition at line 38 of file Location.h.

                                               {

Location() [2/2]

souffle::ast2ram::Location::Location ( const Location &  l )

default

Member Function Documentation

operator!=()

bool souffle::ast2ram::Location::operator!= ( const Location &  loc ) const

inline

Definition at line 47 of file Location.h.

                                      {
        out << "(" << identifier << "," << element << ")";
    }

References element, and identifier.

operator<()

bool souffle::ast2ram::Location::operator< ( const Location &  loc ) const

inline

Definition at line 51 of file Location.h.

                                                                        {
        loc.print(out);
        return out;

operator==()

bool souffle::ast2ram::Location::operator== ( const Location &  loc ) const

inline

Definition at line 43 of file Location.h.

                                              {
        return identifier < loc.identifier || (identifier == loc.identifier && element < loc.element);
    }

References element, and identifier.

print()

void souffle::ast2ram::Location::print ( std::ostream &  out ) const

inline

Definition at line 55 of file Location.h.

Friends And Related Function Documentation

operator<<

std::ostream& operator<< ( std::ostream &  out, const Location &  loc  )

friend

Definition at line 59 of file Location.h.

Field Documentation

element

const int souffle::ast2ram::Location::element

Definition at line 35 of file Location.h.

Referenced by souffle::ast2ram::appendStmt(), operator!=(), and operator==().

identifier

const int souffle::ast2ram::Location::identifier

Definition at line 34 of file Location.h.

Referenced by souffle::ast2ram::appendStmt(), operator!=(), and operator==().

relation

std::string souffle::ast2ram::Location::relation

Definition at line 36 of file Location.h.

---

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

• ast2ram/Location.h