Searched defs:DivS (Results 1 – 9 of 9) sorted by relevance
36 data DivS a = DivS { x :: a -- ^ The dividend type86 pre DivS{x, y} = x .>= 0 .&& y .> 0 function91 post DivS{x, y, q, r} = r .>= 0 .&& r .< y .&& x .== q * y + r function112 invariant DivS{x, y, q, r} = y .> 0 .&& r .>= 0 .&& x .== q * y + r function117 measure DivS{r} = [r] function
161 Data_<Sp>* Data_<Sp>::DivS( BaseGDL* r) in DivS() function in Data_250 Data_<SpDString>* Data_<SpDString>::DivS( BaseGDL* r) in DivS() function in Data_262 Data_<SpDPtr>* Data_<SpDPtr>::DivS( BaseGDL* r) in DivS() function in Data_274 Data_<SpDObj>* Data_<SpDObj>::DivS( BaseGDL* r) in DivS() function in Data_
660 BaseGDL* NullGDL::DivS( BaseGDL* r) in DivS() function in NullGDL
1047 DStructGDL* DStructGDL::DivS( BaseGDL* r) in DivS() function in DStructGDL
618 BaseGDL* BaseGDL::DivS( BaseGDL* r) in DivS() function in BaseGDL
36 DivS, enumerator
303 void CJitter::DivS() in DivS() function in CJitter
341 void CJitter::DivS() in DivS() function in CJitter
7549 ASTNODE_NODE_FUNCS(DivS) in ASTNODE_NODE_FUNCS() argument