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);
}
}
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);
}
}
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);
}
}
}
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);
}
}
}