public static TemporaryDerivedCompoundType <Type> makeReferenceDependentVariable(uint id)
{
TemporaryDerivedCompoundType <Type> result = new TemporaryDerivedCompoundType <Type>();
result.protectedVariableId = id;
result.type = EnumType.DEPENDENTVARIABLE;
return(result);
}
public static TemporaryDerivedCompoundType <Type> makeLeaf(TermOrCompoundTermOrVariableReferer termReferer)
{
TemporaryDerivedCompoundType <Type> result = new TemporaryDerivedCompoundType <Type>();
result.decoration = Activator.CreateInstance <Type>();
result.protectedTermReferer = termReferer;
result.type = EnumType.LEAF;
return(result);
}
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);
}