// @(#)$Id: member.h,v 1.5 1998/09/23 02:14:53 ruby Exp $

#ifndef member_h
#define member_h

#include "List.h"

template <class T /*@ expects contained_objects(T) @*/ >
bool member(T e, List<T>* l) throw();
//@ behavior {
//@   uses ListTrait(T for E, List<T> for C);
//@   requires isValid(l);
//@   ensures result = (e \in (*l)\any);
//@ }

#endif

[Index]

HTML generated using lcpp2html.