![[more]](icon1.gif) | Constraint (Exp *e) Costruttore |
| | Constraint (const Constraint& c) Costruttore per copia |
| Constraint& | operator= (const Constraint& c) Operatore di assegnamento |
| StringSet* | getVariables () const Restituisce l'insieme delle variabili coinvolte nel vincolo |
| int | getNumVariables () const Restituisce il numero di variabili coinvolte nel vincolo |
| std::string | toString () const Conversione del vincolo a stringa |
| bool | isSatisfied (const Environment *env) const throw(VarException) Verifica se un vincolo e' soddisfatto |
| | ~Constraint () Distruttore |
| Exp* | exp Espressione simbolica che descrive il vincolo |
| StringSet* | vars Insieme dei nomi delle variabili |
Constraint(Exp *e)