Searched defs:mkOnes (Results 1 – 6 of 6) sorted by relevance
133 inline Expr mkOnes(unsigned size) { in mkOnes() function
344 BitVector BitVector::mkOnes(unsigned size) in mkOnes() function in CVC4::BitVector
239 Node mkOnes(unsigned size) in mkOnes() function
1005 proc ::math::linearalgebra::mkOnes { size } { procedure