public static SCode Make(PrimitiveGreaterThanFixnumXQ predicate, SCode consequent, SCode alternative)
{
return
(new PCondGreaterThanFixnumXQ(predicate, consequent, alternative));
}
public static SCode Make(PrimitiveGreaterThanFixnumXQ predicate, SCode consequent, SCode alternative)
{
return
new PCondGreaterThanFixnumXQ (predicate, consequent, alternative);
}
protected PCondGreaterThanFixnumXQ(PrimitiveGreaterThanFixnumXQ predicate, SCode consequent, SCode alternative)
: base(predicate, consequent, alternative)
{
this.rand1Value = predicate.rand1Value;
}
protected PCondGreaterThanFixnumXQ(PrimitiveGreaterThanFixnumXQ predicate, SCode consequent, SCode alternative)
: base(predicate, consequent, alternative)
{
this.rand1Value = predicate.rand1Value;
}
