public static new SCode Make(Primitive2 rator, SCode rand0, SCode rand1)
{
return
((rand0 is LexicalVariable) ? PrimitiveIsIntEqL.Make(rator, (LexicalVariable)rand0, rand1)
: (rand0 is Quotation) ? PrimitiveIsIntEqQ.Make(rator, (Quotation)rand0, rand1)
: (rand1 is LexicalVariable) ? PrimitiveIsIntEqSL.Make(rator, rand0, (LexicalVariable)rand1)
: (rand1 is Quotation) ? PrimitiveIsIntEqSQ.Make(rator, rand0, (Quotation)rand1)
: new PrimitiveIsIntEq(rator, rand0, rand1));
}
public static SCode Make(PrimitiveIsIntEqL predicate, SCode consequent, SCode alternative)
{
return
(predicate is PrimitiveIsIntEqA) ? PCondIsIntEqA.Make ((PrimitiveIsIntEqA) predicate, consequent, alternative) :
new PCondIsIntEqL (predicate, consequent, alternative);
}
protected PCondIsIntEqL(PrimitiveIsIntEqL predicate, SCode consequent, SCode alternative)
: base(predicate, consequent, alternative)
{
}
protected PCondIsIntEqL(PrimitiveIsIntEqL predicate, SCode consequent, SCode alternative)
: base(predicate, consequent, alternative)
{
}
public static SCode Make(PrimitiveIsIntEqL predicate, SCode consequent, SCode alternative)
{
return
((predicate is PrimitiveIsIntEqA) ? PCondIsIntEqA.Make((PrimitiveIsIntEqA)predicate, consequent, alternative) :
new PCondIsIntEqL(predicate, consequent, alternative));
}
