public static SCode Make(PrimitiveIsCharEqA predicate, SCode consequent, SCode alternative)
{
return
((predicate is PrimitiveIsCharEqA0) ? PCondIsCharEqA0.Make((PrimitiveIsCharEqA0)predicate, consequent, alternative) :
(predicate is PrimitiveIsCharEqA1) ? PCondIsCharEqA1.Make((PrimitiveIsCharEqA1)predicate, consequent, alternative) :
new PCondIsCharEqA(predicate, consequent, alternative));
}
public static SCode Make(Primitive2 rator, LexicalVariable rand0, SCode rand1)
{
return
((rand0 is Argument) ? PrimitiveIsCharEqA.Make(rator, (Argument)rand0, rand1)
: (rand0 is LexicalVariable1) ? PrimitiveIsCharEqL1.Make(rator, (LexicalVariable1)rand0, rand1) :
(rand1 is LexicalVariable) ? Unimplemented() :
(rand1 is Quotation) ? PrimitiveIsCharEqLQ.Make(rator, rand0, (Quotation)rand1) :
new PrimitiveIsCharEqL(rator, rand0, rand1));
}
protected PCondIsCharEqA(PrimitiveIsCharEqA predicate, SCode consequent, SCode alternative)
: base(predicate, consequent, alternative)
{
}
public static SCode Make(PrimitiveIsCharEqA predicate, SCode consequent, SCode alternative)
{
return
(predicate is PrimitiveIsCharEqA0) ? PCondIsCharEqA0.Make ((PrimitiveIsCharEqA0) predicate, consequent, alternative) :
(predicate is PrimitiveIsCharEqA1) ? PCondIsCharEqA1.Make ((PrimitiveIsCharEqA1) predicate, consequent, alternative) :
new PCondIsCharEqA (predicate, consequent, alternative);
}
protected PCondIsCharEqA(PrimitiveIsCharEqA predicate, SCode consequent, SCode alternative)
: base(predicate, consequent, alternative)
{
}
