Base Class for Pre- and Postconditions ( CondBase )

Definition

CondBase is the common base class for classes PreCond and PostCond and provides operations for pre- and postconditions. It maintains a collection of key sets S_low,..., S_high.

#include < AGD/CondBase.h >

Operations

int	P.low()	returns low.
int	P.num_param()	returns the number of parameters for which P is defined; more exactly it returns high.
void	P.insert(int i, const AgdKey& k)
		inserts key k into the ith key set of P.
void	P.del(int i, const AgdKey& k)
		deletes key k from the ith key set of P.
bool	P.member(int i, const AgdKey& k)
		returns true iff key k is contained in the ith key set.
KeySet &	P[int i]	returns a reference to the ith key set.