carl::io::parser::ExpressionParser< Pol >::perform_negate Class Reference

#include <ExpressionParser.h>

Inheritance diagram for carl::io::parser::ExpressionParser< Pol >::perform_negate:

Collaboration diagram for carl::io::parser::ExpressionParser< Pol >::perform_negate:

Public Member Functions
template<typename T >
expr_type	operator() (const T &lhs) const
expr_type	operator() (const Formula< Pol > &lhs) const

Detailed Description

template<typename Pol>
class carl::io::parser::ExpressionParser< Pol >::perform_negate

Definition at line 310 of file ExpressionParser.h.

Member Function Documentation

operator()() [1/2]

template<typename Pol >

expr_type carl::io::parser::ExpressionParser< Pol >::perform_negate::operator() ( const Formula< Pol > &  lhs ) const

inline

Definition at line 317 of file ExpressionParser.h.

operator()() [2/2]

template<typename Pol >

template<typename T >

expr_type carl::io::parser::ExpressionParser< Pol >::perform_negate::operator() ( const T &  lhs ) const

inline

Definition at line 313 of file ExpressionParser.h.

---

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

• carl-io/parser/ExpressionParser.h