pnode Struct Reference

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:

• spot/parsetl/parsetl.hh