示例#1
0
        public override List <TrsVariable> GetVariables()
        {
            IEnumerable <TrsVariable> retVal = new TrsVariable[0];

            foreach (var subVars in Arguments.Select(arg => arg.GetVariables()))
            {
                retVal = retVal.Concat(subVars);
            }
            return(retVal.ToList());
        }
示例#2
0
文件: TrsTerm.cs 项目: WCoetser/TRL
 public override List<TrsVariable> GetVariables()
 {
     IEnumerable<TrsVariable> retVal = new TrsVariable[0];
       foreach (var subVars in Arguments.Select(arg => arg.GetVariables()))
       {
     retVal = retVal.Concat(subVars);
       }
       return retVal.ToList();
 }