Acomp.h

Go to the documentation of this file.

// Mantid Repository : https://github.com/mantidproject/mantid
//
// Copyright © 2007 ISIS Rutherford Appleton Laboratory UKRI,
//   NScD Oak Ridge National Laboratory, European Spallation Source,
//   Institut Laue - Langevin & CSNS, Institute of High Energy Physics, CAS
// SPDX - License - Identifier: GPL - 3.0 +
#pragma once
 
#include "MantidGeometry/DllConfig.h"
#include "MantidGeometry/Math/BnId.h"
#include <map>
#include <string>
#include <utility>
#include <vector>
 
namespace Mantid {
namespace Kernel {
template <typename T> class Matrix;
}
 
namespace Geometry {
 
class MANTID_GEOMETRY_DLL Acomp {
 
private:
  int Intersect;           
  std::vector<int> Units;  
  std::vector<Acomp> Comp; 
 
  void deleteComp();           
  void addComp(const Acomp &); 
  void addUnitItem(int const); 
  void processIntersection(const std::string &);
  void processUnion(const std::string &);
  int joinDepth();                
  int removeEqComp();             
  int copySimilar(const Acomp &); 
 
  void addUnit(const std::vector<int> &,
               const BnId &); 
  void assignDNF(const std::vector<int> &,
                 const std::vector<BnId> &); 
  int getDNFobject(std::vector<int> &, std::vector<BnId> &) const;
  int getDNFpart(std::vector<Acomp> &) const; 
 
  int getCNFobject(std::vector<int> &, std::vector<BnId> &) const;
  void assignCNF(const std::vector<int> &,
                 const std::vector<BnId> &); 
  //  int getCNFpart(std::vector<Acomp>&) const;                   ///< get the
  //  CNF parts (as Acomp)
 
  int makePI(std::vector<BnId> &) const;
  int makeEPI(std::vector<BnId> &, std::vector<BnId> &) const;
 
  int makeReadOnce(); 
 
public:
  Acomp(int const = 0);
  bool operator==(const Acomp &) const;
  bool operator!=(const Acomp &) const; 
  bool operator<(const Acomp &) const;
  bool operator>(const Acomp &) const;
  Acomp &operator+=(const Acomp &);
  Acomp &operator-=(const Acomp &);
  Acomp &operator*=(const Acomp &);
 
  const Acomp *itemC(int const) const; 
  int itemN(int const) const;          
 
  std::pair<int, int> size() const; 
  int isSimple() const;             
  int isDNF() const;                
  int isCNF() const;                
  int isNull() const;               
  int isSingle() const;             
  int contains(const Acomp &) const;
  int isInter() const { return Intersect; }     
  int isTrue(const std::map<int, int> &) const; 
 
  void Sort();                                     
  void getLiterals(std::map<int, int> &) const;    
  void getAbsLiterals(std::map<int, int> &) const; 
  std::vector<int> getKeys() const;
  int logicalEqual(const Acomp &) const;
 
  int makeDNFobject(); 
  int makeCNFobject(); 
 
  void complement();                             
  std::pair<Acomp, Acomp> algDiv(const Acomp &); 
  void setString(const std::string &);           
  void writeFull(std::ostream &,
                 int const = 0) const;           
  std::string display() const;                   
  std::string displayDepth(int const = 0) const; 
 
  void printImplicates(const std::vector<BnId> &, const Kernel::Matrix<int> &) const;
};
 
std::ostream &operator<<(std::ostream &, const Acomp &);
 
} // NAMESPACE Geometry
 
} // NAMESPACE Mantid