public static SCode Make(PrimitiveIsObjectType predicate, SCode consequent, SCode alternative)
{
return
(predicate is PrimitiveIsObjectTypeQ) ? PCondIsObjectTypeQ.Make ((PrimitiveIsObjectTypeQ) predicate, consequent, alternative) :
new PCondIsObjectType (predicate, consequent, alternative);
}
public static SCode Make(PrimitiveIsObjectType predicate, SCode consequent, SCode alternative)
{
return
((predicate is PrimitiveIsObjectTypeQ) ? PCondIsObjectTypeQ.Make((PrimitiveIsObjectTypeQ)predicate, consequent, alternative) :
new PCondIsObjectType(predicate, consequent, alternative));
}
protected PCondIsObjectType(PrimitiveIsObjectType predicate, SCode consequent, SCode alternative)
: base(predicate, consequent, alternative)
{
}
protected PCondIsObjectType(PrimitiveIsObjectType predicate, SCode consequent, SCode alternative)
: base(predicate, consequent, alternative)
{
}