6 uint_fast64_t lineNumber)
7 :
LocatedInformation(filename, lineNumber), name(variable.getName()), variable(variable), expression(expression) {
25 return this->variable.is_initialized();
29 return this->variable.get();
33 return this->expression;
60std::ostream& operator<<(std::ostream& stream,
Formula const& formula) {
Type const & getType() const
Retrieves the type of the variable.