Home
last modified time | relevance | path

Searched defs:makeEqual (Results 1 – 5 of 5) sorted by relevance

/dports/math/stp/stp-2.3.3/lib/Simplifier/constantBitP/
H A DConstantBitP_Utility.cpp83 Result makeEqual(FixedBits& a, FixedBits& b, unsigned from, unsigned to) in makeEqual() function
/dports/audio/tuxguitar/tuxguitar-src-1.2/TuxGuitar/src/org/herac/tuxguitar/song/models/
H A DTGMeasureHeader.java145 public void makeEqual(TGMeasureHeader measure){ in makeEqual() method in TGMeasureHeader
H A DTGMeasure.java145 public void makeEqual(TGMeasure measure){ in makeEqual() method in TGMeasure
/dports/math/minizinc/libminizinc-2.5.5/solvers/nl/
H A Dnl_components.cpp35 NLBound NLBound::makeEqual(double val) { return NLBound(EQ, val, val); } in makeEqual() function in MiniZinc::NLBound
/dports/math/cvc4/CVC4-1.7/src/theory/arrays/
H A Dtheory_arrays.cpp1266 …tSkolem(TNode ref, const string& name, const TypeNode& type, const string& comment, bool makeEqual) in getSkolem()