Generated on Thu Apr 11 13:59:51 2019 for Gecode by doxygen 1.6.3

Gecode::FlatZinc::AST::SetLit Class Reference

Set literal node More...

#include <ast.hh>

List of all members.

Public Member Functions

 SetLit (void)
 SetLit (int min0, int max0)
 SetLit (const std::vector< int > &s0)
 SetLit (SetLit *s0)
bool empty (void) const
virtual void print (std::ostream &os)
 Output string representation.

Public Attributes

bool interval
int min
int max
std::vector< int > s

Detailed Description

Set literal node

Definition at line 171 of file ast.hh.


Constructor & Destructor Documentation

Gecode::FlatZinc::AST::SetLit::SetLit ( void   )  [inline]

Definition at line 176 of file ast.hh.

Gecode::FlatZinc::AST::SetLit::SetLit ( int  min0,
int  max0 
) [inline]

Definition at line 177 of file ast.hh.

Gecode::FlatZinc::AST::SetLit::SetLit ( const std::vector< int > &  s0  )  [inline]

Definition at line 178 of file ast.hh.

Gecode::FlatZinc::AST::SetLit::SetLit ( SetLit s0  )  [inline, explicit]

Definition at line 179 of file ast.hh.


Member Function Documentation

bool Gecode::FlatZinc::AST::SetLit::empty ( void   )  const [inline]

Definition at line 180 of file ast.hh.

virtual void Gecode::FlatZinc::AST::SetLit::print ( std::ostream &   )  [inline, virtual]

Output string representation.

Implements Gecode::FlatZinc::AST::Node.

Definition at line 183 of file ast.hh.


Member Data Documentation

Definition at line 173 of file ast.hh.

Definition at line 174 of file ast.hh.

Definition at line 174 of file ast.hh.

Definition at line 175 of file ast.hh.


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