Home
last modified time | relevance | path

Searched refs:BlockDegRevLexAscOrder (Results 1 – 14 of 14) sorted by relevance

/dports/math/py-brial/BRiAl-1.2.10/libbrial/include/polybori/
H A DBlockDegRevLexAscOrder.h33 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 DBoolePolynomial.h52 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 DBlockDegRevLexAscOrder.h33 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 DBoolePolynomial.h52 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 DBlockDegRevLexAscOrder.cc37 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 DMakefile.am7 BlockDegRevLexAscOrder.cc \
/dports/math/brial/BRiAl-1.2.10/libbrial/src/
H A DBlockDegRevLexAscOrder.cc37 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 DMakefile.am7 BlockDegRevLexAscOrder.cc \
/dports/math/py-brial/BRiAl-1.2.10/libbrial/include/polybori/orderings/
H A Dpbori_order.h46 return order_ptr(new BlockDegRevLexAscOrder); in get_ordering()
/dports/math/brial/BRiAl-1.2.10/libbrial/include/polybori/orderings/
H A Dpbori_order.h46 return order_ptr(new BlockDegRevLexAscOrder); in get_ordering()
/dports/math/py-brial/BRiAl-1.2.10/libbrial/include/
H A DMakefile.am3 polybori/BlockDegRevLexAscOrder.h \
/dports/math/brial/BRiAl-1.2.10/libbrial/include/
H A DMakefile.am3 polybori/BlockDegRevLexAscOrder.h \
/dports/math/py-brial/BRiAl-1.2.10/tests/
H A DBlockDegRevLexAscOrderTest.cc33 typedef BlockDegRevLexAscOrder order_type;
/dports/math/brial/BRiAl-1.2.10/tests/
H A DBlockDegRevLexAscOrderTest.cc33 typedef BlockDegRevLexAscOrder order_type;