YAPConjunctiveTerm¶

of terms: eg, the body of a rule

Public Function:¶

1. YAPConjunctiveTerm::YAPConjunctiveTerm():

1. YAPConjunctiveTerm::YAPConjunctiveTerm(Term t0): : create a true term

1. YAPConjunctiveTerm::YAPConjunctiveTerm(const Term ts[], size_t n): : Create a conjunctive term out of a term.

1. YAPConjunctiveTerm::YAPConjunctiveTerm(std::vector< Term >): : Create a conjunctive term out of an array of terms.

1. size_t YAPConjunctiveTerm::length(): : Create a conjunctive term out of an array of terms.

Return the number of elements in a conjunction

1. Term & YAPConjunctiveTerm::operator:

1. Term YAPConjunctiveTerm::car(): : Extract the nth element.

1. Term YAPConjunctiveTerm::cdr(): : Extract the first element of a listconjunction.

Class: YAPTerm¶