Gringo::unique_list_node< Value > Struct Template Reference

#include <unique_list.hh>

Collaboration diagram for Gringo::unique_list_node< Value >:

Public Types
using	node_type = unique_list_node
using	node_ptr_type = std::unique_ptr< node_type >

Public Member Functions
template<class... Args>
	unique_list_node (Args &&...args)

Public Attributes
Value	value
size_t	hash
unique_list_node *	succ
unique_list_node *	prev
node_ptr_type	eqSucc

Member Typedef Documentation

template<class Value >

using Gringo::unique_list_node< Value >::node_ptr_type = std::unique_ptr<node_type>

template<class Value >

using Gringo::unique_list_node< Value >::node_type = unique_list_node

Constructor & Destructor Documentation

template<class Value >

template<class... Args>

Gringo::unique_list_node< Value >::unique_list_node ( Args &&...  args )

inlineexplicit

Member Data Documentation

template<class Value >

node_ptr_type Gringo::unique_list_node< Value >::eqSucc

template<class Value >

size_t Gringo::unique_list_node< Value >::hash

template<class Value >

unique_list_node* Gringo::unique_list_node< Value >::prev

template<class Value >

unique_list_node* Gringo::unique_list_node< Value >::succ

template<class Value >

Value Gringo::unique_list_node< Value >::value

---

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

• /Users/danielbaeck/Dropbox/Uni Klagenfurt/Diplomarbeit/gringo44/libgringo/gringo/unique_list.hh