cmake: Generate cvc4_export.h and set visibility to hidden. (#6139)

The build system (cmake) will automatically generate an export header
cvc4_export.h, which makes sure that the correct export features are
defined depending on the compiler and target platform. The macro CVC4_EXPORT
replaces CVC4_PUBLIC and its usage is reduced by 2/3.

Co-authored-by: Gereon Kremer <nafur42@gmail.com>

1 files changed, 10 insertions, 6 deletions

diff --git a/src/util/cardinality.h b/src/util/cardinality.h
index 5f7d70406..6c48b44a8 100644
--- a/src/util/cardinality.h
+++ b/src/util/cardinality.h
@@ -30,7 +30,8 @@ namespace CVC4 {
  * Representation for a Beth number, used only to construct
  * Cardinality objects.
  */
-class CVC4_PUBLIC CardinalityBeth {
+class CardinalityBeth
+{
   Integer d_index;
 
  public:
@@ -43,7 +44,8 @@ class CVC4_PUBLIC CardinalityBeth {
 /**
  * Representation for an unknown cardinality.
  */
-class CVC4_PUBLIC CardinalityUnknown {
+class CardinalityUnknown
+{
  public:
   CardinalityUnknown() {}
   ~CardinalityUnknown() {}
@@ -54,7 +56,8 @@ class CVC4_PUBLIC CardinalityUnknown {
  * arbitrary-precision integer for finite cardinalities, and we
  * distinguish infinite cardinalities represented as Beth numbers.
  */
-class CVC4_PUBLIC Cardinality {
+class Cardinality
+{
   /** Cardinality of the integers */
   static const Integer s_intCard;
 
@@ -90,7 +93,8 @@ class CVC4_PUBLIC Cardinality {
   static const Cardinality UNKNOWN_CARD;
 
   /** Used as a result code for Cardinality::compare(). */
-  enum CVC4_PUBLIC CardinalityComparison {
+  enum CardinalityComparison
+  {
     LESS,
     EQUAL,
     GREATER,
@@ -216,10 +220,10 @@ class CVC4_PUBLIC Cardinality {
 }; /* class Cardinality */
 
 /** Print an element of the InfiniteCardinality enumeration. */
-std::ostream& operator<<(std::ostream& out, CardinalityBeth b) CVC4_PUBLIC;
+std::ostream& operator<<(std::ostream& out, CardinalityBeth b);
 
 /** Print a cardinality in a human-readable fashion. */
-std::ostream& operator<<(std::ostream& out, const Cardinality& c) CVC4_PUBLIC;
+std::ostream& operator<<(std::ostream& out, const Cardinality& c);
 
 } /* CVC4 namespace */