Collaboration diagram for pnode:

Public Member Functions
	pnode (const spot::fnode *ltl)

	pnode (const pnode &other)=delete

pnode &	operator= (const pnode &other)=delete

	pnode (pnode &&other)

pnode &	operator= (pnode &&other)

	pnode (spot::op o, pnode &&left, pnode &&right)

	operator const spot::fnode * ()

const spot::formula	tmp () const

Public Attributes
std::variant< const spot::fnode *, nary >	data

bool	used = false

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

Public Member Functions

Public Attributes