Table of Contents

Classes

• ArcConsistency Classe che implementa l'Arc-Consistenza
• AtomExp Classe astratta che rappresenta le espressioni atomiche
• BoolExp Classe che rappresenta un'espressione booleane
• CSPException Classe base per tutte le eccezioni della libreria
• CSProblem Classe che rappresenta un Problema di Soddisfacimento di Vincoli (Constraint Statisfaction Problem)
• CompoundDomain Classe dominio il grado di rappresentare domini di interi composti da unioni di singoli valori e di intervalli
• CompoundDomainIterator Classe che scandisce gli elementi di un dominio composto, restituendone uno alla volta
• Constraint Classe che rappresenta un vincolo del problema
• DecreasingOrderHeuristic Sceglie i valori in ordine decrescente
• DefaultVariableOrder Sceglie la variabile definita per prima
• Domain Classe astratta che rapprsenta un dominio finito di interi
• DomainIterator Classe che scandisce gli elementi di un dominio, restituendone uno alla volta
• EOLToken Rappresenta il Token fine linea
• EmptyToken Rappresenta il Token vuoto
• Environment Classe usata per la valutazione di espressioni
• Exp Classe base della gerarchia delle espressioni simboliche usate per costruire l'abstract parse tree (APT)
• FirstFailHeuristic Euristica First Fail : sceglie la variabile con il dominio con cardinalità minima
• ForwardChecking Classe che implementa la propagazione Forward Checking
• FullLookAhead Classe che implementa la propagazione Full Look Ahead
• GrowingOrderHeuristic Sceglie i valori in ordine crescente
• IdentExp Classe che rappresenta un'identificatore
• IdentToken Rappresenta un identificatore generico
• IntExp Classe che rappresenta un'espressione numerica intera
• IntToken Rappresenta un numero intero
• KeywordToken Rappresenta una keyword del linguaggio
• LeastConstrainingHeuristic Euristica Least Constraining : sceglie la variabile che è coinvolta nel minor numero di vincoli
• LexException Eccezione dovuta all'analizzatore lessicale (lexer)
• Lexer Analizzatore lessicale
• MostConstrainingHeuristic Euristica Least Constraining : sceglie la variabile che è coinvolta nel maggior numero di vincoli
• NodeConsistency Classe che implementa la Node-Consistenza
• NumExp Classe che rappresenta un'espressione numerica
• NumToken Superclasse astratta di tutti i Tokens numerici
• OpExp Classe che rappresenta un espressione composta contenente un operatore
• Parser Analizzatore sintattico
• ParserException Eccezione dovuta all'analizzatore sintattico (parser)
• PartialLookAhead Classe che implementa la propagazione Partial Look Ahead
• PropagationAlgorithm Classe base per gli algoritmi di propagazione
• Solution Classe che rappresenta una soluzione del problema, cioè l'assegnazione di un valore che soddisfi tutti i vincoli ad ogni variabile del problema
• Token Superclasse astratta di tutti i Tokens
• ValueHeuristic Superclass delle euristiche di selezione dei valori in un dominio
• VarException Eccezione che si può verificare durante la risoluzione o manipolazione di un problema
• Variable Classe che rappresenta una variabile del problema
• VariableHeuristic Superclasse delle euristiche di selezione delle variabili
• VariableToken Rappresenta una variabile

Typedefs

• ConstraintVector Contenitore di vincoli
• SolutionVector Contenitore di soluzioni
• StringInt Classe che mappa stringhe in interi
• StringSet Insieme di stringhe
• VarVector Contenitore di variabili