public static TemporaryDerivedCompoundType <Type> makeBinaryCompound(FlagsOfCopula flagsOfCopula, TemporaryDerivedCompoundType <Type> leftChildren, TemporaryDerivedCompoundType <Type> rightChildren)
{
TemporaryDerivedCompoundType <Type> result = new TemporaryDerivedCompoundType <Type>();
result.decoration = Activator.CreateInstance <Type>();
result.flagsOfCopula = flagsOfCopula;
result.leftChildren = leftChildren;
result.rightChildren = rightChildren;
result.type = EnumType.COMPOUND;
return(result);
}
// utilities used by the autogenerated deriver
public static TemporaryDerivedCompound genBinary(FlagsOfCopula flagsOfCopula, TemporaryDerivedCompound left, TemporaryDerivedCompound right)
{
return(TemporaryDerivedCompound.makeBinaryCompound(flagsOfCopula, left, right));
}
public static TemporaryDerivedCompound genBinary(FlagsOfCopula flagsOfCopula, TermOrCompoundTermOrVariableReferer termRefererLeft, TermOrCompoundTermOrVariableReferer termRefererRight)
{
return(TemporaryDerivedCompound.makeBinaryCompound(flagsOfCopula, TemporaryDerivedCompound.makeLeaf(termRefererLeft), TemporaryDerivedCompound.makeLeaf(termRefererRight)));
}
public static uint getComplexityOfFlagsOfCopula(this FlagsOfCopula flagsOfCopula)
{
// TODO< different compounds could have different complexity >
return(1);
}
