public TermsChain Insert(int index, ConditionSign sign, Term term)
{
TermsChainNode node = new TermsChainNode(sign, term);
this.nodes.Insert(index, node);
return(this);
}
public TermsChain Add(ConditionSign sign, Term term)
{
TermsChainNode node = new TermsChainNode(sign, term);
this.nodes.Add(node);
TermVariableIsInputCheck(term);
return(this);
}
public TermsChainNode(ConditionSign type, Term thisTerm)
{
Sign = type;
ThisTerm = thisTerm;
}
public TermsChainBuilder Add(ConditionSign sign, Term term)
{
chain.Add(sign, term);
return(this);
}
public TermsChainBuilder Insert(int index, ConditionSign sign, Term term)
{
chain.Insert(index, sign, term);
return(this);
}
public int IndexOf(ConditionSign sign, Term term)
{
TermsChainNode node = new TermsChainNode(sign, term);
return(this.nodes.IndexOf(node));
}
