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); }