public KifExplicitRelationalSentence(KifSequence <KifTerm> terms, KifSequenceVariable variable) : base(new KifConstant(CONSTANT_NAME), terms, variable)
{
if (terms.isEmpty())
{
throw new ArgumentException("Sequence of terms cann't be empty");
}
}
public KifRelationalSentence(KifConstant constant, KifSequence <KifTerm> terms, KifSequenceVariable variable)
{
if (constant == null)
{
throw new ArgumentNullException("Constant cann't be null");
}
_constant = constant;
_variable = variable;
_terms = new KifSequence <KifTerm>(terms);
}
public KifExplicitFunctionalTerm(KifSequence <KifTerm> termSeq, KifSequenceVariable sequenceVariable) : base(CONSTANT_NAME, checkSeqTerm(termSeq), sequenceVariable)
{
}
public KifFunctionalTerm(String constantName, KifSequence <KifTerm> termSeq, KifSequenceVariable sequenceVariable) : base(constantName)
{
_termSeq = new KifSequence <KifTerm>(termSeq);
_sequenceVar = sequenceVariable;
}