ArrayValue

class ArrayValue

Public Functions

Sort sort() const

Term default_value() const

a VALUE term of the element sort

std::size_t size() const

explicit entries

Entry entry(std::size_t i) const

ascending by unsigned index value

std::vector<Entry> entries() const

Term at(const Term &index_value) const

the element, default if absent; SORT_MISMATCH off the index sort

Term as_term() const

store chain over (as const …); re-assertable

ArrayValue(const ArrayValue&) noexcept

ArrayValue &operator=(const ArrayValue&) noexcept

~ArrayValue()

struct Entry

A cell the model records; every other cell holds default_value().

Public Members

Term index

Term element