public static SCode Make(PrimitiveIsCharEq predicate, SCode consequent, SCode alternative) { return ((predicate is PrimitiveIsCharEqL) ? PCondIsCharEqL.Make((PrimitiveIsCharEqL)predicate, consequent, alternative) : new PCondIsCharEq(predicate, consequent, alternative)); }
public static SCode Make(PrimitiveIsCharEq predicate, SCode consequent, SCode alternative) { return (predicate is PrimitiveIsCharEqL) ? PCondIsCharEqL.Make ((PrimitiveIsCharEqL) predicate, consequent, alternative) : new PCondIsCharEq (predicate, consequent, alternative); }
protected PCondIsCharEq(PrimitiveIsCharEq predicate, SCode consequent, SCode alternative) : base(predicate, consequent, alternative) { }