-
- 
-
--
-
- Class List -
- Class Members -
| CSP< T > | Main class for managing a CSP |
| CSPexception | Class for managing exception in CSP |
| CSPvariable< T > |
1.6.3
-
-
diff --git a/doc/html/classCSP-members.html b/doc/html/classCSP-members.html
deleted file mode 100644
index a49bd7d..0000000
--- a/doc/html/classCSP-members.html
+++ /dev/null
@@ -1,81 +0,0 @@
-
-
-
-
-
-| appendConstraint(bool(*c)(std::vector< CSPvariable< T > >)) | CSP< T > | |
| CSP(int n, bool(*c)(std::vector< CSPvariable< T > >)=__default_constraint) | CSP< T > | |
| CSP(int n, T default_value, bool set_variables=false, bool(*c)(std::vector< CSPvariable< T > >)=__default_constraint) | CSP< T > | [inline] |
| dropConstraint(size_t index) | CSP< T > | [inline] |
| getDomain(size_t index) | CSP< T > | [inline] |
| getSize(void) | CSP< T > | [inline] |
| hasUniqueSolution(void) | CSP< T > | [inline] |
| isSatisfiable(void) | CSP< T > | [inline] |
| refreshDomains(void) | CSP< T > | [inline] |
| setConstraint(bool(*c)(std::vector< CSPvariable< T > >)) | CSP< T > | |
| setConstraint(std::vector< bool(*)(std::vector< CSPvariable< T > >) > c) | CSP< T > | [inline] |
| setDomain(size_t index, std::vector< T > domain) | CSP< T > | |
| setDomain(size_t index, T domain[], int size) | CSP< T > | [inline] |
| setValue(size_t index, T value) | CSP< T > | [inline] |
| unsetValue(size_t index) | CSP< T > | [inline] |
1.6.3
-
-
diff --git a/doc/html/classCSP.html b/doc/html/classCSP.html
deleted file mode 100644
index 732108f..0000000
--- a/doc/html/classCSP.html
+++ /dev/null
@@ -1,602 +0,0 @@
-
-
-
-
-
-Main class for managing a CSP. -More...
- -#include <csp++.h>
Classes | |
| struct | arc |
Public Member Functions | |
| CSP (int n, bool(*c)(std::vector< CSPvariable< T > >)=__default_constraint) | |
| Class constructor. | |
| CSP (int n, T default_value, bool set_variables=false, bool(*c)(std::vector< CSPvariable< T > >)=__default_constraint) | |
| Class constructor. | |
| void | setDomain (size_t index, std::vector< T > domain) |
| Set the domain for the i-th variable. | |
| void | setDomain (size_t index, T domain[], int size) |
| Set the domain for the i-th variable. | |
| void | setConstraint (bool(*c)(std::vector< CSPvariable< T > >)) |
| Apply the constraint to the CSP as a boolean function. | |
| void | setConstraint (std::vector< bool(*)(std::vector< CSPvariable< T > >) > c) |
| Apply the constraints to the CSP as vector of boolean functions. | |
| void | dropConstraint (size_t index) |
| Drops a constraint from the CSP. | |
| void | appendConstraint (bool(*c)(std::vector< CSPvariable< T > >)) |
| Append a constraint to the list of the constraint of the CSP. | |
| void | refreshDomains (void) |
| Updates the domains of the variables. Any constraint or node fixed value is applied. | |
| std::vector< T > | getDomain (size_t index) |
| Get the domain of the i-th variable. | |
| size_t | getSize (void) |
| Get the number of variables in the current CSP. | |
| void | setValue (size_t index, T value) |
| Set the value of a variable as a constraint. | |
| void | unsetValue (size_t index) |
| Marks a variable as not set, and if a default value was assigned in the CSP constructor, this value will be set. By default, unless specified in the constructor, all the variables are considered as not set. | |
| bool | isSatisfiable (void) |
| Check if the current CSP, with the applied constraints, is satisfiable. | |
| bool | hasUniqueSolution (void) |
| Check if the CSP, with the given variables, domains and constraints, admits a unique solution, i.e. each domain of each variable contains an only element. | |
Main class for managing a CSP.
-| CSP< T >::CSP | -( | -int | -n, | -|
| - | - | bool(*)(std::vector< CSPvariable< T > >) | - c = __default_constraint | - |
| - | ) | -- |
Class constructor.
-| n | Number of variables in the CSP | |
| c | Boolean function representing the constraint of the CSP If no constraint function is set in the constructor or using the applyConstraint() method, a default function always returning true will be used, that allows any domain for any variable to be valid (no constraint) |
| CSP< T >::CSP | -( | -int | -n, | -|
| - | - | T | -default_value, | -|
| - | - | bool | - set_variables = false, |
- |
| - | - | bool(*)(std::vector< CSPvariable< T > >) | - c = __default_constraint | - |
| - | ) | - [inline] |
-
Class constructor.
-| n | Number of variables in the CSP | |
| default_value | Default value for the variables in the CSP when initialized | |
| set_variables | Decide whether mark the variables set with default_value as "set" or "not set" (default: not set) | |
| c | Boolean function representing the constraint of the CSP If no constraint function is set in the constructor or using the applyConstraint() method, a default function always returning true will be used, that allows any domain for any variable to be valid (no constraint) |
| void CSP< T >::appendConstraint | -( | -bool(*)(std::vector< CSPvariable< T > >) | -c | -) | -- |
Append a constraint to the list of the constraint of the CSP.
-METHOD: appendConstraint
-| c | A function pointer returning a boolean value representing the new constraint |
| void CSP< T >::dropConstraint | -( | -size_t | -index | -) | - [inline] |
-
Drops a constraint from the CSP.
-METHOD: dropConstraint
-| index | Index of the constraint to be dropped |
| std::vector< T > CSP< T >::getDomain | -( | -size_t | -index | -) | - [inline] |
-
Get the domain of the i-th variable.
-METHOD: getDomain
-| index | Variable for which we're going to get the domain |
| size_t CSP< T >::getSize | -( | -void | -- | ) | - [inline] |
-
| bool CSP< T >::hasUniqueSolution | -( | -void | -- | ) | - [inline] |
-
| bool CSP< T >::isSatisfiable | -( | -void | -- | ) | - [inline] |
-
| void CSP< T >::refreshDomains | -( | -void | -- | ) | - [inline] |
-
Updates the domains of the variables. Any constraint or node fixed value is applied.
-METHOD: refreshDomains
- -| void CSP< T >::setConstraint | -( | -std::vector< bool(*)(std::vector< CSPvariable< T > >) > | -c | -) | - [inline] |
-
| void CSP< T >::setConstraint | -( | -bool(*)(std::vector< CSPvariable< T > >) | -c | -) | -- |
| void CSP< T >::setDomain | -( | -size_t | -index, | -|
| - | - | T | -domain[], | -|
| - | - | int | -size | - |
| - | ) | - [inline] |
-
Set the domain for the i-th variable.
-METHOD: setDomain
-| index | Variable for which we're setting the domain | |
| domain | Array containing the possible values for that variable | |
| size | Size of "domain" array |
| void CSP< T >::setDomain | -( | -size_t | -index, | -|
| - | - | std::vector< T > | -domain | - |
| - | ) | -- |
Set the domain for the i-th variable.
-METHOD: setDomain
-| index | Variable for which we're setting the domain | |
| domain | Vector containing the possible values for that variable |
| void CSP< T >::setValue | -( | -size_t | -index, | -|
| - | - | T | -value | - |
| - | ) | - [inline] |
-
Set the value of a variable as a constraint.
-METHOD: setValue
-| index | Index of the parameter to be set | |
| value | Value to be set |
| void CSP< T >::unsetValue | -( | -size_t | -index | -) | - [inline] |
-
Marks a variable as not set, and if a default value was assigned in the CSP constructor, this value will be set. By default, unless specified in the constructor, all the variables are considered as not set.
-METHOD: unsetValue
-| index | Index of the variable to be unset |
1.6.3
-
-
diff --git a/doc/html/classCSPexception-members.html b/doc/html/classCSPexception-members.html
deleted file mode 100644
index 7f3461b..0000000
--- a/doc/html/classCSPexception-members.html
+++ /dev/null
@@ -1,68 +0,0 @@
-
-
-
-
-
-| CSPexception(const char *m) (defined in CSPexception) | CSPexception | [inline] |
| what() (defined in CSPexception) | CSPexception | [inline, virtual] |
1.6.3
-
-
diff --git a/doc/html/classCSPexception.html b/doc/html/classCSPexception.html
deleted file mode 100644
index cf0c433..0000000
--- a/doc/html/classCSPexception.html
+++ /dev/null
@@ -1,84 +0,0 @@
-
-
-
-
-
-Class for managing exception in CSP. -More...
- -#include <csp++.h>
Public Member Functions | |
| - | CSPexception (const char *m) |
| -virtual const char * | what () |
Class for managing exception in CSP.
- 1.6.3
-
-
diff --git a/doc/html/classes.html b/doc/html/classes.html
deleted file mode 100644
index 9b557de..0000000
--- a/doc/html/classes.html
+++ /dev/null
@@ -1,69 +0,0 @@
-
-
-
-
-
- 1.6.3
-
-
diff --git a/doc/html/csp_09_09_8h_source.html b/doc/html/csp_09_09_8h_source.html
deleted file mode 100644
index 168cb19..0000000
--- a/doc/html/csp_09_09_8h_source.html
+++ /dev/null
@@ -1,157 +0,0 @@
-
-
-
-
-
-00001 /* -00002 * ===================================================================================== -00003 * -00004 * Filename: csp++.h -00005 * -00006 * Description: -00007 * -00008 * Version: 1.0 -00009 * Created: 16/05/2010 23:16:42 -00010 * Revision: none -00011 * Compiler: gcc -00012 * -00013 * Author: BlackLight (http://0x00.ath.cx), <blacklight@autistici.org> -00014 * Company: lulz -00015 * -00016 * ===================================================================================== -00017 */ -00018 -00019 #include <vector> -00020 #include <exception> -00021 -00022 template<class T> -00023 struct CSPvariable { -00024 int index; -00025 T value; -00026 std::vector<T> domain; -00027 }; -00028 -00033 class CSPexception : public std::exception { -00034 const char* message; -00035 -00036 public: -00037 CSPexception (const char *m) { -00038 message = m; -00039 } -00040 -00041 virtual const char* what() { -00042 return message; -00043 } -00044 }; -00045 -00050 template<class T> -00051 class CSP { -00052 private: -00053 template<class TT> -00054 struct arc { -00055 CSPvariable<TT> var[2]; -00056 TT value[2]; -00057 }; -00058 -00059 std::vector<bool> fixed; -00060 std::vector< CSPvariable<T> > variables; -00061 std::vector< bool (*)(std::vector< CSPvariable<T> >) > constraints; -00062 #define constraint constraints[0] -00063 -00064 std::vector< std::vector<T> > __default_domains; -00065 T __default_value; -00066 bool __has_default_value; -00067 static bool __default_constraint ( std::vector< CSPvariable<T> > v ) { return true; } -00068 void __init ( int n, bool (*c)(std::vector< CSPvariable<T> >) ); -00069 void restoreDomains ( void ); -00070 -00071 public: -00081 CSP ( int n, bool (*c)(std::vector< CSPvariable<T> >) = __default_constraint ); -00082 -00096 CSP ( int n, T default_value, bool set_variables = false, bool (*c)(std::vector< CSPvariable<T> >) = __default_constraint ); -00097 -00104 void setDomain ( size_t index, std::vector<T> domain ); -00105 -00113 void setDomain ( size_t index, T domain[], int size ); -00114 -00120 void setConstraint ( bool (*c)(std::vector< CSPvariable<T> >) ); -00121 -00128 void setConstraint ( std::vector< bool(*)(std::vector< CSPvariable<T> >) > c ); -00129 -00135 void dropConstraint ( size_t index ); -00136 -00142 void appendConstraint ( bool (*c)(std::vector< CSPvariable<T> >) ); -00143 -00148 void refreshDomains( void ); -00149 -00156 std::vector<T> getDomain ( size_t index ); -00157 -00163 size_t getSize ( void ); -00164 -00171 void setValue ( size_t index, T value ); -00172 -00181 void unsetValue ( size_t index ); -00182 -00188 bool isSatisfiable ( void ); -00189 -00190 -00198 bool hasUniqueSolution ( void ); -00199 }; -00200 -
1.6.3
-
-
diff --git a/doc/html/doxygen.css b/doc/html/doxygen.css
deleted file mode 100644
index d6aaf28..0000000
--- a/doc/html/doxygen.css
+++ /dev/null
@@ -1,545 +0,0 @@
-/* The standard CSS for doxygen */
-
-body, table, div, p, dl {
- font-family: Lucida Grande, Verdana, Geneva, Arial, sans-serif;
- font-size: 12px;
-}
-
-/* @group Heading Levels */
-
-h1 {
- text-align: center;
- font-size: 150%;
-}
-
-h2 {
- font-size: 120%;
-}
-
-h3 {
- font-size: 100%;
-}
-
-dt {
- font-weight: bold;
-}
-
-div.multicol {
- -moz-column-gap: 1em;
- -webkit-column-gap: 1em;
- -moz-column-count: 3;
- -webkit-column-count: 3;
-}
-
-p.startli, p.startdd, p.starttd {
- margin-top: 2px;
-}
-
-p.endli {
- margin-bottom: 0px;
-}
-
-p.enddd {
- margin-bottom: 4px;
-}
-
-p.endtd {
- margin-bottom: 2px;
-}
-
-/* @end */
-
-caption {
- font-weight: bold;
-}
-
-span.legend {
- font-size: 70%;
- text-align: center;
-}
-
-h3.version {
- font-size: 90%;
- text-align: center;
-}
-
-div.qindex, div.navtab{
- background-color: #e8eef2;
- border: 1px solid #84b0c7;
- text-align: center;
- margin: 2px;
- padding: 2px;
-}
-
-div.qindex, div.navpath {
- width: 100%;
- line-height: 140%;
-}
-
-div.navtab {
- margin-right: 15px;
-}
-
-/* @group Link Styling */
-
-a {
- color: #153788;
- font-weight: normal;
- text-decoration: none;
-}
-
-.contents a:visited {
- color: #1b77c5;
-}
-
-a:hover {
- text-decoration: underline;
-}
-
-a.qindex {
- font-weight: bold;
-}
-
-a.qindexHL {
- font-weight: bold;
- background-color: #6666cc;
- color: #ffffff;
- border: 1px double #9295C2;
-}
-
-.contents a.qindexHL:visited {
- color: #ffffff;
-}
-
-a.el {
- font-weight: bold;
-}
-
-a.elRef {
-}
-
-a.code {
- color: #3030f0;
-}
-
-a.codeRef {
- color: #3030f0;
-}
-
-/* @end */
-
-dl.el {
- margin-left: -1cm;
-}
-
-.fragment {
- font-family: monospace, fixed;
- font-size: 105%;
-}
-
-pre.fragment {
- border: 1px solid #CCCCCC;
- background-color: #f5f5f5;
- padding: 4px 6px;
- margin: 4px 8px 4px 2px;
- overflow: auto;
- word-wrap: break-word;
- font-size: 9pt;
- line-height: 125%;
-}
-
-div.ah {
- background-color: black;
- font-weight: bold;
- color: #ffffff;
- margin-bottom: 3px;
- margin-top: 3px
-}
-
-div.groupHeader {
- margin-left: 16px;
- margin-top: 12px;
- margin-bottom: 6px;
- font-weight: bold;
-}
-
-div.groupText {
- margin-left: 16px;
- font-style: italic;
-}
-
-body {
- background: white;
- color: black;
- margin-right: 20px;
- margin-left: 20px;
-}
-
-td.indexkey {
- background-color: #e8eef2;
- font-weight: bold;
- border: 1px solid #CCCCCC;
- margin: 2px 0px 2px 0;
- padding: 2px 10px;
-}
-
-td.indexvalue {
- background-color: #e8eef2;
- border: 1px solid #CCCCCC;
- padding: 2px 10px;
- margin: 2px 0px;
-}
-
-tr.memlist {
- background-color: #f0f0f0;
-}
-
-p.formulaDsp {
- text-align: center;
-}
-
-img.formulaDsp {
-
-}
-
-img.formulaInl {
- vertical-align: middle;
-}
-
-div.center {
- text-align: center;
- margin-top: 0px;
- margin-bottom: 0px;
- padding: 0px;
-}
-
-div.center img {
- border: 0px;
-}
-
-img.footer {
- border: 0px;
- vertical-align: middle;
-}
-
-/* @group Code Colorization */
-
-span.keyword {
- color: #008000
-}
-
-span.keywordtype {
- color: #604020
-}
-
-span.keywordflow {
- color: #e08000
-}
-
-span.comment {
- color: #800000
-}
-
-span.preprocessor {
- color: #806020
-}
-
-span.stringliteral {
- color: #002080
-}
-
-span.charliteral {
- color: #008080
-}
-
-span.vhdldigit {
- color: #ff00ff
-}
-
-span.vhdlchar {
- color: #000000
-}
-
-span.vhdlkeyword {
- color: #700070
-}
-
-span.vhdllogic {
- color: #ff0000
-}
-
-/* @end */
-
-.search {
- color: #003399;
- font-weight: bold;
-}
-
-form.search {
- margin-bottom: 0px;
- margin-top: 0px;
-}
-
-input.search {
- font-size: 75%;
- color: #000080;
- font-weight: normal;
- background-color: #e8eef2;
-}
-
-td.tiny {
- font-size: 75%;
-}
-
-.dirtab {
- padding: 4px;
- border-collapse: collapse;
- border: 1px solid #84b0c7;
-}
-
-th.dirtab {
- background: #e8eef2;
- font-weight: bold;
-}
-
-hr {
- height: 0px;
- border: none;
- border-top: 1px solid #666;
-}
-
-hr.footer {
- height: 1px;
-}
-
-/* @group Member Descriptions */
-
-.mdescLeft, .mdescRight,
-.memItemLeft, .memItemRight,
-.memTemplItemLeft, .memTemplItemRight, .memTemplParams {
- background-color: #FAFAFA;
- border: none;
- margin: 4px;
- padding: 1px 0 0 8px;
-}
-
-.mdescLeft, .mdescRight {
- padding: 0px 8px 4px 8px;
- color: #555;
-}
-
-.memItemLeft, .memItemRight, .memTemplParams {
- border-top: 1px solid #ccc;
-}
-
-.memItemLeft, .memTemplItemLeft {
- white-space: nowrap;
-}
-
-.memTemplParams {
- color: #606060;
- white-space: nowrap;
-}
-
-/* @end */
-
-/* @group Member Details */
-
-/* Styles for detailed member documentation */
-
-.memtemplate {
- font-size: 80%;
- color: #606060;
- font-weight: normal;
- margin-left: 3px;
-}
-
-.memnav {
- background-color: #e8eef2;
- border: 1px solid #84b0c7;
- text-align: center;
- margin: 2px;
- margin-right: 15px;
- padding: 2px;
-}
-
-.memitem {
- padding: 0;
- margin-bottom: 10px;
-}
-
-.memname {
- white-space: nowrap;
- font-weight: bold;
- margin-left: 6px;
-}
-
-.memproto {
- border-top: 1px solid #84b0c7;
- border-left: 1px solid #84b0c7;
- border-right: 1px solid #84b0c7;
- padding: 0;
- background-color: #d5e1e8;
- font-weight: bold;
- /* firefox specific markup */
- background-image: -moz-linear-gradient(rgba(228, 233, 245, 1.0) 0%, rgba(193, 205, 232, 1.0) 100%);
- -moz-box-shadow: rgba(0, 0, 0, 0.15) 5px 5px 5px;
- -moz-border-radius-topright: 8px;
- -moz-border-radius-topleft: 8px;
- /* webkit specific markup */
- background-image: -webkit-gradient(linear, 0% 0%, 0% 100%, from(rgba(228, 233, 245, 1.0)), to(rgba(193, 205, 232, 1.0)));
- -webkit-box-shadow: 5px 5px 5px rgba(0, 0, 0, 0.15);
- -webkit-border-top-right-radius: 8px;
- -webkit-border-top-left-radius: 8px;
-
-}
-
-.memdoc {
- border-bottom: 1px solid #84b0c7;
- border-left: 1px solid #84b0c7;
- border-right: 1px solid #84b0c7;
- padding: 2px 5px;
- background-color: #eef3f5;
- border-top-width: 0;
- /* firefox specific markup */
- -moz-border-radius-bottomleft: 8px;
- -moz-border-radius-bottomright: 8px;
- -moz-box-shadow: rgba(0, 0, 0, 0.15) 5px 5px 5px;
- /* webkit specific markup */
- -webkit-border-bottom-left-radius: 8px;
- -webkit-border-bottom-right-radius: 8px;
- -webkit-box-shadow: 5px 5px 5px rgba(0, 0, 0, 0.15);
-}
-
-.paramkey {
- text-align: right;
-}
-
-.paramtype {
- white-space: nowrap;
-}
-
-.paramname {
- color: #602020;
- white-space: nowrap;
-}
-.paramname em {
- font-style: normal;
-}
-
-/* @end */
-
-/* @group Directory (tree) */
-
-/* for the tree view */
-
-.ftvtree {
- font-family: sans-serif;
- margin: 0.5em;
-}
-
-/* these are for tree view when used as main index */
-
-.directory {
- font-size: 9pt;
- font-weight: bold;
-}
-
-.directory h3 {
- margin: 0px;
- margin-top: 1em;
- font-size: 11pt;
-}
-
-/*
-The following two styles can be used to replace the root node title
-with an image of your choice. Simply uncomment the next two styles,
-specify the name of your image and be sure to set 'height' to the
-proper pixel height of your image.
-*/
-
-/*
-.directory h3.swap {
- height: 61px;
- background-repeat: no-repeat;
- background-image: url("yourimage.gif");
-}
-.directory h3.swap span {
- display: none;
-}
-*/
-
-.directory > h3 {
- margin-top: 0;
-}
-
-.directory p {
- margin: 0px;
- white-space: nowrap;
-}
-
-.directory div {
- display: none;
- margin: 0px;
-}
-
-.directory img {
- vertical-align: -30%;
-}
-
-/* these are for tree view when not used as main index */
-
-.directory-alt {
- font-size: 100%;
- font-weight: bold;
-}
-
-.directory-alt h3 {
- margin: 0px;
- margin-top: 1em;
- font-size: 11pt;
-}
-
-.directory-alt > h3 {
- margin-top: 0;
-}
-
-.directory-alt p {
- margin: 0px;
- white-space: nowrap;
-}
-
-.directory-alt div {
- display: none;
- margin: 0px;
-}
-
-.directory-alt img {
- vertical-align: -30%;
-}
-
-/* @end */
-
-address {
- font-style: normal;
- color: #333;
-}
-
-table.doxtable {
- border-collapse:collapse;
-}
-
-table.doxtable td, table.doxtable th {
- border: 1px solid #153788;
- padding: 3px 7px 2px;
-}
-
-table.doxtable th {
- background-color: #254798;
- color: #FFFFFF;
- font-size: 110%;
- padding-bottom: 4px;
- padding-top: 5px;
- text-align:left;
-}
-
diff --git a/doc/html/doxygen.png b/doc/html/doxygen.png
deleted file mode 100644
index f0a274b..0000000
Binary files a/doc/html/doxygen.png and /dev/null differ
diff --git a/doc/html/files.html b/doc/html/files.html
deleted file mode 100644
index ac4be41..0000000
--- a/doc/html/files.html
+++ /dev/null
@@ -1,67 +0,0 @@
-
-
-
-
-
-| csp++.h [code] |
1.6.3
-
-
diff --git a/doc/html/functions.html b/doc/html/functions.html
deleted file mode 100644
index 44ebf5e..0000000
--- a/doc/html/functions.html
+++ /dev/null
@@ -1,109 +0,0 @@
-
-
-
-
-
- 1.6.3
-
-
diff --git a/doc/html/functions_func.html b/doc/html/functions_func.html
deleted file mode 100644
index 4c241b2..0000000
--- a/doc/html/functions_func.html
+++ /dev/null
@@ -1,109 +0,0 @@
-
-
-
-
-
- 1.6.3
-
-
diff --git a/doc/html/index.html b/doc/html/index.html
deleted file mode 100644
index 5b0bb9f..0000000
--- a/doc/html/index.html
+++ /dev/null
@@ -1,59 +0,0 @@
-
-
-
-
-
- 1.6.3
-
-
diff --git a/doc/html/installdox b/doc/html/installdox
deleted file mode 100755
index 9b89fe0..0000000
--- a/doc/html/installdox
+++ /dev/null
@@ -1,117 +0,0 @@
-#!/usr/bin/perl
-
-%subst = ( );
-$quiet = 0;
-
-if (open(F,"search.cfg"))
-{
- $_=| domain (defined in CSPvariable< T >) | CSPvariable< T > | |
| index (defined in CSPvariable< T >) | CSPvariable< T > | |
| value (defined in CSPvariable< T >) | CSPvariable< T > |
1.6.3
-
-
diff --git a/doc/html/structCSPvariable.html b/doc/html/structCSPvariable.html
deleted file mode 100644
index 1d6cfd3..0000000
--- a/doc/html/structCSPvariable.html
+++ /dev/null
@@ -1,82 +0,0 @@
-
-
-
-
-
-Public Attributes | |
| -int | index |
| -T | value |
| -std::vector< T > | domain |
1.6.3
-
-
diff --git a/doc/html/tab_b.gif b/doc/html/tab_b.gif
deleted file mode 100644
index 0d62348..0000000
Binary files a/doc/html/tab_b.gif and /dev/null differ
diff --git a/doc/html/tab_l.gif b/doc/html/tab_l.gif
deleted file mode 100644
index 9b1e633..0000000
Binary files a/doc/html/tab_l.gif and /dev/null differ
diff --git a/doc/html/tab_r.gif b/doc/html/tab_r.gif
deleted file mode 100644
index ce9dd9f..0000000
Binary files a/doc/html/tab_r.gif and /dev/null differ
diff --git a/doc/html/tabs.css b/doc/html/tabs.css
deleted file mode 100644
index a444163..0000000
--- a/doc/html/tabs.css
+++ /dev/null
@@ -1,105 +0,0 @@
-/* tabs styles, based on http://www.alistapart.com/articles/slidingdoors */
-
-DIV.tabs
-{
- float : left;
- width : 100%;
- background : url("tab_b.gif") repeat-x bottom;
- margin-bottom : 4px;
-}
-
-DIV.tabs UL
-{
- margin : 0px;
- padding-left : 10px;
- list-style : none;
-}
-
-DIV.tabs LI, DIV.tabs FORM
-{
- display : inline;
- margin : 0px;
- padding : 0px;
-}
-
-DIV.tabs FORM
-{
- float : right;
-}
-
-DIV.tabs A
-{
- float : left;
- background : url("tab_r.gif") no-repeat right top;
- border-bottom : 1px solid #84B0C7;
- font-size : 80%;
- font-weight : bold;
- text-decoration : none;
-}
-
-DIV.tabs A:hover
-{
- background-position: 100% -150px;
-}
-
-DIV.tabs A:link, DIV.tabs A:visited,
-DIV.tabs A:active, DIV.tabs A:hover
-{
- color: #1A419D;
-}
-
-DIV.tabs SPAN
-{
- float : left;
- display : block;
- background : url("tab_l.gif") no-repeat left top;
- padding : 5px 9px;
- white-space : nowrap;
-}
-
-DIV.tabs #MSearchBox
-{
- float : right;
- display : inline;
- font-size : 1em;
-}
-
-DIV.tabs TD
-{
- font-size : 80%;
- font-weight : bold;
- text-decoration : none;
-}
-
-
-
-/* Commented Backslash Hack hides rule from IE5-Mac \*/
-DIV.tabs SPAN {float : none;}
-/* End IE5-Mac hack */
-
-DIV.tabs A:hover SPAN
-{
- background-position: 0% -150px;
-}
-
-DIV.tabs LI.current A
-{
- background-position: 100% -150px;
- border-width : 0px;
-}
-
-DIV.tabs LI.current SPAN
-{
- background-position: 0% -150px;
- padding-bottom : 6px;
-}
-
-DIV.navpath
-{
- background : none;
- border : none;
- border-bottom : 1px solid #84B0C7;
- text-align : center;
- margin : 2px;
- padding : 2px;
-}
diff --git a/doc/latex/Makefile b/doc/latex/Makefile
deleted file mode 100644
index 8b7c89a..0000000
--- a/doc/latex/Makefile
+++ /dev/null
@@ -1,19 +0,0 @@
-all: clean refman.pdf
-
-pdf: refman.pdf
-
-refman.pdf: refman.tex
- pdflatex refman.tex
- makeindex refman.idx
- pdflatex refman.tex
- latex_count=5 ; \
- while egrep -s 'Rerun (LaTeX|to get cross-references right)' refman.log && [ $$latex_count -gt 0 ] ;\
- do \
- echo "Rerunning latex...." ;\
- pdflatex refman.tex ;\
- latex_count=`expr $$latex_count - 1` ;\
- done
-
-
-clean:
- rm -f *.ps *.dvi *.aux *.toc *.idx *.ind *.ilg *.log *.out refman.pdf
diff --git a/doc/latex/annotated.tex b/doc/latex/annotated.tex
deleted file mode 100644
index 8cca834..0000000
--- a/doc/latex/annotated.tex
+++ /dev/null
@@ -1,6 +0,0 @@
-\section{Class List}
-Here are the classes, structs, unions and interfaces with brief descriptions:\begin{DoxyCompactList}
-\item\contentsline{section}{\hyperlink{classCSP}{CSP$<$ T $>$} (Main class for managing a \hyperlink{classCSP}{CSP} )}{\pageref{classCSP}}{}
-\item\contentsline{section}{\hyperlink{classCSPexception}{CSPexception} (Class for managing exception in \hyperlink{classCSP}{CSP} )}{\pageref{classCSPexception}}{}
-\item\contentsline{section}{\hyperlink{structCSPvariable}{CSPvariable$<$ T $>$} }{\pageref{structCSPvariable}}{}
-\end{DoxyCompactList}
diff --git a/doc/latex/classCSP.tex b/doc/latex/classCSP.tex
deleted file mode 100644
index 3c2c6f7..0000000
--- a/doc/latex/classCSP.tex
+++ /dev/null
@@ -1,248 +0,0 @@
-\hypertarget{classCSP}{
-\section{CSP$<$ T $>$ Class Template Reference}
-\label{classCSP}\index{CSP@{CSP}}
-}
-
-
-Main class for managing a \hyperlink{classCSP}{CSP}.
-
-
-
-
-{\ttfamily \#include $<$csp++.h$>$}
-
-\subsection*{Classes}
-\begin{DoxyCompactItemize}
-\item
-struct {\bfseries arc}
-\end{DoxyCompactItemize}
-\subsection*{Public Member Functions}
-\begin{DoxyCompactItemize}
-\item
-\hyperlink{classCSP_ad49548121582cc2d59e0d7f100092b75}{CSP} (int n, bool($\ast$c)(std::vector$<$ \hyperlink{structCSPvariable}{CSPvariable}$<$ T $>$ $>$)=\_\-\_\-default\_\-constraint)
-\begin{DoxyCompactList}\small\item\em Class constructor. \item\end{DoxyCompactList}\item
-\hyperlink{classCSP_a734bb08d8f45394a2acfc8822981a6d0}{CSP} (int n, T default\_\-value, bool set\_\-variables=false, bool($\ast$c)(std::vector$<$ \hyperlink{structCSPvariable}{CSPvariable}$<$ T $>$ $>$)=\_\-\_\-default\_\-constraint)
-\begin{DoxyCompactList}\small\item\em Class constructor. \item\end{DoxyCompactList}\item
-void \hyperlink{classCSP_a4017c17aac9d3e96d0e821ebbe09da7b}{setDomain} (size\_\-t index, std::vector$<$ T $>$ domain)
-\begin{DoxyCompactList}\small\item\em Set the domain for the i-\/th variable. \item\end{DoxyCompactList}\item
-void \hyperlink{classCSP_a65518e67e33e31bff1b5f9aabdf80a01}{setDomain} (size\_\-t index, T domain\mbox{[}$\,$\mbox{]}, int size)
-\begin{DoxyCompactList}\small\item\em Set the domain for the i-\/th variable. \item\end{DoxyCompactList}\item
-void \hyperlink{classCSP_a534a0d9bd10fb544f94196bf3c386657}{setConstraint} (bool($\ast$c)(std::vector$<$ \hyperlink{structCSPvariable}{CSPvariable}$<$ T $>$ $>$))
-\begin{DoxyCompactList}\small\item\em Apply the constraint to the \hyperlink{classCSP}{CSP} as a boolean function. \item\end{DoxyCompactList}\item
-void \hyperlink{classCSP_a457e1df05d4ec16be00118bda22fd882}{setConstraint} (std::vector$<$ bool($\ast$)(std::vector$<$ \hyperlink{structCSPvariable}{CSPvariable}$<$ T $>$ $>$) $>$ c)
-\begin{DoxyCompactList}\small\item\em Apply the constraints to the \hyperlink{classCSP}{CSP} as vector of boolean functions. \item\end{DoxyCompactList}\item
-void \hyperlink{classCSP_a0231b93bceae257f0e1c35041f8fe63f}{dropConstraint} (size\_\-t index)
-\begin{DoxyCompactList}\small\item\em Drops a constraint from the \hyperlink{classCSP}{CSP}. \item\end{DoxyCompactList}\item
-void \hyperlink{classCSP_a8dc6aec6ca7e40d198e58b0ec14fee66}{appendConstraint} (bool($\ast$c)(std::vector$<$ \hyperlink{structCSPvariable}{CSPvariable}$<$ T $>$ $>$))
-\begin{DoxyCompactList}\small\item\em Append a constraint to the list of the constraint of the \hyperlink{classCSP}{CSP}. \item\end{DoxyCompactList}\item
-void \hyperlink{classCSP_a466845256e638c5e258fd728b641359f}{refreshDomains} (void)
-\begin{DoxyCompactList}\small\item\em Updates the domains of the variables. Any constraint or node fixed value is applied. \item\end{DoxyCompactList}\item
-std::vector$<$ T $>$ \hyperlink{classCSP_a2a9a7d8072613f6984795d5495373847}{getDomain} (size\_\-t index)
-\begin{DoxyCompactList}\small\item\em Get the domain of the i-\/th variable. \item\end{DoxyCompactList}\item
-size\_\-t \hyperlink{classCSP_a91a0e89bc1882d39b88122bee392c5f3}{getSize} (void)
-\begin{DoxyCompactList}\small\item\em Get the number of variables in the current \hyperlink{classCSP}{CSP}. \item\end{DoxyCompactList}\item
-void \hyperlink{classCSP_ac25064c5b2d4e1020173b56913251ebd}{setValue} (size\_\-t index, T value)
-\begin{DoxyCompactList}\small\item\em Set the value of a variable as a constraint. \item\end{DoxyCompactList}\item
-void \hyperlink{classCSP_a4c0cae125a610f519dc22eaec255a0ae}{unsetValue} (size\_\-t index)
-\begin{DoxyCompactList}\small\item\em Marks a variable as not set, and if a default value was assigned in the \hyperlink{classCSP}{CSP} constructor, this value will be set. By default, unless specified in the constructor, all the variables are considered as not set. \item\end{DoxyCompactList}\item
-bool \hyperlink{classCSP_a7ef9eb91c38815c9d82182696a6bd5d3}{isSatisfiable} (void)
-\begin{DoxyCompactList}\small\item\em Check if the current \hyperlink{classCSP}{CSP}, with the applied constraints, is satisfiable. \item\end{DoxyCompactList}\item
-bool \hyperlink{classCSP_ae96286c6c7dfb6fe077544e0d4af15f4}{hasUniqueSolution} (void)
-\begin{DoxyCompactList}\small\item\em Check if the \hyperlink{classCSP}{CSP}, with the given variables, domains and constraints, admits a unique solution, i.e. each domain of each variable contains an only element. \item\end{DoxyCompactList}\end{DoxyCompactItemize}
-
-
-\subsection{Detailed Description}
-\subsubsection*{template$<$class T$>$ class CSP$<$ T $>$}
-
-Main class for managing a \hyperlink{classCSP}{CSP}.
-
-\subsection{Constructor \& Destructor Documentation}
-\hypertarget{classCSP_ad49548121582cc2d59e0d7f100092b75}{
-\index{CSP@{CSP}!CSP@{CSP}}
-\index{CSP@{CSP}!CSP@{CSP}}
-\subsubsection[{CSP}]{\setlength{\rightskip}{0pt plus 5cm}template$<$class T $>$ {\bf CSP}$<$ T $>$::{\bf CSP} (int {\em n}, \/ bool($\ast$)(std::vector$<$ {\bf CSPvariable}$<$ T $>$ $>$) {\em c} = {\ttfamily \_\-\_\-default\_\-constraint})}}
-\label{classCSP_ad49548121582cc2d59e0d7f100092b75}
-
-
-Class constructor.
-
-
-\begin{DoxyParams}{Parameters}
-\item[{\em n}]Number of variables in the \hyperlink{classCSP}{CSP} \item[{\em c}]Boolean function representing the constraint of the \hyperlink{classCSP}{CSP} If no constraint function is set in the constructor or using the applyConstraint() method, a default function always returning true will be used, that allows any domain for any variable to be valid (no constraint) \end{DoxyParams}
-\hypertarget{classCSP_a734bb08d8f45394a2acfc8822981a6d0}{
-\index{CSP@{CSP}!CSP@{CSP}}
-\index{CSP@{CSP}!CSP@{CSP}}
-\subsubsection[{CSP}]{\setlength{\rightskip}{0pt plus 5cm}template$<$class T $>$ {\bf CSP}$<$ T $>$::{\bf CSP} (int {\em n}, \/ T {\em default\_\-value}, \/ bool {\em set\_\-variables} = {\ttfamily false}, \/ bool($\ast$)(std::vector$<$ {\bf CSPvariable}$<$ T $>$ $>$) {\em c} = {\ttfamily \_\-\_\-default\_\-constraint})\hspace{0.3cm}{\ttfamily \mbox{[}inline\mbox{]}}}}
-\label{classCSP_a734bb08d8f45394a2acfc8822981a6d0}
-
-
-Class constructor.
-
-
-\begin{DoxyParams}{Parameters}
-\item[{\em n}]Number of variables in the \hyperlink{classCSP}{CSP} \item[{\em default\_\-value}]Default value for the variables in the \hyperlink{classCSP}{CSP} when initialized \item[{\em set\_\-variables}]Decide whether mark the variables set with default\_\-value as \char`\"{}set\char`\"{} or \char`\"{}not set\char`\"{} (default: not set) \item[{\em c}]Boolean function representing the constraint of the \hyperlink{classCSP}{CSP} If no constraint function is set in the constructor or using the applyConstraint() method, a default function always returning true will be used, that allows any domain for any variable to be valid (no constraint) \end{DoxyParams}
-
-
-\subsection{Member Function Documentation}
-\hypertarget{classCSP_a8dc6aec6ca7e40d198e58b0ec14fee66}{
-\index{CSP@{CSP}!appendConstraint@{appendConstraint}}
-\index{appendConstraint@{appendConstraint}!CSP@{CSP}}
-\subsubsection[{appendConstraint}]{\setlength{\rightskip}{0pt plus 5cm}template$<$class T $>$ void {\bf CSP}$<$ T $>$::appendConstraint (bool($\ast$)(std::vector$<$ {\bf CSPvariable}$<$ T $>$ $>$) {\em c})}}
-\label{classCSP_a8dc6aec6ca7e40d198e58b0ec14fee66}
-
-
-Append a constraint to the list of the constraint of the \hyperlink{classCSP}{CSP}.
-
-METHOD: appendConstraint
-\begin{DoxyParams}{Parameters}
-\item[{\em c}]A function pointer returning a boolean value representing the new constraint \end{DoxyParams}
-\hypertarget{classCSP_a0231b93bceae257f0e1c35041f8fe63f}{
-\index{CSP@{CSP}!dropConstraint@{dropConstraint}}
-\index{dropConstraint@{dropConstraint}!CSP@{CSP}}
-\subsubsection[{dropConstraint}]{\setlength{\rightskip}{0pt plus 5cm}template$<$class T $>$ void {\bf CSP}$<$ T $>$::dropConstraint (size\_\-t {\em index})\hspace{0.3cm}{\ttfamily \mbox{[}inline\mbox{]}}}}
-\label{classCSP_a0231b93bceae257f0e1c35041f8fe63f}
-
-
-Drops a constraint from the \hyperlink{classCSP}{CSP}.
-
-METHOD: dropConstraint
-\begin{DoxyParams}{Parameters}
-\item[{\em index}]Index of the constraint to be dropped \end{DoxyParams}
-\hypertarget{classCSP_a2a9a7d8072613f6984795d5495373847}{
-\index{CSP@{CSP}!getDomain@{getDomain}}
-\index{getDomain@{getDomain}!CSP@{CSP}}
-\subsubsection[{getDomain}]{\setlength{\rightskip}{0pt plus 5cm}template$<$class T $>$ std::vector$<$ T $>$ {\bf CSP}$<$ T $>$::getDomain (size\_\-t {\em index})\hspace{0.3cm}{\ttfamily \mbox{[}inline\mbox{]}}}}
-\label{classCSP_a2a9a7d8072613f6984795d5495373847}
-
-
-Get the domain of the i-\/th variable.
-
-METHOD: getDomain
-\begin{DoxyParams}{Parameters}
-\item[{\em index}]Variable for which we're going to get the domain \end{DoxyParams}
-\begin{DoxyReturn}{Returns}
-The domain of the i-\/th variable as a vector of T
-\end{DoxyReturn}
-\hypertarget{classCSP_a91a0e89bc1882d39b88122bee392c5f3}{
-\index{CSP@{CSP}!getSize@{getSize}}
-\index{getSize@{getSize}!CSP@{CSP}}
-\subsubsection[{getSize}]{\setlength{\rightskip}{0pt plus 5cm}template$<$class T $>$ size\_\-t {\bf CSP}$<$ T $>$::getSize (void)\hspace{0.3cm}{\ttfamily \mbox{[}inline\mbox{]}}}}
-\label{classCSP_a91a0e89bc1882d39b88122bee392c5f3}
-
-
-Get the number of variables in the current \hyperlink{classCSP}{CSP}.
-
-METHOD: getSize \begin{DoxyReturn}{Returns}
-Size of the \hyperlink{classCSP}{CSP}
-\end{DoxyReturn}
-\hypertarget{classCSP_ae96286c6c7dfb6fe077544e0d4af15f4}{
-\index{CSP@{CSP}!hasUniqueSolution@{hasUniqueSolution}}
-\index{hasUniqueSolution@{hasUniqueSolution}!CSP@{CSP}}
-\subsubsection[{hasUniqueSolution}]{\setlength{\rightskip}{0pt plus 5cm}template$<$class T $>$ bool {\bf CSP}$<$ T $>$::hasUniqueSolution (void)\hspace{0.3cm}{\ttfamily \mbox{[}inline\mbox{]}}}}
-\label{classCSP_ae96286c6c7dfb6fe077544e0d4af15f4}
-
-
-Check if the \hyperlink{classCSP}{CSP}, with the given variables, domains and constraints, admits a unique solution, i.e. each domain of each variable contains an only element.
-
-FUNCTION: hasUniqueSolution \begin{DoxyReturn}{Returns}
-true if the \hyperlink{classCSP}{CSP} has an only possible solution, false otherwise
-\end{DoxyReturn}
-\hypertarget{classCSP_a7ef9eb91c38815c9d82182696a6bd5d3}{
-\index{CSP@{CSP}!isSatisfiable@{isSatisfiable}}
-\index{isSatisfiable@{isSatisfiable}!CSP@{CSP}}
-\subsubsection[{isSatisfiable}]{\setlength{\rightskip}{0pt plus 5cm}template$<$class T $>$ bool {\bf CSP}$<$ T $>$::isSatisfiable (void)\hspace{0.3cm}{\ttfamily \mbox{[}inline\mbox{]}}}}
-\label{classCSP_a7ef9eb91c38815c9d82182696a6bd5d3}
-
-
-Check if the current \hyperlink{classCSP}{CSP}, with the applied constraints, is satisfiable.
-
-METHOD: isSatisfiable \begin{DoxyReturn}{Returns}
-true if the \hyperlink{classCSP}{CSP} has at least a possible solution, false otherwise
-\end{DoxyReturn}
-\hypertarget{classCSP_a466845256e638c5e258fd728b641359f}{
-\index{CSP@{CSP}!refreshDomains@{refreshDomains}}
-\index{refreshDomains@{refreshDomains}!CSP@{CSP}}
-\subsubsection[{refreshDomains}]{\setlength{\rightskip}{0pt plus 5cm}template$<$class T $>$ void {\bf CSP}$<$ T $>$::refreshDomains (void)\hspace{0.3cm}{\ttfamily \mbox{[}inline\mbox{]}}}}
-\label{classCSP_a466845256e638c5e258fd728b641359f}
-
-
-Updates the domains of the variables. Any constraint or node fixed value is applied.
-
-METHOD: refreshDomains \hypertarget{classCSP_a457e1df05d4ec16be00118bda22fd882}{
-\index{CSP@{CSP}!setConstraint@{setConstraint}}
-\index{setConstraint@{setConstraint}!CSP@{CSP}}
-\subsubsection[{setConstraint}]{\setlength{\rightskip}{0pt plus 5cm}template$<$class T $>$ void {\bf CSP}$<$ T $>$::setConstraint (std::vector$<$ bool($\ast$)(std::vector$<$ {\bf CSPvariable}$<$ T $>$ $>$) $>$ {\em c})\hspace{0.3cm}{\ttfamily \mbox{[}inline\mbox{]}}}}
-\label{classCSP_a457e1df05d4ec16be00118bda22fd882}
-
-
-Apply the constraints to the \hyperlink{classCSP}{CSP} as vector of boolean functions.
-
-METHOD: setConstraint
-\begin{DoxyParams}{Parameters}
-\item[{\em c}]Vector containing pointers to boolean functions representing the constraints of the \hyperlink{classCSP}{CSP} \end{DoxyParams}
-\hypertarget{classCSP_a534a0d9bd10fb544f94196bf3c386657}{
-\index{CSP@{CSP}!setConstraint@{setConstraint}}
-\index{setConstraint@{setConstraint}!CSP@{CSP}}
-\subsubsection[{setConstraint}]{\setlength{\rightskip}{0pt plus 5cm}template$<$class T $>$ void {\bf CSP}$<$ T $>$::setConstraint (bool($\ast$)(std::vector$<$ {\bf CSPvariable}$<$ T $>$ $>$) {\em c})}}
-\label{classCSP_a534a0d9bd10fb544f94196bf3c386657}
-
-
-Apply the constraint to the \hyperlink{classCSP}{CSP} as a boolean function.
-
-METHOD: setConstraint
-\begin{DoxyParams}{Parameters}
-\item[{\em c}]Boolean function representing the constraint of the \hyperlink{classCSP}{CSP} \end{DoxyParams}
-\hypertarget{classCSP_a65518e67e33e31bff1b5f9aabdf80a01}{
-\index{CSP@{CSP}!setDomain@{setDomain}}
-\index{setDomain@{setDomain}!CSP@{CSP}}
-\subsubsection[{setDomain}]{\setlength{\rightskip}{0pt plus 5cm}template$<$class T $>$ void {\bf CSP}$<$ T $>$::setDomain (size\_\-t {\em index}, \/ T {\em domain}\mbox{[}$\,$\mbox{]}, \/ int {\em size})\hspace{0.3cm}{\ttfamily \mbox{[}inline\mbox{]}}}}
-\label{classCSP_a65518e67e33e31bff1b5f9aabdf80a01}
-
-
-Set the domain for the i-\/th variable.
-
-METHOD: setDomain
-\begin{DoxyParams}{Parameters}
-\item[{\em index}]Variable for which we're setting the domain \item[{\em domain}]Array containing the possible values for that variable \item[{\em size}]Size of \char`\"{}domain\char`\"{} array \end{DoxyParams}
-\hypertarget{classCSP_a4017c17aac9d3e96d0e821ebbe09da7b}{
-\index{CSP@{CSP}!setDomain@{setDomain}}
-\index{setDomain@{setDomain}!CSP@{CSP}}
-\subsubsection[{setDomain}]{\setlength{\rightskip}{0pt plus 5cm}template$<$class T $>$ void {\bf CSP}$<$ T $>$::setDomain (size\_\-t {\em index}, \/ std::vector$<$ T $>$ {\em domain})}}
-\label{classCSP_a4017c17aac9d3e96d0e821ebbe09da7b}
-
-
-Set the domain for the i-\/th variable.
-
-METHOD: setDomain
-\begin{DoxyParams}{Parameters}
-\item[{\em index}]Variable for which we're setting the domain \item[{\em domain}]Vector containing the possible values for that variable \end{DoxyParams}
-\hypertarget{classCSP_ac25064c5b2d4e1020173b56913251ebd}{
-\index{CSP@{CSP}!setValue@{setValue}}
-\index{setValue@{setValue}!CSP@{CSP}}
-\subsubsection[{setValue}]{\setlength{\rightskip}{0pt plus 5cm}template$<$class T $>$ void {\bf CSP}$<$ T $>$::setValue (size\_\-t {\em index}, \/ T {\em value})\hspace{0.3cm}{\ttfamily \mbox{[}inline\mbox{]}}}}
-\label{classCSP_ac25064c5b2d4e1020173b56913251ebd}
-
-
-Set the value of a variable as a constraint.
-
-METHOD: setValue
-\begin{DoxyParams}{Parameters}
-\item[{\em index}]Index of the parameter to be set \item[{\em value}]Value to be set \end{DoxyParams}
-\hypertarget{classCSP_a4c0cae125a610f519dc22eaec255a0ae}{
-\index{CSP@{CSP}!unsetValue@{unsetValue}}
-\index{unsetValue@{unsetValue}!CSP@{CSP}}
-\subsubsection[{unsetValue}]{\setlength{\rightskip}{0pt plus 5cm}template$<$class T $>$ void {\bf CSP}$<$ T $>$::unsetValue (size\_\-t {\em index})\hspace{0.3cm}{\ttfamily \mbox{[}inline\mbox{]}}}}
-\label{classCSP_a4c0cae125a610f519dc22eaec255a0ae}
-
-
-Marks a variable as not set, and if a default value was assigned in the \hyperlink{classCSP}{CSP} constructor, this value will be set. By default, unless specified in the constructor, all the variables are considered as not set.
-
-METHOD: unsetValue
-\begin{DoxyParams}{Parameters}
-\item[{\em index}]Index of the variable to be unset \end{DoxyParams}
-
-
-The documentation for this class was generated from the following files:\begin{DoxyCompactItemize}
-\item
-csp++.h\item
-csp++.cpp\end{DoxyCompactItemize}
diff --git a/doc/latex/classCSPexception.tex b/doc/latex/classCSPexception.tex
deleted file mode 100644
index a8d78e0..0000000
--- a/doc/latex/classCSPexception.tex
+++ /dev/null
@@ -1,34 +0,0 @@
-\hypertarget{classCSPexception}{
-\section{CSPexception Class Reference}
-\label{classCSPexception}\index{CSPexception@{CSPexception}}
-}
-
-
-Class for managing exception in \hyperlink{classCSP}{CSP}.
-
-
-
-
-{\ttfamily \#include $<$csp++.h$>$}
-
-\subsection*{Public Member Functions}
-\begin{DoxyCompactItemize}
-\item
-\hypertarget{classCSPexception_a810bcfbb11d2e35d7b95f1e2b11b408c}{
-{\bfseries CSPexception} (const char $\ast$m)}
-\label{classCSPexception_a810bcfbb11d2e35d7b95f1e2b11b408c}
-
-\item
-\hypertarget{classCSPexception_a7013e90a6c26ba4c15bc6fbc42be02ef}{
-virtual const char $\ast$ {\bfseries what} ()}
-\label{classCSPexception_a7013e90a6c26ba4c15bc6fbc42be02ef}
-
-\end{DoxyCompactItemize}
-
-
-\subsection{Detailed Description}
-Class for managing exception in \hyperlink{classCSP}{CSP}.
-
-The documentation for this class was generated from the following file:\begin{DoxyCompactItemize}
-\item
-csp++.h\end{DoxyCompactItemize}
diff --git a/doc/latex/doxygen.sty b/doc/latex/doxygen.sty
deleted file mode 100644
index c0c395c..0000000
--- a/doc/latex/doxygen.sty
+++ /dev/null
@@ -1,350 +0,0 @@
-\NeedsTeXFormat{LaTeX2e}
-\ProvidesPackage{doxygen}
-
-% Packages used by this style file
-\RequirePackage{alltt}
-\RequirePackage{array}
-\RequirePackage{calc}
-\RequirePackage{color}
-\RequirePackage{fancyhdr}
-\RequirePackage{verbatim}
-
-% Setup fancy headings
-\pagestyle{fancyplain}
-\newcommand{\clearemptydoublepage}{%
- \newpage{\pagestyle{empty}\cleardoublepage}%
-}
-\renewcommand{\chaptermark}[1]{%
- \markboth{#1}{}%
-}
-\renewcommand{\sectionmark}[1]{%
- \markright{\thesection\ #1}%
-}
-\lhead[\fancyplain{}{\bfseries\thepage}]{%
- \fancyplain{}{\bfseries\rightmark}%
-}
-\rhead[\fancyplain{}{\bfseries\leftmark}]{%
- \fancyplain{}{\bfseries\thepage}%
-}
-\rfoot[\fancyplain{}{\bfseries\scriptsize%
- Generated on Tue May 18 19:03:23 2010 for libCSP++ by Doxygen }]{}
-\lfoot[]{\fancyplain{}{\bfseries\scriptsize%
- Generated on Tue May 18 19:03:23 2010 for libCSP++ by Doxygen }}
-\cfoot{}
-
-%---------- Internal commands used in this style file ----------------
-
-% Generic environment used by all paragraph-based environments defined
-% below. Note that the command \title{...} needs to be defined inside
-% those environments!
-\newenvironment{DoxyDesc}[1]{%
- \begin{list}{}%
- {%
- \settowidth{\labelwidth}{40pt}%
- \setlength{\leftmargin}{\labelwidth}%
- \setlength{\parsep}{0pt}%
- \setlength{\itemsep}{-4pt}%
- \renewcommand{\makelabel}{\entrylabel}%
- }%
- \item[#1]%
-}{%
- \end{list}%
-}
-
-%---------- Commands used by doxygen LaTeX output generator ----------
-
-% Used by ...-\newenvironment{DoxyPre}{% - \small% - \begin{alltt}% -}{% - \end{alltt}% - \normalsize% -} - -% Used by @code ... @endcode -\newenvironment{DoxyCode}{% - \footnotesize% - \verbatim% -}{% - \endverbatim% - \normalsize% -} - -% Used by @example, @include, @includelineno and @dontinclude -\newenvironment{DoxyCodeInclude}{% - \DoxyCode% -}{% - \endDoxyCode% -} - -% Used by @verbatim ... @endverbatim -\newenvironment{DoxyVerb}{% - \footnotesize% - \verbatim% -}{% - \endverbatim% - \normalsize% -} - -% Used by @verbinclude -\newenvironment{DoxyVerbInclude}{% - \DoxyVerb% -}{% - \endDoxyVerb% -} - -% Used by numbered lists (using '-#' or