SMT-RAT  24.02
Toolbox for Strategic and Parallel Satisfiability-Modulo-Theories Solving
Static Public Member Functions
smtrat::decidePassingPolynomial Struct Reference

#include <GBSettings.h>

Static Public Member Functions

template<typename O , typename P >
static bool evaluate (const carl::MultivariatePolynomial< Rational, O, P > &original, const carl::MultivariatePolynomial< Rational, O, P > &reduced)
 

Detailed Description

Definition at line 286 of file GBSettings.h.

Member Function Documentation

◆ evaluate()

template<typename O , typename P >
static bool smtrat::decidePassingPolynomial::evaluate ( const carl::MultivariatePolynomial< Rational, O, P > &  original,
const carl::MultivariatePolynomial< Rational, O, P > &  reduced 
)
inlinestatic

Definition at line 288 of file GBSettings.h.

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