Minotaur 0.4.1
Docs for developers
Classes | Namespaces | Typedefs
MultilinearTermsHandler.h File Reference

A Handler for a general collection of MultilinearTerms. More...

#include <algorithm>
#include "Handler.h"
#include "LPEngine.h"
Include dependency graph for MultilinearTermsHandler.h:
This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Classes

class  Minotaur::Hypergraph
 
class  Minotaur::Hypergraph::CompareSetsOfVars
 
class  Minotaur::MultilinearTermsHandler
 

Namespaces

namespace  Minotaur
 

Typedefs

typedef std::set< ConstVariablePtr > Minotaur::SetOfVars
 
typedef std::set< SetOfVars > Minotaur::SetOfSetOfVars
 
typedef Hypergraph * Minotaur::HypergraphPtr
 
typedef const Hypergraph * Minotaur::HypergraphConstPtr
 
typedef MultilinearTermsHandler * Minotaur::MultilinearTermsHandlerPtr
 

Detailed Description

A Handler for a general collection of MultilinearTerms.


Minotaur source code documented by Doxygen 1.9.4 on Thu Apr 24 2025