smtrat::helper Namespace Reference

Functions
template<typename Pol >
static size_t	level_of (const VariableOrdering &order, const Pol &poly)

Function Documentation

level_of()

template<typename Pol >

static size_t smtrat::helper::level_of ( const VariableOrdering &  order, const Pol &  poly  )

static

Definition at line 25 of file Backend.h.

Here is the caller graph for this function: