SCIL::cons_map< A > Class Template Reference

Basic Constraint Maps.

#include <cons_map.h>

List of all members.

Public Member Functions
	cons_map ()
	creates an instance of type cons_map.
virtual void	init ()
	clears all correspondences and makes |a| to the nil-object of |A|.
const cons	operator[] (const A &a) const
	returns the basic constraint assosiated with a.
cons &	operator[] (const A &a)
virtual const cons &	inf (const A &a) const
virtual void	undefine (const A &a)
	removes the assignmnent of $a$.
virtual void	set (cons c, const A &a)
	etablishes a new assignment between |c| and |a|.

---

Detailed Description

template<class A>
class SCIL::cons_map< A >

Definition at line 11 of file cons_map.h.

---

Member Function Documentation

template<class A >

virtual const cons& SCIL::cons_map< A >::inf

(

const A &

a

)

const [inline, virtual]

returns the basic constraint that is assigned to |a|. If no constraint is assigned to |a|, |nil| is returned.

Definition at line 40 of file cons_map.h.

---

The documentation for this class was generated from the following file:

• cons_map.h