MobilityDB  1.0

◆ numparam

int LiftedFunctionInfo::numparam

Number of parameters of the function.