1#ifndef ITERATABLE_INTVEC_H
2#define ITERATABLE_INTVEC_H
5class Intvec:
public std::vector<int>
10 const allocator_type& __a = allocator_type()):
11 std::vector<int>(first,
last,__a){}
12 Intvec(
int n=0):std::vector<int>(n){}
Intvec(iterator first, iterator last, const allocator_type &__a=allocator_type())
intvec * allocate_legacy_intvec_copy() const
const CanonicalForm int s
static BOOLEAN length(leftv result, leftv arg)