Home
last modified time | relevance | path

Searched refs:nvar_index (Results 1 – 1 of 1) sorted by relevance

/dports/math/cvc4/CVC4-1.7/src/theory/quantifiers/
H A Dextended_rewrite.cpp1447 unsigned nvar_index = 0; in extendedRewriteEqChain() local
1455 nvar_index = children.size(); in extendedRewriteEqChain()
1466 unsigned nindex = has_nvar ? nvar_index : 0; in extendedRewriteEqChain()