reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
4920 str = "{S[] -> A[0,0]; T[] -> A[0,1]; U[] -> A[1,0]}"; 4921 if (test_plain_injective(ctx, str, 1)) 4923 str = "{S[] -> A[0,0]; T[] -> A[0,1]; U[] -> A[0,0]}"; 4924 if (test_plain_injective(ctx, str, 0))