bdd.h

#ifndef ADIAR_BDD_BDD_H
#define ADIAR_BDD_BDD_H
 
#include <string_view>
 
#include <adiar/internal/dd.h>
 
namespace adiar
{
  class bdd;
 
  class __bdd : public internal::__dd
  {
  public:
    __bdd();
 
    __bdd(const shared_node_file_type& f);
 
    __bdd(const shared_arc_file_type& f, const exec_policy& ep);
 
    __bdd(const bdd& bdd);
  };
 
  class bdd : public internal::dd
  {
    // Friends
    // |- classes [public]
    friend __bdd;
 
    // |- functions
    friend bdd
    bdd_not(const bdd&);
    friend bdd
    bdd_not(bdd&&);
 
    friend size_t
    bdd_nodecount(const bdd&);
 
    friend label_type
    bdd_varcount(const bdd&);
 
    friend __bdd
    bdd_ite(const exec_policy& ep, const bdd& f, const bdd& g, const bdd& h);
 
  public:
    static constexpr std::string_view false_print = "&perp;";
 
    static constexpr std::string_view true_print = "&#x22A4;"; // &top;
 
    // Constructors
  public:
    bdd();
 
    bdd(terminal_type t);
 
    bdd(const shared_node_file_type& f, bool negate = false, signed_label_type shift = 0);
 
    bdd(const bdd& f);
 
    bdd(bdd&& f);
 
    bdd(__bdd&& f);
 
    // Assignment operator overloadings
  public:
    bdd&
    operator=(const bdd& other);
 
    bdd&
    operator=(__bdd&& other);
 
    bdd&
    operator&=(const bdd& other);
 
    bdd&
    operator&=(bdd&& other);
 
    bdd&
    operator|=(const bdd& other);
 
    bdd&
    operator|=(bdd&& other);
 
    bdd&
    operator^=(const bdd& other);
 
    bdd&
    operator^=(bdd&& other);
 
    bdd&
    operator+=(const bdd& other);
 
    bdd&
    operator+=(bdd&& other);
 
    bdd&
    operator-=(const bdd& other);
 
    bdd&
    operator-=(bdd&& other);
 
    bdd&
    operator*=(const bdd& other);
 
    bdd&
    operator*=(bdd&& other);
  };
}
 
#endif // ADIAR_BDD_BDD_H