Searched refs:BlockDegRevLexAscOrder (Results 1 – 14 of 14) sorted by relevance
/dports/math/py-brial/BRiAl-1.2.10/libbrial/include/polybori/ |
H A D | BlockDegRevLexAscOrder.h | 33 class BlockDegRevLexAscOrder: 34 public CBlockOrderingFacade<BlockDegRevLexAscOrder, block_dp_asc_tag> { 37 typedef BlockDegRevLexAscOrder self; 44 BlockDegRevLexAscOrder(): base() {}; in BlockDegRevLexAscOrder() function 47 BlockDegRevLexAscOrder(const self& rhs): base(rhs) {}; in BlockDegRevLexAscOrder() function 50 ~BlockDegRevLexAscOrder() {}; in ~BlockDegRevLexAscOrder()
|
H A D | BoolePolynomial.h | 52 class BlockDegRevLexAscOrder; 164 typedef CGenericIter<BlockDegRevLexAscOrder, navigator, monom_type> 173 typedef CGenericIter<BlockDegRevLexAscOrder, navigator, exp_type>
|
/dports/math/brial/BRiAl-1.2.10/libbrial/include/polybori/ |
H A D | BlockDegRevLexAscOrder.h | 33 class BlockDegRevLexAscOrder: 34 public CBlockOrderingFacade<BlockDegRevLexAscOrder, block_dp_asc_tag> { 37 typedef BlockDegRevLexAscOrder self; 44 BlockDegRevLexAscOrder(): base() {}; in BlockDegRevLexAscOrder() function 47 BlockDegRevLexAscOrder(const self& rhs): base(rhs) {}; in BlockDegRevLexAscOrder() function 50 ~BlockDegRevLexAscOrder() {}; in ~BlockDegRevLexAscOrder()
|
H A D | BoolePolynomial.h | 52 class BlockDegRevLexAscOrder; variable 164 typedef CGenericIter<BlockDegRevLexAscOrder, navigator, monom_type> 173 typedef CGenericIter<BlockDegRevLexAscOrder, navigator, exp_type>
|
/dports/math/py-brial/BRiAl-1.2.10/libbrial/src/ |
H A D | BlockDegRevLexAscOrder.cc | 37 BlockDegRevLexAscOrder::comp_type 38 BlockDegRevLexAscOrder::compare(const monom_type& lhs, const monom_type& rhs) const { in compare() 44 BlockDegRevLexAscOrder::comp_type 45 BlockDegRevLexAscOrder::compare(const exp_type& lhs, const exp_type& rhs) const { in compare() 51 BlockDegRevLexAscOrder::comp_type 52 BlockDegRevLexAscOrder::compare(idx_type lhs, idx_type rhs) const { in compare()
|
H A D | Makefile.am | 7 BlockDegRevLexAscOrder.cc \
|
/dports/math/brial/BRiAl-1.2.10/libbrial/src/ |
H A D | BlockDegRevLexAscOrder.cc | 37 BlockDegRevLexAscOrder::comp_type 38 BlockDegRevLexAscOrder::compare(const monom_type& lhs, const monom_type& rhs) const { in compare() 44 BlockDegRevLexAscOrder::comp_type 45 BlockDegRevLexAscOrder::compare(const exp_type& lhs, const exp_type& rhs) const { in compare() 51 BlockDegRevLexAscOrder::comp_type 52 BlockDegRevLexAscOrder::compare(idx_type lhs, idx_type rhs) const { in compare()
|
H A D | Makefile.am | 7 BlockDegRevLexAscOrder.cc \
|
/dports/math/py-brial/BRiAl-1.2.10/libbrial/include/polybori/orderings/ |
H A D | pbori_order.h | 46 return order_ptr(new BlockDegRevLexAscOrder); in get_ordering()
|
/dports/math/brial/BRiAl-1.2.10/libbrial/include/polybori/orderings/ |
H A D | pbori_order.h | 46 return order_ptr(new BlockDegRevLexAscOrder); in get_ordering()
|
/dports/math/py-brial/BRiAl-1.2.10/libbrial/include/ |
H A D | Makefile.am | 3 polybori/BlockDegRevLexAscOrder.h \
|
/dports/math/brial/BRiAl-1.2.10/libbrial/include/ |
H A D | Makefile.am | 3 polybori/BlockDegRevLexAscOrder.h \
|
/dports/math/py-brial/BRiAl-1.2.10/tests/ |
H A D | BlockDegRevLexAscOrderTest.cc | 33 typedef BlockDegRevLexAscOrder order_type;
|
/dports/math/brial/BRiAl-1.2.10/tests/ |
H A D | BlockDegRevLexAscOrderTest.cc | 33 typedef BlockDegRevLexAscOrder order_type;
|