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) |
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
Constructor & Destructor Documentation
Gecode::FlatZinc::AST::SetLit::SetLit |
( |
void |
| ) |
[inline] |
Gecode::FlatZinc::AST::SetLit::SetLit |
( |
int |
min0, |
|
|
int |
max0 |
|
) |
| [inline] |
Gecode::FlatZinc::AST::SetLit::SetLit |
( |
const std::vector< int > & |
s0 | ) |
[inline] |
Member Function Documentation
bool Gecode::FlatZinc::AST::SetLit::empty |
( |
void |
| ) |
const [inline] |
virtual void Gecode::FlatZinc::AST::SetLit::print |
( |
std::ostream & |
| ) |
[inline, virtual] |
Member Data Documentation
The documentation for this class was generated from the following file: