| /dports/math/stp/stp-2.3.3/lib/Simplifier/constantBitP/ |
| H A D | ConstantBitP_TransferFunctions.cpp | 190 Result result = makeEqual(input, output, 0, inputBitWidth); in bvZeroExtendBothWays()
219 Result result = makeEqual(input, output, 0, inputBitWidth); in bvSignExtendBothWays()
252 Result result2 = makeEqual(input, output, 0, inputBitWidth); in bvSignExtendBothWays()
406 result = makeEqual(output, c1, 0, bitWidth); in bvITEBothWays()
412 result = makeEqual(output, c2, 0, bitWidth); in bvITEBothWays()
|
| H A D | ConstantBitP_Utility.cpp | 83 Result makeEqual(FixedBits& a, FixedBits& b, unsigned from, unsigned to) in makeEqual() function
|
| /dports/math/minizinc/libminizinc-2.5.5/solvers/nl/ |
| H A D | nl_file.cpp | 470 NLBound bound = NLBound::makeEqual(value.numericValue); in linconsEq()
478 NLBound bound = NLBound::makeEqual(0); in linconsEq()
590 NLBound bound = NLBound::makeEqual(0); in nlconsEq()
680 NLBound bound = NLBound::makeEqual(z.numericValue); in nlconsOperatorBinary()
685 NLBound bound = NLBound::makeEqual(0); in nlconsOperatorBinary()
736 NLBound bound = NLBound::makeEqual(z.numericValue); in nlconsOperatorBinary()
741 NLBound bound = NLBound::makeEqual(0); in nlconsOperatorBinary()
790 NLBound bound = NLBound::makeEqual(y.numericValue); in nlconsOperatorUnary()
795 NLBound bound = NLBound::makeEqual(0); in nlconsOperatorUnary()
836 NLBound bound = NLBound::makeEqual(y.numericValue); in nlconsOperatorUnaryLog2()
[all …]
|
| H A D | nl_components.cpp | 23 return makeEqual(lb); in makeBounded()
35 NLBound NLBound::makeEqual(double val) { return NLBound(EQ, val, val); } in makeEqual() function in MiniZinc::NLBound
|
| /dports/math/stp/stp-2.3.3/include/stp/Simplifier/constantBitP/ |
| H A D | ConstantBitP_Utility.h | 38 Result makeEqual(FixedBits& a, FixedBits& b, unsigned from, unsigned to);
|
| /dports/audio/tuxguitar/tuxguitar-src-1.2/TuxGuitar/src/org/herac/tuxguitar/song/models/ |
| H A D | TGMeasureHeader.java | 145 public void makeEqual(TGMeasureHeader measure){ in makeEqual() method in TGMeasureHeader
|
| H A D | TGMeasure.java | 145 public void makeEqual(TGMeasure measure){ in makeEqual() method in TGMeasure
|
| /dports/math/minizinc/libminizinc-2.5.5/include/minizinc/solvers/nl/ |
| H A D | nl_components.hh | 158 static NLBound makeEqual(double val);
|
| /dports/math/cvc4/CVC4-1.7/src/theory/arrays/ |
| H A D | theory_arrays.h | 435 … const std::string& name, const TypeNode& type, const std::string& comment, bool makeEqual = true);
|
| H A D | theory_arrays.cpp | 1266 …tSkolem(TNode ref, const string& name, const TypeNode& type, const string& comment, bool makeEqual) in getSkolem() argument
1280 makeEqual = false; in getSkolem()
1288 if (makeEqual) { in getSkolem()
|
| /dports/audio/tuxguitar/tuxguitar-src-1.2/TuxGuitar/src/org/herac/tuxguitar/song/managers/ |
| H A D | TGTrackManager.java | 176 measure.makeEqual(newMeasure); in replaceMeasure()
|
| H A D | TGSongManager.java | 826 header.makeEqual(newMeasure.clone(getFactory())); in replaceMeasureHeader()
|