Function quantifier

contribs/qecode/Strategy.hh:98–98

< returns a "todo" node

	QECODE_EXPORT static Strategy Dummy(); ///< returns a "dummy" node
	QECODE_EXPORT static Strategy Stodo(); ///< returns a "todo" node
	QECODE_EXPORT forceinline bool quantifier() {return imp->zetag.quantifier;} ///< returns the quantifier of the root (true for universal, false for existential)
	QECODE_EXPORT forceinline int VMin() {return imp->zetag.Vmin;} ///< returns the index of the first variable of the scope of the root
	QECODE_EXPORT forceinline int VMax() {return imp->zetag.Vmax;} ///< returns the index of the last variable of the scope of the root
	QECODE_EXPORT forceinline int scope() {return imp->zetag.scope;} ///< returns the scope of the root