smtrat::cad::full_ec Namespace Reference

Typedefs
using	Polynomial = std::optional< UPoly >

Typedef Documentation

Polynomial

using smtrat::cad::full_ec::Polynomial = typedef std::optional<UPoly>

Definition at line 14 of file Projection_EC.h.