Searched defs:BinNE (Results 1 – 1 of 1) sorted by relevance
61 class BinNE : public Propagator, public Checker { class67 BinNE(IntView<U> _x, IntView<V> _y, BoolView _r = bv_true) : in BinNE() function in BinNE