cvc4-1.4
expr_manager.h File Reference
#include "cvc4_public.h"
#include <vector>
#include "expr/kind.h"
#include "expr/type.h"
#include "expr/expr.h"
#include "util/subrange_bound.h"
#include "util/statistics.h"
#include "util/sexpr.h"
#include "util/uninterpreted_constant.h"
#include "util/abstract_value.h"
#include "util/chain.h"
#include "util/predicate.h"
#include "util/bool.h"
#include "util/divisible.h"
#include "util/rational.h"
#include "util/bitvector.h"
#include "util/array_store_all.h"
#include "util/datatype.h"
#include "util/ascription_type.h"
#include "util/tuple.h"
#include "util/record.h"
#include "util/emptyset.h"
#include "util/regexp.h"
Include dependency graph for expr_manager.h:
This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Data Structures

class  CVC4::ExprManager
 

Namespaces

namespace  CVC4
 
namespace  CVC4::expr
 
namespace  CVC4::expr::pickle
 
namespace  CVC4::context
 
namespace  CVC4::stats
 

Functions

StatisticsRegistry * CVC4::stats::getStatisticsRegistry (ExprManager *)