souffle::Lock Struct Reference

A small utility class for implementing simple locks. More...

#include <ParallelUtil.h>

Collaboration diagram for souffle::Lock:

Data Structures
class	Lease

Public Member Functions
Lease	acquire ()
void	lock ()
bool	try_lock ()
void	unlock ()

Detailed Description

A small utility class for implementing simple locks.

Definition at line 467 of file ParallelUtil.h.

Member Function Documentation

acquire()

Lease souffle::Lock::acquire ( )

inline

Definition at line 471 of file ParallelUtil.h.

                    {
        return Lease();
    }

Referenced by souffle::SymbolTable::operator=(), souffle::SymbolTable::size(), and souffle::SymbolTable::unsafeLookup().

lock()

void souffle::Lock::lock ( )

inline

Definition at line 475 of file ParallelUtil.h.

{}

Referenced by souffle::t_info< Arity_ >::begin().

try_lock()

bool souffle::Lock::try_lock ( )

inline

Definition at line 477 of file ParallelUtil.h.

                    {
        return true;
    }

unlock()

void souffle::Lock::unlock ( )

inline

Definition at line 481 of file ParallelUtil.h.

{}

---

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

• include/souffle/utility/ParallelUtil.h