PolyBoRi
Public Member Functions
polybori::groebner::TimesVariableSubstitution Class Reference

#include <TimesVariableSubstitution.h>

List of all members.

Public Member Functions

template<class PairType >
Polynomial operator() (const Polynomial &lhs, const PairType &rhs) const

Detailed Description

This class computes the product of a polynomial and the sum of a pair of variables (namely a variable substitution).


Member Function Documentation

template<class PairType >
Polynomial polybori::groebner::TimesVariableSubstitution::operator() ( const Polynomial lhs,
const PairType &  rhs 
) const [inline]

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