#include <ckset.h>
Data Fields | |
int | id |
listNode * | next |
Definition at line 17 of file ckset.h.
Definition at line 19 of file ckset.h.
Referenced by RefinerApprox::computeA(), RefinerApprox::computeB(), RefinerApprox::getLargestCompute(), RefinerApprox::getNumLargeComputes(), RefinerTemp::Refine(), RefinerTemp::refine(), RefinerComm::Refine(), RefinerComm::refine(), RefinerApprox::Refine(), RefinerApprox::refine(), Refiner::Refine(), Refiner::refine(), RefinerApprox::reinitAssignment(), RefinerApprox::removeBigComputes(), RefinerApprox::removeBiggestSmallComputes(), RefinerTemp::removeComputes(), and Refiner::removeComputes().