Searched refs:eliminateBVSDiv (Results 1 – 3 of 3) sorted by relevance
105 static Node eliminateBVSDiv(TNode node);
734 Node TheoryBVRewriter::eliminateBVSDiv(TNode node) { in eliminateBVSDiv() function in TheoryBVRewriter
202 return TheoryBVRewriter::eliminateBVSDiv(node); in expandDefinition()