AxiomLib: для алгоритма FuzzyMultiDataExt сделан режим "против всех"

В этом режиме при подборе ЭУ и аксиом для некоторого класса нештатного поведения
траектории других классов нештатного поведения учитываются в целевых функциях 1-го и 2-го этапов
как траектории нормального поведения

Signed-off-by: Victor Shcherbinin <victorshch@gmail.com>

git-svn-id: https://svn.lvk.cs.msu.su/axiomlib/branches/armkor@226 08e97c73-d1ae-4023-87e5-8c5be0462271
AxiomLib: исправлен баг при создании набора точек выполнения

Также в случае некорректных параметров ElemCondPlus::check()
сообщение об ошибке сделано более подробным

Signed-off-by: Victor Shcherbinin <victorshch@gmail.com>

git-svn-id: https://svn.lvk.cs.msu.su/axiomlib/branches/armkor@227 08e97c73-d1ae-4023-87e5-8c5be0462271
AxiomLib: AxiomLibException теперь наследует от std::logic_error

Signed-off-by: Victor Shcherbinin <victorshch@gmail.com>

git-svn-id: https://svn.lvk.cs.msu.su/axiomlib/branches/armkor@228 08e97c73-d1ae-4023-87e5-8c5be0462271
Добавлены два changesetа: Digits1 и DigitsBig

git-svn-id: https://svn.lvk.cs.msu.su/axiomlib/branches/armkor@229 08e97c73-d1ae-4023-87e5-8c5be0462271
AxiomLib: добавлено элементарное условие Variance (дисперсия)

Signed-off-by: Victor Shcherbinin <victorshch@gmail.com>

git-svn-id: https://svn.lvk.cs.msu.su/axiomlib/branches/armkor@230 08e97c73-d1ae-4023-87e5-8c5be0462271
AxiomLib: в FuzzyMultiDataExt::run() добавлен вызов эвристик выбора типов ЭУ

Signed-off-by: Victor Shcherbinin <victorshch@gmail.com>

git-svn-id: https://svn.lvk.cs.msu.su/axiomlib/branches/armkor@231 08e97c73-d1ae-4023-87e5-8c5be0462271
AxiomLib: исправлена эвристика ECTypeSelection

Signed-off-by: Victor Shcherbinin <victorshch@gmail.com>

git-svn-id: https://svn.lvk.cs.msu.su/axiomlib/branches/armkor@232 08e97c73-d1ae-4023-87e5-8c5be0462271
fmdeGui теперь компилируется под gcc (по крайней мере gcc >= 4.5)

Signed-off-by: Victor Shcherbinin <victorshch@gmail.com>

git-svn-id: https://svn.lvk.cs.msu.su/axiomlib/branches/armkor@233 08e97c73-d1ae-4023-87e5-8c5be0462271
Добавил TODO по AxiomLib

Signed-off-by: Victor Shcherbinin <victorshch@gmail.com>

git-svn-id: https://svn.lvk.cs.msu.su/axiomlib/branches/armkor@234 08e97c73-d1ae-4023-87e5-8c5be0462271
axiomlib: added AxiomExprSet::setName()

Signed-off-by: Victor Shcherbinin <victorshch@gmail.com>

git-svn-id: https://svn.lvk.cs.msu.su/axiomlib/branches/armkor@235 08e97c73-d1ae-4023-87e5-8c5be0462271
axiomlib: added serialization of multimarkups and operator < to AxiomExprSetPlus

Signed-off-by: Victor Shcherbinin <victorshch@gmail.com>

git-svn-id: https://svn.lvk.cs.msu.su/axiomlib/branches/armkor@236 08e97c73-d1ae-4023-87e5-8c5be0462271
axiomlib: fixed const references in some methods of AxiomSetBase

Plain references were used in some methods where const references should've been.
It created a huge inconvinience for writing calling code.

Signed-off-by: Victor Shcherbinin <victorshch@gmail.com>

git-svn-id: https://svn.lvk.cs.msu.su/axiomlib/branches/armkor@237 08e97c73-d1ae-4023-87e5-8c5be0462271
axiomlib: axiomsets are now sorted by objective function value at the end of fuzzymultidataext algorithm (not sure if they were sorted before)

Signed-off-by: Victor Shcherbinin <victorshch@gmail.com>

git-svn-id: https://svn.lvk.cs.msu.su/axiomlib/branches/armkor@238 08e97c73-d1ae-4023-87e5-8c5be0462271
axiomlib: best axiomsets are now serialized to XML at the end of fuzzymultidataext

Also added a function for loading axiomsets from XML.

Signed-off-by: Victor Shcherbinin <victorshch@gmail.com>

git-svn-id: https://svn.lvk.cs.msu.su/axiomlib/branches/armkor@239 08e97c73-d1ae-4023-87e5-8c5be0462271
axiomlib: fixed serialization export header for elem conditions

Signed-off-by: Victor Shcherbinin <victorshch@gmail.com>

git-svn-id: https://svn.lvk.cs.msu.su/axiomlib/branches/armkor@240 08e97c73-d1ae-4023-87e5-8c5be0462271
axiomlib: test_execute_fuzzy (the utility for running axiomsets) now works

This utility now loads axiomsets form XML files.

Signed-off-by: Victor Shcherbinin <victorshch@gmail.com>

git-svn-id: https://svn.lvk.cs.msu.su/axiomlib/branches/armkor@241 08e97c73-d1ae-4023-87e5-8c5be0462271
axiomlib: test_fmd_extended now saves resulting axiomsets to XML files

Signed-off-by: Victor Shcherbinin <victorshch@gmail.com>

git-svn-id: https://svn.lvk.cs.msu.su/axiomlib/branches/armkor@242 08e97c73-d1ae-4023-87e5-8c5be0462271
Фикс данных в DigitsBig

git-svn-id: https://svn.lvk.cs.msu.su/axiomlib/branches/armkor@243 08e97c73-d1ae-4023-87e5-8c5be0462271
axiomlib: removed some unneccesery code in FuzzyMultiDataExt/AXStage

Signed-off-by: Victor Shcherbinin <victorshch@gmail.com>

git-svn-id: https://svn.lvk.cs.msu.su/axiomlib/branches/armkor@244 08e97c73-d1ae-4023-87e5-8c5be0462271
axiomlib: added method getParamValue with default value to Environment

Signed-off-by: Victor Shcherbinin <victorshch@gmail.com>

git-svn-id: https://svn.lvk.cs.msu.su/axiomlib/branches/armkor@245 08e97c73-d1ae-4023-87e5-8c5be0462271