Lines Matching full:symbolic
113 /// represented as <C, V>, where the V is a symbolic value, and C is a
143 assert((Val == T.Val) && "Symbolic-values disagree");
624 // The outer loop works on one symbolic-value at a time. Suppose the input
626 // The symbolic-values will be processed in this order: x, y, z.
640 // The inner loop collects addends sharing same symbolic-value, and these
642 // example, if the symbolic value "y" is being processed, the inner loop
657 // If multiple addends share same symbolic value, fold them together.
