public static SCode Make(PrimitiveIsIntEq predicate, SCode consequent, SCode alternative) { return (predicate is PrimitiveIsIntEqL) ? PCondIsIntEqL.Make ((PrimitiveIsIntEqL) predicate, consequent, alternative) : new PCondIsIntEq (predicate, consequent, alternative); }
protected PCondIsIntEq(PrimitiveIsIntEq predicate, SCode consequent, SCode alternative) : base(predicate, consequent, alternative) { }