C# (CSharp) Execution.Substitutionの例

コード例 #1

 protected override TrsTermBase ApplySubstitution(Execution.Substitution substitution)
 {
     return(new TrsAcTerm(Name, OnfArguments.Select(rankedPair => new TrsOnfAcTermArgument
     {
         Term = rankedPair.Term.ApplySubstitutions(new [] { substitution }),
         Cardinality = rankedPair.Cardinality
     })));
 }

コード例 #2

ファイル: TrsVariable.cs プロジェクト: sadeslandes/TRL

 protected override TrsTermBase ApplySubstitution(Execution.Substitution substitution)
 {
     if (substitution.Variable.Equals(this))
     {
         return(substitution.SubstitutionTerm);
     }
     else
     {
         return(this);
     }
 }

コード例 #3

 protected override TrsTermBase ApplySubstitution(Execution.Substitution substitution)
 {
     return(new TrsTerm(Name, Arguments.Select(arg => arg.ApplySubstitutions(new [] { substitution }))));
 }

コード例 #4

ファイル: TrsAtom.cs プロジェクト: sadeslandes/TRL

 protected override TrsTermBase ApplySubstitution(Execution.Substitution substitution)
 {
     // Atoms do not contain variables.
     return(this);
 }