souffle::ast2ram Namespace Reference

Data Structures
class	AstToRamTranslator
	Main class for the AST->RAM translator. More...
class	ClauseTranslator
struct	Location
class	ProvenanceClauseTranslator
class	ValueIndex

Functions
void	appendStmt (VecOwn< ram::Statement > &stmtList, Own< ram::Statement > stmt)
	append statement to a list of statements More...

Function Documentation

appendStmt()

void souffle::ast2ram::appendStmt ( VecOwn< ram::Statement > &  stmtList, Own< ram::Statement >  stmt  )

inline

append statement to a list of statements

Definition at line 144 of file AstToRamTranslator.cpp.

                                                                                {
    return mk<ram::TupleElement>(loc.identifier, loc.element);
}
 
size_t AstToRamTranslator::getEvaluationArity(const ast::Atom* atom) const {

References souffle::ast2ram::Location::element, and souffle::ast2ram::Location::identifier.

Referenced by souffle::ast2ram::AstToRamTranslator::translateNonRecursiveRelation().