smtrat::cad::full Namespace Reference

Typedefs
using	Polynomial = std::optional< std::pair< UPoly, Origin > >

Typedef Documentation

Polynomial

using smtrat::cad::full::Polynomial = typedef std::optional<std::pair<UPoly,Origin> >

Definition at line 15 of file Projection_F.h.