Home
last modified time | relevance | path

Searched defs:mkOnes (Results 1 – 6 of 6) sorted by relevance

/dports/math/cvc4/CVC4-1.7/src/proof/
H A Dproof_utils.h133 inline Expr mkOnes(unsigned size) { in mkOnes() function
/dports/math/cvc4/CVC4-1.7/src/util/
H A Dbitvector.cpp344 BitVector BitVector::mkOnes(unsigned size) in mkOnes() function in CVC4::BitVector
/dports/math/cvc4/CVC4-1.7/src/theory/bv/
H A Dtheory_bv_utils.cpp239 Node mkOnes(unsigned size) in mkOnes() function
/dports/science/jstrack/jstrack/extlib/tcllib1.19/math/
H A Dlinalg.tcl1005 proc ::math::linearalgebra::mkOnes { size } { procedure
/dports/devel/tcllib/tcllib-1.20/modules/math/
H A Dlinalg.tcl1005 proc ::math::linearalgebra::mkOnes { size } { procedure
/dports/devel/tcllibc/tcllib-1.20/modules/math/
H A Dlinalg.tcl1005 proc ::math::linearalgebra::mkOnes { size } { procedure