Home
last modified time | relevance | path

Searched defs:StackDeductions (Results 1 – 2 of 2) sorted by relevance

/dports/math/gap/gap-4.11.0/pkg/semigroups-3.2.3/libsemigroups/src/
H A Dtodd-coxeter.cpp139 struct StackDeductions { struct
140 inline void operator()(std::stack<Deduction>& stck, in operator ()()
/dports/math/libsemigroups/libsemigroups-1.3.7/src/
H A Dtodd-coxeter.cpp186 struct StackDeductions { struct
187 inline void operator()(std::stack<Deduction>& stck, in operator ()()