- n -
- navigation()
: polybori::BoolePolynomial
, polybori::CCuddDDFacade< RingType, DiagramType >
, polybori::COrderedIter< NavigatorType, MonomType >
- newNode()
: polybori::dd_operations< CCuddNavigator >
- newNodeAssign()
: polybori::dd_operations< CCuddNavigator >
- next()
: polybori::bounded_restricted_term< NaviType, DescendingProperty >
- nextThen()
: polybori::bounded_restricted_term< NaviType, DescendingProperty >
- nf()
: polybori::groebner::LexHelper
, polybori::groebner::DegOrderHelper
, polybori::groebner::BlockOrderHelper
- nNodes()
: polybori::BoolePolynomial
, polybori::CCuddDDFacade< RingType, DiagramType >
- nSupport()
: polybori::CCuddDDFacade< RingType, DiagramType >
, polybori::dd_operations< CCuddNavigator >
- nUsedVariables()
: polybori::BoolePolynomial
- nVariables()
: polybori::BooleEnv