コード例 #1
0
 public static Universe.IEmbedTemplate makeOriginals(RU universe, IEnumerable <FunctionApplicationFormula> fas)
 {
     return(new RMergeTemplateMaker(universe).makeOriginals(fas));
 }
コード例 #2
0
 public static Universe.IEmbedTemplate make(RU universe, Function f, GTT gtt)
 {
     return(new RMergeTemplateMaker(universe).make(f, gtt));
 }
コード例 #3
0
 private RMergeTemplateMaker(RU universe)
     : base(universe)
 {
 }
コード例 #4
0
 protected RootTemplateMaker(RU universe)
     : base(universe)
 {
 }
コード例 #5
0
        public static Universe.IEmbedTemplate make(RU universe, IEnumerable <ISet <GT> > canonicalSets)
        {
            var maker = new RMergeTemplateMaker(universe);

            return(maker.make(canonicalSets));
        }
コード例 #6
0
 public static Universe.IEmbedTemplate makeGTT(RU universe, IEnumerable <GT> gtT)
 {
     return(new RMergeTemplateMaker(universe).makeGTT(gtT));
 }
コード例 #7
0
 public RSourceStructure(RU ru)
     : base(new RTSourceStructure <GT, RGTSD>(ru), new RTSourceStructure <GTT, RGTTSD>(ru))
 {
     this.ru = ru;
 }
コード例 #8
0
 internal RTSourceStructure(RU ru)
 {
     this.ru = ru;
 }
コード例 #9
0
ファイル: RU.cs プロジェクト: uriJuhasz/Boogie_verifier
 public IAGAPGTTRTC(RU universe, AGAPGTTRT rt)
     : base(universe, rt)
 {
     this.universe = universe;
 }
コード例 #10
0
ファイル: RU.cs プロジェクト: uriJuhasz/Boogie_verifier
 public RMSGTRTC(RU universe, MSGTRT rt)
     : base(universe, rt)
 {
     this.universe = universe;
 }