class Variable

Classe che rappresenta una variabile del problema

Public Methods

	Variable (const std::string& n) Costruttore che crea una variabile di nome n e dominio vuoto
	Variable (const std::string& n, Domain *d) Coostruttore che cra una variabile con dominio dato
	Variable (const Variable& v) Costruttore per copia
Variable&	operator= (const Variable& v) Operatore di assegnamento
std::string	getName () const Restituisce il nome della variabile
Domain*	getDomain () const Restituisce il dominio della variabile
void	setValue (int val) throw(VarException) Imposta il valore della variabile
int	getValue () const throw(VarException) Restituisce il valore della variabile
bool	isIstantiated () const Verifica se la variabile è istanziata
std::string	toString () const Conversione a stringa (scrive anche il dominio
	~Variable () Distruttore

Private Fields

bool	istantiated Stato della variabile (indica se la variabile è stata istanziata)
std::string	name Nome della variabie
Domain*	dom Dominio della variabile

Variable(const std::string& n)

Costruttore che crea una variabile di nome n e dominio vuoto

Variable(const std::string& n, Domain *d)

Coostruttore che cra una variabile con dominio dato

Variable(const Variable& v)

Costruttore per copia

Variable& operator=(const Variable& v)

Operatore di assegnamento

std::string getName() const

Restituisce il nome della variabile

Domain* getDomain() const

Restituisce il dominio della variabile

void setValue(int val) throw(VarException)

Imposta il valore della variabile

int getValue() const throw(VarException)

Restituisce il valore della variabile

bool isIstantiated() const

Verifica se la variabile è istanziata

std::string toString() const

Conversione a stringa (scrive anche il dominio

~Variable()

Distruttore

bool istantiated

Stato della variabile (indica se la variabile è stata istanziata)

std::string name

Nome della variabie

Domain* dom

Dominio della variabile

This class has no child classes.

Alphabetic index HTML hierarchy of classes or Java