Пример #1
0
 // (s a q a1)
 PCond2AAQA1(PrimitiveCombination2AA predicate, Quotation consequent, Argument1 alternative)
     : base(predicate, consequent, alternative)
 {
 }
Пример #2
0
 public static SCode Make(PrimitiveCombination2AA predicate, Quotation consequent, Argument1 alternative)
 {
     return
         new PCond2AAQA1 (predicate, consequent, alternative);
 }
Пример #3
0
 // (s a s s)
 protected PCond2AA(PrimitiveCombination2AA predicate, SCode consequent, SCode alternative)
     : base(predicate, consequent, alternative)
 {
 }
Пример #4
0
 // (s a a1 l1)
 protected PCond2AAA1A(PrimitiveCombination2AA predicate, Argument1 consequent, Argument alternative)
     : base(predicate, consequent, alternative)
 {
 }
Пример #5
0
 PCond2AASL1(PrimitiveCombination2AA predicate, SCode consequent, LexicalVariable1 alternative)
     : base(predicate, consequent, alternative)
 {
 }
Пример #6
0
 PCond2AASQ(PrimitiveCombination2AA predicate, SCode consequent, Quotation alternative)
     : base(predicate, consequent, alternative)
 {
     this.alternativeValue = alternative.Quoted;
 }
Пример #7
0
 public static SCode Make(PrimitiveCombination2AA predicate, LexicalVariable1 consequent, Quotation alternative)
 {
     return
         new PCond2AAL1Q (predicate, consequent, alternative);
 }
Пример #8
0
 protected PCond2AASL(PrimitiveCombination2AA predicate, SCode consequent, LexicalVariable alternative)
     : base(predicate, consequent, alternative)
 {
     this.alternativeName = alternative.Name;
     this.alternativeDepth = alternative.Depth;
     this.alternativeOffset = alternative.Offset;
 }
Пример #9
0
 public static SCode Make(PrimitiveCombination2AA predicate, LexicalVariable consequent, SCode alternative)
 {
     return
         (consequent is Argument) ? PCond2AAA.Make (predicate, (Argument) consequent, alternative) :
         (consequent is LexicalVariable1) ? PCond2AAL1.Make (predicate, (LexicalVariable1) consequent, alternative) :
         (alternative is LexicalVariable) ? PCond2AALL.Make (predicate, consequent, (LexicalVariable) alternative) :
         (alternative is Quotation) ? PCond2AALQ.Make (predicate, consequent, (Quotation) alternative) :
         new PCond2AAL (predicate, consequent, alternative);
 }
Пример #10
0
 // (s a l1 l1)
 protected PCond2AAL1A(PrimitiveCombination2AA predicate, LexicalVariable1 consequent, Argument alternative)
     : base(predicate, consequent, alternative)
 {
 }
Пример #11
0
 protected PCond2AAL(PrimitiveCombination2AA predicate, LexicalVariable consequent, SCode alternative)
     : base(predicate, consequent, alternative)
 {
     this.consequentName = consequent.Name;
     this.consequentDepth = consequent.Depth;
     this.consequentOffset = consequent.Offset;
 }
Пример #12
0
 // (s a a a0)
 PCond2AAAA0(PrimitiveCombination2AA predicate, Argument consequent, Argument0 alternative)
     : base(predicate, consequent, alternative)
 {
 }
Пример #13
0
 public static SCode Make(PrimitiveCombination2AA predicate, Argument1 consequent, Argument0 alternative)
 {
     return
         new PCond2AAA1A0 (predicate, consequent, alternative);
 }
Пример #14
0
 public static SCode Make(PrimitiveCombination2AA predicate, SCode consequent, Argument alternative)
 {
     return
         (alternative is Argument0) ? PCond2AASA0.Make (predicate, consequent, (Argument0) alternative) :
         (alternative is Argument1) ? PCond2AASA1.Make (predicate, consequent, (Argument1) alternative) :
         new PCond2AASA (predicate, consequent, alternative);
 }
Пример #15
0
 public static SCode Make(PrimitiveCombination2AA predicate, LexicalVariable consequent, Argument0 alternative)
 {
     return
         new PCond2AALA0 (predicate, consequent, alternative);
 }
Пример #16
0
 PCond2AASA1(PrimitiveCombination2AA predicate, SCode consequent, Argument1 alternative)
     : base(predicate, consequent, alternative)
 {
 }
Пример #17
0
 // (s a l a1)
 PCond2AALA1(PrimitiveCombination2AA predicate, LexicalVariable consequent, Argument1 alternative)
     : base(predicate, consequent, alternative)
 {
 }
Пример #18
0
 public static SCode Make(PrimitiveCombination2AA predicate, SCode consequent, LexicalVariable alternative)
 {
     return
         (alternative is Argument) ? PCond2AASA.Make (predicate, consequent, (Argument) alternative) :
         (alternative is LexicalVariable1) ? PCond2AASL1.Make (predicate, consequent, (LexicalVariable1) alternative) :
         new PCond2AASL (predicate, consequent, alternative);
 }
Пример #19
0
 PCond2AALQ(PrimitiveCombination2AA predicate, LexicalVariable consequent, Quotation alternative)
     : base(predicate, consequent, alternative)
 {
     this.alternativeValue = alternative.Quoted;
 }
Пример #20
0
 public static SCode Make(PrimitiveCombination2AA predicate, SCode consequent, LexicalVariable1 alternative)
 {
     return new PCond2AASL1 (predicate, consequent, alternative);
 }
Пример #21
0
 protected PCond2AAQ(PrimitiveCombination2AA predicate, Quotation consequent, SCode alternative)
     : base(predicate, consequent, alternative)
 {
     this.consequentValue = consequent.Quoted;
 }
Пример #22
0
 public static SCode Make(PrimitiveCombination2AA predicate, SCode consequent, Quotation alternative)
 {
     return
         new PCond2AASQ (predicate, consequent, alternative);
 }
Пример #23
0
 public static SCode Make(PrimitiveCombination2AA predicate, Quotation consequent, SCode alternative)
 {
     return
         (alternative is LexicalVariable) ? PCond2AAQL.Make (predicate, consequent, (LexicalVariable) alternative) :
         (alternative is Quotation) ? PCond2AAQQ.Make (predicate, consequent, (Quotation) alternative) :
         new PCond2AAQ (predicate, consequent, alternative);
 }
Пример #24
0
 public static SCode Make(PrimitiveCombination2AA predicate, SCode consequent, SCode alternative)
 {
     return
         (predicate is PrimitiveCombination2AA0) ? PCond2AA0.Make ((PrimitiveCombination2AA0) predicate, consequent, alternative) :
         (predicate is PrimitiveCombination2AA1) ? PCond2AA1.Make ((PrimitiveCombination2AA1) predicate, consequent, alternative) :
         (consequent is LexicalVariable) ? PCond2AAL.Make (predicate, (LexicalVariable) consequent, alternative) :
         (consequent is Quotation) ? PCond2AAQ.Make (predicate, (Quotation) consequent, alternative) :
         (alternative is LexicalVariable) ? PCond2AASL.Make (predicate, consequent, (LexicalVariable) alternative) :
         (alternative is Quotation) ? PCond2AASQ.Make (predicate, consequent, (Quotation) alternative) :
         new PCond2AA (predicate, consequent, alternative);
 }
Пример #25
0
 // (s a a0 l1)
 PCond2AAA0L1(PrimitiveCombination2AA predicate, Argument0 consequent, LexicalVariable1 alternative)
     : base(predicate, consequent, alternative)
 {
 }