Esempio n. 1
0
		public Term (Term parent, Literal after)
		{
			this.parent = parent;

			if (parent != null) {
				if (after == null)
					parent.Add (this);
				else
					parent.SubTerms.Insert (parent.SubTerms.IndexOf (after) + 1, this);
			}
		}
Esempio n. 2
0
        protected Term(Term parent, Literal after)
        {
            this.parent = parent;
            SubTerms = new List<Term> ();

            if (parent != null)
                if (after == null) {
                    parent.Add (this);
                } else {
                    parent.SubTerms.Insert (parent.SubTerms.IndexOf (after) + 1, this);
                }
        }
Esempio n. 3
0
        public Term(Term parent, Literal after)
        {
            this.parent = parent;

            if (parent != null)
            {
                if (after == null)
                {
                    parent.Add(this);
                }
                else
                {
                    parent.SubTerms.Insert(parent.SubTerms.IndexOf(after) + 1, this);
                }
            }
        }
Esempio n. 4
0
        protected Term(Term parent, Literal after)
        {
            this.parent = parent;
            SubTerms    = new List <Term> ();

            if (parent != null)
            {
                if (after == null)
                {
                    parent.Add(this);
                }
                else
                {
                    parent.SubTerms.Insert(parent.SubTerms.IndexOf(after) + 1, this);
                }
            }
        }