Esempio n. 1
0
        public static TemporaryDerivedCompoundType <Type> makeReferenceDependentVariable(uint id)
        {
            TemporaryDerivedCompoundType <Type> result = new TemporaryDerivedCompoundType <Type>();

            result.protectedVariableId = id;
            result.type = EnumType.DEPENDENTVARIABLE;
            return(result);
        }
Esempio n. 2
0
        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);
        }
Esempio n. 3
0
        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);
        }