public static Universe.IEmbedTemplate makeOriginals(RU universe, IEnumerable <FunctionApplicationFormula> fas)
 {
     return(new RMergeTemplateMaker(universe).makeOriginals(fas));
 }
 public static Universe.IEmbedTemplate make(RU universe, Function f, GTT gtt)
 {
     return(new RMergeTemplateMaker(universe).make(f, gtt));
 }
 private RMergeTemplateMaker(RU universe)
     : base(universe)
 {
 }
 protected RootTemplateMaker(RU universe)
     : base(universe)
 {
 }
        public static Universe.IEmbedTemplate make(RU universe, IEnumerable <ISet <GT> > canonicalSets)
        {
            var maker = new RMergeTemplateMaker(universe);

            return(maker.make(canonicalSets));
        }
 public static Universe.IEmbedTemplate makeGTT(RU universe, IEnumerable <GT> gtT)
 {
     return(new RMergeTemplateMaker(universe).makeGTT(gtT));
 }
Example #7
0
 public RSourceStructure(RU ru)
     : base(new RTSourceStructure <GT, RGTSD>(ru), new RTSourceStructure <GTT, RGTTSD>(ru))
 {
     this.ru = ru;
 }
Example #8
0
 internal RTSourceStructure(RU ru)
 {
     this.ru = ru;
 }
Example #9
0
 public IAGAPGTTRTC(RU universe, AGAPGTTRT rt)
     : base(universe, rt)
 {
     this.universe = universe;
 }
Example #10
0
 public RMSGTRTC(RU universe, MSGTRT rt)
     : base(universe, rt)
 {
     this.universe = universe;
 }