RelationTag.h File Reference

#include "souffle/utility/MiscUtil.h"
#include <ostream>

Include dependency graph for RelationTag.h:

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

Go to the source code of this file.

Namespaces
	souffle

Enumerations
enum	souffle::RelationQualifier {   souffle::RelationQualifier::INPUT, souffle::RelationQualifier::OUTPUT, souffle::RelationQualifier::PRINTSIZE, souffle::RelationQualifier::OVERRIDABLE,   souffle::RelationQualifier::INLINE, souffle::RelationQualifier::MAGIC, souffle::RelationQualifier::SUPPRESSED }
	Space of qualifiers that a relation can have. More...
enum	souffle::RelationRepresentation {   souffle::RelationRepresentation::DEFAULT, souffle::RelationRepresentation::BRIE, souffle::RelationRepresentation::BTREE, souffle::RelationRepresentation::EQREL,   souffle::RelationRepresentation::INFO }
	Space of internal representations that a relation can have. More...
enum	souffle::RelationTag {   souffle::RelationTag::INPUT, souffle::RelationTag::OUTPUT, souffle::RelationTag::PRINTSIZE, souffle::RelationTag::OVERRIDABLE,   souffle::RelationTag::INLINE, souffle::RelationTag::MAGIC, souffle::RelationTag::SUPPRESSED, souffle::RelationTag::BRIE,   souffle::RelationTag::BTREE, souffle::RelationTag::EQREL }
	Space of user-chosen tags that a relation can have. More...

Functions
RelationQualifier	souffle::getRelationQualifierFromTag (const RelationTag &tag)
	Get the corresponding RelationQualifier for a valid RelationTag. More...
RelationRepresentation	souffle::getRelationRepresentationFromTag (const RelationTag &tag)
	Get the corresponding RelationRepresentation for a valid RelationTag. More...
bool	souffle::isRelationQualifierTag (const RelationTag &tag)
	Check if a given relation tag is a relation qualifier. More...
bool	souffle::isRelationRepresentationTag (const RelationTag &tag)
	Check if a given relation tag sets a relation representation. More...
std::ostream &	souffle::operator<< (std::ostream &os, RelationQualifier qualifier)
std::ostream &	souffle::operator<< (std::ostream &os, RelationRepresentation representation)
std::ostream &	souffle::operator<< (std::ostream &os, RelationTag qualifier)