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