PolyBoRi
LeadingTerms11.h
Go to the documentation of this file.
00001 // -*- c++ -*-
00002 //*****************************************************************************
00014 //*****************************************************************************
00015 
00016 #ifndef polybori_groebner_LeadingTerms11_h_
00017 #define polybori_groebner_LeadingTerms11_h_
00018 
00019 #include "TermsFacade.h"
00020 #include "PolyEntry.h"
00021 
00022 // include basic definitions
00023 #include "groebner_defs.h"
00024 
00025 BEGIN_NAMESPACE_PBORIGB
00026 
00031 class LeadingTerms11:
00032   public TermsFacade<LeadingTerms11> {
00033 
00034 public:
00035   template <class Type>
00036   LeadingTerms11(const Type& rhs): TermsFacade<LeadingTerms11>(rhs) {}
00037 
00038   bool isCompatible(const PolyEntry& entry) const {
00039     return entry.literal_factors.is11Factorization();
00040   }
00041 };
00042 
00043 END_NAMESPACE_PBORIGB
00044 
00045 #endif /* polybori_groebner_LeadingTerms11_h_ */