Home
last modified time | relevance | path

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

/dports/math/gap/gap-4.11.0/pkg/guava-3.15/src/leon/src/
H A Dstorage.h112 extern void freeRefinementArrayDegree( Refinement *address)
H A Dstorage.c483 void freeRefinementArrayDegree( Refinement *address) in freeRefinementArrayDegree() function
H A Dextname.h107 #define freeRefinementArrayDegree FreRAD macro
H A Dnew.c310 freeRefinementArrayDegree( oldBase->aAA); in deleteRBase()