public static SCode Make(Primitive2 rator, Argument rand0, SCode rand1) { return ((rand0 is Argument0) ? PrimitiveIsIntEqA0.Make(rator, (Argument0)rand0, rand1) : (rand0 is Argument1) ? PrimitiveIsIntEqA1.Make(rator, (Argument1)rand0, rand1) : Unimplemented()); }
public static SCode Make(PrimitiveIsIntEqA0 predicate, SCode consequent, SCode alternative) { return (predicate is PrimitiveIsIntEqA0Q) ? PCondIsIntEqA0Q.Make ((PrimitiveIsIntEqA0Q) predicate, consequent, alternative) : new PCondIsIntEqA0 (predicate, consequent, alternative); }
protected PCondIsIntEqA0(PrimitiveIsIntEqA0 predicate, SCode consequent, SCode alternative) : base(predicate, consequent, alternative) { }
public static SCode Make(PrimitiveIsIntEqA0 predicate, SCode consequent, SCode alternative) { return ((predicate is PrimitiveIsIntEqA0Q) ? PCondIsIntEqA0Q.Make((PrimitiveIsIntEqA0Q)predicate, consequent, alternative) : new PCondIsIntEqA0(predicate, consequent, alternative)); }
protected PCondIsIntEqA0(PrimitiveIsIntEqA0 predicate, SCode consequent, SCode alternative) : base(predicate, consequent, alternative) { }