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