Searched defs:makeEqual (Results 1 – 5 of 5) sorted by relevance
83 Result makeEqual(FixedBits& a, FixedBits& b, unsigned from, unsigned to) in makeEqual() function
145 public void makeEqual(TGMeasureHeader measure){ in makeEqual() method in TGMeasureHeader
145 public void makeEqual(TGMeasure measure){ in makeEqual() method in TGMeasure
35 NLBound NLBound::makeEqual(double val) { return NLBound(EQ, val, val); } in makeEqual() function in MiniZinc::NLBound
1266 …tSkolem(TNode ref, const string& name, const TypeNode& type, const string& comment, bool makeEqual) in getSkolem()