10#ifndef CPROVER_UTIL_RATIONAL_TOOLS_H
11#define CPROVER_UTIL_RATIONAL_TOOLS_H
ait supplies three of the four components needed: an abstract interpreter (in this case handling func...
A constant literal expression.
Base class for all expressions.
API to expression classes.