public Term(ITermHeader header, List<IFunctionInstance> terms)
{
if (header == null) {
throw new ArgumentNullException ("The header of a term always must be effective.", "header");
} else if (terms == null) {
throw new ArgumentNullException ("The list of terms must be effective.", "terms");
} else if (terms.Any (x => x == null)) {
throw new ArgumentException ("All subterms must be effective.", "terms");
} else {
this.header = header;
this.terms = terms;
}
}
public Term(ITermHeader header, List <IFunctionInstance> terms)
{
if (header == null)
{
throw new ArgumentNullException("The header of a term always must be effective.", "header");
}
else if (terms == null)
{
throw new ArgumentNullException("The list of terms must be effective.", "terms");
}
else if (terms.Any(x => x == null))
{
throw new ArgumentException("All subterms must be effective.", "terms");
}
else
{
this.header = header;
this.terms = terms;
}
}
