public static SCode Make(PrimitiveIsCharEqA0Q predicate, SCode consequent, SCode alternative)
{
return
(new PCondIsCharEqA0Q(predicate, consequent, alternative));
}
protected PCondIsCharEqA0Q(PrimitiveIsCharEqA0Q predicate, SCode consequent, SCode alternative)
: base(predicate, consequent, alternative)
{
this.rand1Value = predicate.rand1Value;
}
protected PCondIsCharEqA0Q(PrimitiveIsCharEqA0Q predicate, SCode consequent, SCode alternative)
: base(predicate, consequent, alternative)
{
this.rand1Value = predicate.rand1Value;
}
public static SCode Make(PrimitiveIsCharEqA0Q predicate, SCode consequent, SCode alternative)
{
return
new PCondIsCharEqA0Q (predicate, consequent, alternative);
}
public static SCode Make(Primitive2 rator, Argument0 rand0, SCode rand1)
{
return
((rand1 is Quotation) ? PrimitiveIsCharEqA0Q.Make(rator, rand0, (Quotation)rand1)
: Unimplemented());
}
