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)); }
public RSourceStructure(RU ru) : base(new RTSourceStructure <GT, RGTSD>(ru), new RTSourceStructure <GTT, RGTTSD>(ru)) { this.ru = ru; }
internal RTSourceStructure(RU ru) { this.ru = ru; }
public IAGAPGTTRTC(RU universe, AGAPGTTRT rt) : base(universe, rt) { this.universe = universe; }
public RMSGTRTC(RU universe, MSGTRT rt) : base(universe, rt) { this.universe = universe; }