souffle::SouffleProgram::tuple_insert< Tuple, 1 > Struct Template Reference

Helper function for the wrapper function Relation::insert() and Relation::contains() for the first element of the tuple. More...

#include <SouffleInterface.h>

Collaboration diagram for souffle::SouffleProgram::tuple_insert< Tuple, 1 >:

Static Public Member Functions
static void	add (const Tuple &t, souffle::tuple &t1)

Detailed Description

template<typename Tuple>
struct souffle::SouffleProgram::tuple_insert< Tuple, 1 >

Helper function for the wrapper function Relation::insert() and Relation::contains() for the first element of the tuple.

Definition at line 967 of file SouffleInterface.h.

Member Function Documentation

add()

template<typename Tuple >

static void souffle::SouffleProgram::tuple_insert< Tuple, 1 >::add ( const Tuple &  t, souffle::tuple &  t1  )

inlinestatic

Definition at line 968 of file SouffleInterface.h.

References relation.

---

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

• include/souffle/SouffleInterface.h