environment Class Reference

#include <environment.hpp>

List of all members.

Friends

• list< string > strings_for_completion (const environment &env)

  Return the list of all the litterals which are entries of the bindings.
  

• void verify_if_unknown_types (const environment &env)

  Check if Unknown type occurs in signatures.
  

• void reset (const environment &env, const generic &x)
• bool is_nil (const environment &env)
• nat hash (const environment &env)

---

Detailed Description

Definition at line 26 of file environment.hpp.

---

Friends And Related Function Documentation

nat hash

(

const environment &

env )

[friend]

Definition at line 108 of file environment.hpp.

                                         {
  return as_hash (env.rep); }

bool is_nil

(

const environment &

env )

[friend]

Definition at line 106 of file environment.hpp.

                                            {
  return env.rep == NULL; }

void reset	(	const environment &	env,
		const generic &	x
	)		[friend]

Definition at line 95 of file environment.hpp.

Referenced by mmx::reset().

                                                             {
  return env.rep->reset (x); }

list<string> strings_for_completion

(

const environment &

env )

[friend]

Return the list of all the litterals which are entries of the bindings.

Definition at line 99 of file environment.hpp.

Referenced by mmx::strings_for_completion().

                                                                    {
  return env.rep->strings_for_completion (); }

void verify_if_unknown_types

(

const environment &

env )

[friend]

Check if Unknown type occurs in signatures.

Definition at line 103 of file environment.hpp.

Referenced by mmx::verify_if_unknown_types().

                                                             {
  return env.rep->verify_if_unknown_types (); }

---

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

• /Users/magix/mmx/mmxlight/include/mmxlight/environment.hpp