Helper to access elements of linear terms. More...

#include <analyze.hh>

Public Member Functions
auto	m () const -> Number const &
	The coefficient.

auto	n () const -> Number const &
	The constant.

auto	x () const -> String
	The variable name.

auto	term_m () const -> Term const &
	The term for the coefficient.

auto	term_n () const -> Term const &
	The term for the constant.

auto	term_x () const -> Term const &
	The term for the variable.

auto	term_mx () const -> Term const &
	The term for the coefficient times the variable.

auto	term_mxn () const -> TermBinary const &
	The term for the whole linear term.

Friends
auto	check_linear (TermBinary const &term) -> std::optional< LinearTerm >
	Check if the given term is a linear term and return an object to access its elements.

Detailed Description

Helper to access elements of linear terms.

The documentation for this class was generated from the following file:

Public Member Functions