diff --git a/src/primitives.py b/src/primitives.py index 5d56250d3a5c4a587536c01b1bce51703698ace3..3b3689847a12dd7158636c3e9b4d1769d24e85c9 100644 --- a/src/primitives.py +++ b/src/primitives.py @@ -148,6 +148,22 @@ class Leaf(AlgebraicLeaf): +class Constant(Leaf): + def __init__(self, value): + self.value = value + + def __getinitargs__(self): + return self.value, + + def __hash__(self): + return 0x493120aa ^ hash(self.name) + + def get_mapper_method(self, mapper): + return mapper.map_constant + + + + class Variable(Leaf): def __init__(self, name): self.name = name