Searched refs:d_sep (Results 1 – 3 of 3) sorted by relevance
| /dports/math/cvc4/CVC4-1.7/src/theory/sep/ |
| H A D | theory_sep.h | 132 TheorySep& d_sep; variable
135 NotifyClass(TheorySep& sep) : d_sep(sep) {} in NotifyClass()
145 return d_sep.propagate(equality); in eqNotifyTriggerEquality()
149 return d_sep.propagate(equality.notNode()); in eqNotifyTriggerEquality()
169 return d_sep.propagate(t1.eqNode(t2)); in eqNotifyTriggerTermEquality()
173 return d_sep.propagate(t1.eqNode(t2).notNode()); in eqNotifyTriggerTermEquality()
182 d_sep.conflict(t1, t2); in eqNotifyConstantTermMerge()
188 d_sep.eqNotifyPreMerge(t1, t2); in eqNotifyPreMerge()
192 d_sep.eqNotifyPostMerge(t1, t2); in eqNotifyPostMerge()
|
| /dports/math/qtiplot-doc/qtiplot-0.9.8.9/qtiplot/src/matrix/ |
| H A D | MatrixCommand.cpp | 707 d_sep(sep), in MatrixImportAsciiCommand()
724 d_model->importASCII(d_path, d_sep, d_ignore_lines, d_strip_spaces, d_simplify_spaces, in redo()
|
| H A D | MatrixCommand.h | 290 QString d_path, d_sep, d_comment;
|