PolyTypeConstraintVisitor.h

Go to the documentation of this file.

#pragma once
 
#include "CallGraph.h"
#include "TypeConstraintVisitor.h"
#include "Unifier.h"
 
class PolyTypeConstraintVisitor : public TypeConstraintVisitor {
public:
  explicit PolyTypeConstraintVisitor(
      SymbolTable *pTable, CallGraph *callGraph, std::shared_ptr<Unifier> u,
      std::unique_ptr<ConstraintHandler> handler);
 
  virtual void endVisit(ASTFunAppExpr *element) override;
 
private:
  CallGraph *callGraph;
  std::shared_ptr<Unifier> unifier;
};