- d_numNonLinear(name + "theory::arrays::number of calls to setNonLinear", 0),
- d_numSharedArrayVarSplits(name + "theory::arrays::number of shared array var splits", 0),
- d_numGetModelValSplits(name + "theory::arrays::number of getModelVal splits", 0),
- d_numGetModelValConflicts(name + "theory::arrays::number of getModelVal conflicts", 0),
- d_numSetModelValSplits(name + "theory::arrays::number of setModelVal splits", 0),
- d_numSetModelValConflicts(name + "theory::arrays::number of setModelVal conflicts", 0),
- d_ppEqualityEngine(u, name + "theory::arrays::pp" , true),
+ d_numNonLinear(name + "theory::arrays::number of calls to setNonLinear",
+ 0),
+ d_numSharedArrayVarSplits(
+ name + "theory::arrays::number of shared array var splits", 0),
+ d_numGetModelValSplits(
+ name + "theory::arrays::number of getModelVal splits", 0),
+ d_numGetModelValConflicts(
+ name + "theory::arrays::number of getModelVal conflicts", 0),
+ d_numSetModelValSplits(
+ name + "theory::arrays::number of setModelVal splits", 0),
+ d_numSetModelValConflicts(
+ name + "theory::arrays::number of setModelVal conflicts", 0),
+ d_ppEqualityEngine(u, name + "theory::arrays::pp", true),