ac86932785
Fixed renaming: Command names were not considered.
13 years ago
3b76126f6b
Split PrismParser and PrismGrammar in differenc object files.
Added reset method for grammars, now we can parse multiple files in one program execution.
Added test for mdp parsing.
13 years ago
4222130524
Fixed a few more bugs in clone() of various Expression classes and some in the module renaming.
13 years ago
5840ca5bab
Fixed weird error from previous commit.
13 years ago
c3cfc5404c
Somewhat fixed weird issue during module renaming.
The "fix" is very weird (see VariableState.cpp:55 and following) and still seems to lead to a segfault upon program termination...
13 years ago
12745d466e
Fixing main, removing shared_ptr
13 years ago
f09be5c3b4
Made BaseGrammar constructor clang-compatible, fixed ms output of CPU usage
13 years ago
ac313cb997
Removed debug output, fixed DoubleExpressionGrammar
13 years ago
014ecd8597
Fixed some glitches, producing meaningful error if sum of probabilities for a command is not one
13 years ago
c1801b4ecc
Changed debug output to use LOG4CPLUS
13 years ago
766a92db3a
Fixed error in *Literal::clone()
13 years ago
dffe274f64
Fixed error in MDP builder: swapped number of columns and rows.
13 years ago
a9edf2aa8c
Removed some debug output.
13 years ago
9613d099bb
Removed shared_ptr for module, program and rewardmodel objects.
13 years ago
1878962dea
Fixed another nullptr, removed shared_ptr for Update and Command objects.
13 years ago
d03f8eeb9d
Added checks, if we actually have a model before accessing it...
13 years ago
d0adf9d1b3
Some more test cases and, resulting from those, minor changes in LTL
parser.
13 years ago
01b1efc12d
Some improvements/corrections to the LTL parser and some test cases for
it
13 years ago
834cb269a6
Minor corrections in code
13 years ago
fb50665564
Documentation of formula classes
13 years ago
ccfd1ccc6a
Documentation for CSL and PRCTL classes
13 years ago
0a2725d79c
Documentation of abstract formulas.
13 years ago
535ae933b0
Compiling implementation of LTL parser
13 years ago
9e3ec6c403
Added LTL
13 years ago
3c1cf4819c
Fixed a few other issues. Module renaming seems to work now!
(However, there is still a segfault at some later point...)
13 years ago
152bcd2f20
Porting Program datastructures to use shared_ptr (at least for the moment...)
some more cleanups
13 years ago
b92260fed0
A lot of work on PrismParser:
* Created a distinct parser for each expression type and for identifiers
* Removed all expression rules from PrismParser, using new parsers instead
* Reduced excessive usage of boost::lambda, using semantic actions only for single calls
* Moved actual state to new class (-> VariableState, whole two-run-logic can probably implemented there)
* Much cleanup
Work should be finished on expression parser, but not yet on prism parser...
13 years ago
00286b2f01
Added formula classes for CSL
13 years ago
45867c33c1
Prctl works now.
13 years ago
f513e49084
Almost finished restruction of PRCTL formulas; adapted code (including
test cases) to work correctly with the new structure
13 years ago
3e554514cb
Correct formulas
13 years ago
ba4a3807dc
New header file for all PRCTL formulas
13 years ago
b64fd7c351
Adapted PRCTL formulas to the new structure
13 years ago
7e4d09cb01
Added abstract reward operators.
13 years ago
0e0b5ff688
Added methods to check whether child nodes are set (necessary, as sub
classes have no direct access to the pointer)
13 years ago
a1ec7a5d54
Derived PRCTL formula classes from abstract ones
13 years ago
adf16e5f9e
Added abstract reward formulas
13 years ago
195c58e60f
Small change of plans: Abstract formulas now use a template parameter
for subformulas, so it can be determined later which kind formulas they
accept as subformulas.
13 years ago
f1383964f0
Adapted abstract formulas to new structure
13 years ago
38652f44e4
Restructuring formula classes, part I
Sorted formulas into respective folders, depending on which logic they
belong to (or if they are abstract).
The Code is NOTadapted to the new structure yet.
13 years ago
bb37bc49f2
Compiling version of PrismParser.
13 years ago
f996829836
Some minor changes in output of formulas
13 years ago
39ff3240d3
More convenient syntax for time bounded formulas, and respective test
cases.
13 years ago
35baa5ff02
Added parsing of time bounded operators
13 years ago
96fa125fe4
Added time bounded operators for CSL.
13 years ago
bfd2178ca3
Corrected define guards in some header files
13 years ago
7e91d5b01e
Test cases for CSL parser
13 years ago
509c1a2b47
Added support for SteadyStateNoBoundOperator into the CSL parser.
13 years ago
2470c31cb0
Added SteadyStateNoBoundOperator
13 years ago
08815b8c13
Changed "NoBoundOperator" to "PathNoBoundOperator", as I will implement
a "StateNoBoundOperator" now...
13 years ago
gereon
Lanchid