File Environment.h

↰ Parent directory (src/VALfiles)

Definition (src/VALfiles/Environment.h)

• Program Listing for File Environment.h

Includes

• map

• vector

Included By

• File Evaluator.h

• File FuncExp.h

• File Proposition.h

• File TypedAnalyser.h

Namespaces

• Namespace VAL

Classes

• Struct Environment

• Template Struct EnvironmentParameterIterator

Functions

• Template Function VAL::makeIterator(Environment *, TI)

• Template Function VAL::makeIterator(FastEnvironment *, TI)

• Template Function VAL::operator!=