Gecode::ProjectorCompiler::Indent Class Reference

#include <projectors-compiler.hh>

List of all members.

---

Detailed Description

Indentation helper class.

Definition at line 73 of file projectors-compiler.hh.

Public Member Functions
	Indent (void)
	Default constructor.
void	operator++ (void)
	Increment indentation level.
void	operator-- (void)
	Decrement indentation level.
Public Attributes
int	i
	current indentation

---

Constructor & Destructor Documentation

Gecode::ProjectorCompiler::Indent::Indent

(

void

)

Default constructor.

Definition at line 46 of file compiler.cc.

---

Member Function Documentation

void Gecode::ProjectorCompiler::Indent::operator++

(

void

)

Increment indentation level.

Definition at line 49 of file compiler.cc.

void Gecode::ProjectorCompiler::Indent::operator--

(

void

)

Decrement indentation level.

Definition at line 51 of file compiler.cc.

---

Member Data Documentation

int Gecode::ProjectorCompiler::Indent::i

current indentation

Definition at line 76 of file projectors-compiler.hh.

---

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

• gecode/set/projectors-compiler.hh (Revision: 4790)
• gecode/set/projectors/compiler.cc (Revision: 5862)