Searched refs:addBitOr (Results 1 – 3 of 3) sorted by relevance
68 int addBitOr; member618 BINARY (addBitOr); in parse_line()
468 virtual void addBitOr (BitVector::BitRange output, in addBitOr() function in BitVector
488 void addBitOr (BitRange o, BitRange a, BitRange b) in addBitOr() function in BtorIBV