#include <ast.hh>
Public Member Functions | |
FloatLit (double d0) | |
virtual void | print (std::ostream &os) |
Output string representation. | |
Public Attributes | |
double | d |
Gecode::FlatZinc::AST::FloatLit::FloatLit | ( | double | d0 | ) | [inline] |
virtual void Gecode::FlatZinc::AST::FloatLit::print | ( | std::ostream & | ) | [inline, virtual] |
Output string representation.
Implements Gecode::FlatZinc::AST::Node.