YAPListTerm¶

Public Function:¶

1. YAPListTerm::YAPListTerm():

1. YAPListTerm::YAPListTerm(Term t0): : Create an empty list term.

1. YAPListTerm::YAPListTerm(Term ts[], size_t n): : Create a list term out of a standard term. Check if a valid operation.

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

1. YAPListTerm::YAPListTerm(std::vector< YAPTerm >): : Create a list term out of a vector of terms.

1. size_t YAPListTerm::length(): : Create a list term out of a vector of YAPTerms.

Return the number of elements in a list term.

1. Term & YAPListTerm::operator:

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

1. Term YAPListTerm::cdr(): : Extract the first element of a list.

1. Term YAPListTerm::dup(): : Extract the tail elements of a list.

1. bool YAPListTerm::nil(): : copy a list.

Check if the list is empty.

Class: YAPTerm¶