Minotaur 0.4.1
Docs for developers
Loading...
Searching...
No Matches
Classes | Namespaces | Typedefs
AbsHandler.h File Reference

Declare the handler for functions of type y = |x|. More...

#include "Handler.h"
#include "Types.h"
Include dependency graph for AbsHandler.h:
This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Classes

struct  Minotaur::AbsCons
 Stores data for a single y = |x| constraint. More...
 
class  Minotaur::AbsHandler
 

Namespaces

namespace  Minotaur
 

Typedefs

typedef EnvironmentMinotaur::EnvPtr
 
typedef ProblemMinotaur::ProblemPtr
 
typedef LoggerMinotaur::LoggerPtr
 
typedef AbsConsMinotaur::AbsConsPtr
 
typedef std::vector< AbsConsPtrMinotaur::AbsConsVector
 
typedef AbsConsVector::iterator Minotaur::AbsConsIter
 
typedef AbsConsVector::const_iterator Minotaur::AbsConsConstIter
 
typedef AbsHandlerMinotaur::AbsHandlerPtr
 

Detailed Description

Declare the handler for functions of type y = |x|.

Author
Neeraj Kumar, IIT Bombay

Minotaur source code documented by Doxygen 1.9.8 on Sun Jul 26 2026