Home
last modified time | relevance | path

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

/dports/math/gap/gap-4.11.0/pkg/ferret-1.0.2/YAPB++/source/rbase/
H A Dbuild_rbase.hpp53 int choose_branch_cell(PartitionStack* ps, ConstraintStore* cstore, in choose_branch_cell() function
239 branch_cell = choose_branch_cell(&p->p_stack, in buildRBase()