![[more]](icon1.gif) | CSProblem () Costruttore di default |
| | CSProblem (const CSProblem& csp) Costruttore per copia |
| | ~CSProblem () Distruttore |
| CSProblem& | operator= (const CSProblem& csp) Operatore di assegnamento |
| void | readProgram (const std::string& program) throw(ParserException) Inizializza il CSProblem leggendo il programma da una stringa |
| std::string | toString () const Restituisce una stringa contenente il listato del programma |
| void | addVariable (Variable *v) Aggiunge una nuova variabile |
| void | delVariable (Variable *v) Elimina una variabile e tutti i vincoli in cui è coinvolta |
| void | addVariable (const std::string& v) throw(ParserException) Aggiunge una nuova variabile di nome v |
| void | delVariable (const std::string& v) throw(VarException) Elimina una variabile e tutti i vincoli in cui è coinvolta dato il suo nome v |
| bool | isDeclared (const std::string& v) const Dice se una variabile e' stata dichiarata dato il suo nome |
| Variable* | getVariable (const std::string& v) const throw(VarException) Restituisce una variabile dato il suo nome (se esiste) |
| VarVector* | getVariables () const Restituisce la lista di tutte le variabili |
| void | addConstraint (Constraint *c) throw(VarException) Aggiunge un vincolo al problema |
| void | delConstraint (Constraint *c) Elimina un vincolo del problema |
| void | addConstraint (const std::string &v) throw(VarException, ParserException) Aggiunge un vincolo al problema data una stringa che ne rappresenta l'espressione |
| ConstraintVector* | getConstraints () const Restituisce la lista dei vincoli |
| Variable* | getCurrentVariable () const Restituisce la variabile appena istanziata |
| VarVector* | getFutureVariables () const Restituisce la lista delle variabili non ancora istanziate |
| VarVector* | getIstantiatedVariables () const Restituisce la lista delle variabili già istanziate |
| VarVector* | getInvolvedVariables (Constraint *c) const throw(VarException) Restituisce la lista delle variabili coinvolte in un vincolo |
| VarVector* | getInvolvedVariables (ConstraintVector *c) const throw(VarException) Restituisce la lista delle variabili coinvolte in almeno uno dei vincoli |
| ConstraintVector* | getConstraints (Variable *v) const Restituisce la lista dei vincoli che contengono la variabile specificata |
| ConstraintVector* | getConstraints (VarVector *v) const Restituisce la lista dei vincoli che contengono ognuno tutte le variabili specificate |
| void | setPropagationAlgorithm (PropagationAlgorithm *p) Imposta l'algoritmo di propagazione |
| void | setVariableHeuristic (VariableHeuristic *v) Imposta l'euristica di scelta della variabile |
| void | setValueHeuristic (ValueHeuristic *v) Imposta l'euristica di scelta del valore |
| void | setNumSolutions (int n) Imposta il numero di soluzioni richieste |
| void | setAllSolutions () Imposta la richiesta di avere in uscita tutte le soluzioni |
| PropagationAlgorithm* | getPropagationAlgorithm () const Restituisce l'algoritmo di propagazione |
| VariableHeuristic* | getVariableHeuristic () const Restituisce l'euristica di scelta della variabile |
| ValueHeuristic* | getValueHeuristic () const Restituisce l'euristica di scelta del valore |
| int | getNumSolutions () const Restituisce il numero di soluzioni richieste |
| CSProblem* | applyArcConsistency () Crea un nuovo problema applicando l'arc-consistenza |
| SolutionVector* | solve () throw(VarException) Risolve il problema utilizzando l'algoritmo di propagazione specificato in precedenza |
| SolutionVector* | solveSB () throw(VarException) Risolve il problema utilizzando lo Standard Backtracking |
| int | numSolutions Indica quante soluzioni sono richieste |
| Variable* | curVar Puntatore alla variabile corrente |
| VarVector* | vv Contiene le variabili del problema |
| ConstraintVector* | cv Contiene i vincoli del problema |
| PropagationAlgorithm* | propAlgorithm Algoritmo di propagazione |
| VariableHeuristic* | varHeuristic Euristica di scelta della variabile |
| ValueHeuristic* | valHeuristic Euristica di scelta del valore |
| | varStack Stack per il salvataggio dello stato delle variabili |
| bool | solve1 (SolutionVector *sv) throw(VarException) Funzione ausiliaria di risoluzione |
| bool | solve2 (SolutionVector *sv) throw(VarException) Funzione ausiliaria di risoluzione |
| bool | solveSB1 (SolutionVector *sv) throw(VarException) Funzione ausiliaria di risoluzione per lo Standard BackTracking |
| bool | solveSB2 (SolutionVector *sv) throw(VarException) Funzione ausiliaria di risoluzione per lo Standard BackTracking |
| bool | noEmptyDomains () const Verifica che non ci siano variabili con dominio vuoto |
| bool | checkConstraints () const throw(VarException) Verifica se ci sono vincoli violati dalle variabili istanziate |
| bool | allIstantiatedVariables () const Verifica se tutte le variabili sono istanziate |
| void | storeVariables () Salva lo stato attuale delle variabili nello stack |
| void | restoreVariables () Ripristina lo stato precedente delle variabili dallo stack |
CSProblem()