souffle
2.0.2-371-g6315b36
|
Go to the documentation of this file.
37 class NumericConstant :
public Constant {
74 bool equal(
const Node& node)
const override {
const std::optional< Type > & getFixedType() const
const std::string & getConstant() const
Get string representation of Constant.
void setFinalType(Type newType)
Constant(std::string value, SrcLocation loc={})
NumericConstant * clone() const override
Create clone.
auto copy(span< A, arity > s)
NumericConstant(RamSigned value)
Abstract class for syntactic elements in an input program.
std::optional< Type > finalTranslatorType
A class describing a range in an input file.
void setSrcLoc(SrcLocation l)
Set source location for the Node.
bool equal(const Node &node) const override
Abstract equality check for two AST nodes.
std::optional< Type > getFinalType() const
const SrcLocation & getSrcLoc() const
Return source location of the Node.
std::optional< Type > fixedType
const std::string constant
String representation of constant.
bool equal(const Node &node) const override
Abstract equality check for two AST nodes.