Esempio n. 1
0
        /// <summary>
        /// Reset the head and arguments of this expression
        /// </summary>
        /// <param name="headSpecs"></param>
        /// <returns></returns>
        public SteExpression Reset(ISteAtomicHeadSpecs headSpecs)
        {
            HeadSpecs = headSpecs;
            _argsList = null;

            return(this);
        }
Esempio n. 2
0
 /// <summary>
 /// Constructor for atomic expressions
 /// </summary>
 /// <param name="headSpecs"></param>
 public SteExpression(ISteAtomicHeadSpecs headSpecs)
 {
     HeadSpecs = headSpecs;
     _argsList = null;
 }