/** * */ public static IPattern valueOf(final ISymbol symbol, final IExpr check, final boolean def) { return new Pattern(symbol, check, def); // p.fSymbol = symbol; // p.fCondition = check; // p.fDefault = def; // return p; }
/** * * @param numerator * @return */ public static IPattern valueOf(final ISymbol symbol, final IExpr check) { return new Pattern(symbol, check); // p.fSymbol = symbol; // p.fCondition = check; // return p; }
/** * */ public static IPattern valueOf(@Nonnull final ISymbol symbol, final IExpr check, final boolean def) { return new Pattern(symbol, check, def); }
/** * * @param numerator * @return */ public static IPattern valueOf(@Nonnull final ISymbol symbol, final IExpr check) { return new Pattern(symbol, check); }
public static IPattern valueOf(final ISymbol symbol) { if (symbol == null) { return NULL_PATTERN; } IPattern value = F.PREDEFINED_PATTERN_MAP.get(symbol.toString()); if (value != null) { return value; } return new Pattern(symbol); }
public static IPattern initPredefinedPattern(@Nonnull final ISymbol symbol) { IPattern temp = new Pattern(symbol); PREDEFINED_PATTERN_MAP.put(symbol.toString(), temp); return temp; }
public static IPattern valueOf(@Nonnull final ISymbol symbol) { if (symbol.getContext().equals(Context.DUMMY)) { IPattern value = F.PREDEFINED_PATTERN_MAP.get(symbol.toString()); if (value != null) { return value; } } return new Pattern(symbol); }
z = predefinedSymbol("z"); a_ = new Pattern(a); b_ = new Pattern(b); c_ = new Pattern(c); d_ = new Pattern(d); e_ = new Pattern(e); f_ = new Pattern(f); g_ = new Pattern(g); h_ = new Pattern(h); i_ = new Pattern(i); j_ = new Pattern(j); k_ = new Pattern(k); l_ = new Pattern(l); m_ = new Pattern(m); n_ = new Pattern(n); o_ = new Pattern(o); p_ = new Pattern(p); q_ = new Pattern(q); r_ = new Pattern(r); s_ = new Pattern(s); t_ = new Pattern(t); u_ = new Pattern(u); v_ = new Pattern(v); w_ = new Pattern(w); x_ = new Pattern(x); y_ = new Pattern(y); z_ = new Pattern(z);