souffle::t_nullaries Class Reference

Nullary relations. More...

#include <CompiledSouffle.h>

Collaboration diagram for souffle::t_nullaries:

Data Structures
struct	context
class	iterator

Public Types
using	t_tuple = Tuple< RamDomain, 0 >

Public Member Functions
iterator	begin () const
bool	contains (const t_tuple &) const
bool	contains (const t_tuple &, context &) const
context	createContext ()
bool	empty () const
iterator	end () const
bool	insert ()
void	insert (const RamDomain *)
void	insert (const t_tuple &)
void	insert (const t_tuple &, context &)
void	printStatistics (std::ostream &) const
void	purge ()
std::size_t	size () const
	t_nullaries ()=default

Static Public Attributes
static constexpr Relation::arity_type	Arity = 0

Private Attributes
std::atomic< bool >	data {false}

Detailed Description

Nullary relations.

Definition at line 186 of file CompiledSouffle.h.

Member Typedef Documentation

t_tuple

using souffle::t_nullaries::t_tuple = Tuple<RamDomain, 0>

Definition at line 194 of file CompiledSouffle.h.

Constructor & Destructor Documentation

t_nullaries()

souffle::t_nullaries::t_nullaries ( )

default

Member Function Documentation

begin()

iterator souffle::t_nullaries::begin ( ) const

inline

Definition at line 230 of file CompiledSouffle.h.

                                  {
        data = true;
    }

References data.

contains() [1/2]

bool souffle::t_nullaries::contains ( const t_tuple &  ) const

inline

Definition at line 250 of file CompiledSouffle.h.

                           {
        return data ? 1 : 0;
    }

References data.

contains() [2/2]

bool souffle::t_nullaries::contains ( const t_tuple &  , context &    ) const

inline

Definition at line 253 of file CompiledSouffle.h.

                       {
        return !data;
    }

References data.

createContext()

context souffle::t_nullaries::createContext ( )

inline

Definition at line 196 of file CompiledSouffle.h.

          :
        typedef std::forward_iterator_tag iterator_category;
        using value_type = RamDomain*;

empty()

bool souffle::t_nullaries::empty ( ) const

inline

Definition at line 259 of file CompiledSouffle.h.

                                              {}
};
 

end()

iterator souffle::t_nullaries::end ( ) const

inline

Definition at line 233 of file CompiledSouffle.h.

                                              {
        data = true;
    }

References data.

insert() [1/4]

bool souffle::t_nullaries::insert ( )

inline

Definition at line 245 of file CompiledSouffle.h.

                                                      {
        return data;
    }

insert() [2/4]

void souffle::t_nullaries::insert ( const RamDomain *  )

inline

Definition at line 242 of file CompiledSouffle.h.

                                          {

insert() [3/4]

void souffle::t_nullaries::insert ( const t_tuple &  )

inline

Definition at line 236 of file CompiledSouffle.h.

                                    {
        data = true;
    }

References data.

insert() [4/4]

void souffle::t_nullaries::insert ( const t_tuple &  , context &    )

inline

Definition at line 239 of file CompiledSouffle.h.

                  {
        bool result = data;
        data = true;

References data.

printStatistics()

void souffle::t_nullaries::printStatistics ( std::ostream &  ) const

inline

Definition at line 265 of file CompiledSouffle.h.

:
    static constexpr Relation::arity_type Arity = Arity_;

purge()

void souffle::t_nullaries::purge ( )

inline

Definition at line 262 of file CompiledSouffle.h.

             {

size()

std::size_t souffle::t_nullaries::size ( ) const

inline

Definition at line 256 of file CompiledSouffle.h.

                 {
        data = false;
    }

References data.

Field Documentation

Arity

constexpr Relation::arity_type souffle::t_nullaries::Arity = 0

staticconstexpr

Definition at line 191 of file CompiledSouffle.h.

Referenced by souffle::RelationWrapper< RelType >::purge().

data

std::atomic<bool> souffle::t_nullaries::data {false}

private

Definition at line 188 of file CompiledSouffle.h.

Referenced by begin(), contains(), end(), insert(), souffle::RelationWrapper< RelType >::purge(), and size().

---

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

• include/souffle/CompiledSouffle.h