lambda.h File Reference

Classe de représentation d'un couple de lambda-graphes. More...

#include "cogitant/common.h"
#include "cogitant/allocator.h"
#include "cogitant/environment.h"
#include "cogitant/couple.h"

Classes
class	cogitant::CoupleOfLambdas
	Couple de lambda-graphes. More...

Namespaces
	cogitant
	Espace de nom de toutes les classes et types de la plate-forme.

Detailed Description

Classe de représentation d'un couple de lambda-graphes.

Déclaration de la classe cogitant::CoupleOfLambdas.

Author

David Genest.