adiar::builder_ptr< Policy > Class Template Reference

The pointer type that builders use to identify the nodes they have constructed in a decision diagram. More...

#include <adiar/builder.h>

Public Member Functions
	builder_ptr ()=default
	Default construction for a pointer to null.
	builder_ptr (const builder_ptr &bp)=default
	Copy construction.
	builder_ptr (builder_ptr &&bp)=default
	Move construction.
builder_ptr &	operator= (const builder_ptr &bp)=default
	Copy construction.
builder_ptr &	operator= (builder_ptr &&bp)=default
	Move construction.

Detailed Description

template<typename Policy>
class adiar::builder_ptr< Policy >

The pointer type that builders use to identify the nodes they have constructed in a decision diagram.

See also

builder

---

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

• /home/runner/work/adiar/adiar/src/adiar/builder.h