public static SCode Make(Primitive2 rator, LexicalVariable rand0, SCode rand1)
{
return
((rand0 is Argument) ? PrimitiveIsIntEqA.Make(rator, (Argument)rand0, rand1) :
(rand0 is LexicalVariable1) ? PrimitiveIsIntEqL1.Make(rator, (LexicalVariable1)rand0, rand1) :
(rand1 is LexicalVariable) ? Unimplemented() :
(rand1 is Quotation) ? PrimitiveIsIntEqLQ.Make(rator, rand0, (Quotation)rand1) :
new PrimitiveIsIntEqL(rator, rand0, rand1));
}
public static SCode Make(PrimitiveIsIntEqA predicate, SCode consequent, SCode alternative)
{
return
(predicate is PrimitiveIsIntEqA0) ? PCondIsIntEqA0.Make ((PrimitiveIsIntEqA0) predicate, consequent, alternative) :
new PCondIsIntEqA (predicate, consequent, alternative);
}
protected PCondIsIntEqA(PrimitiveIsIntEqA predicate, SCode consequent, SCode alternative)
: base(predicate, consequent, alternative)
{
}
public static SCode Make(PrimitiveIsIntEqA predicate, SCode consequent, SCode alternative)
{
return
((predicate is PrimitiveIsIntEqA0) ? PCondIsIntEqA0.Make((PrimitiveIsIntEqA0)predicate, consequent, alternative) :
new PCondIsIntEqA(predicate, consequent, alternative));
}
protected PCondIsIntEqA(PrimitiveIsIntEqA predicate, SCode consequent, SCode alternative)
: base(predicate, consequent, alternative)
{
}