860a775c18
Actually skip modules that do not have commands with current label.
12 years ago
b7a1e90579
Variables were counted in two places (VariableState and ExplicitAdapter).
Now, they got mixed up... this is fixed now.
12 years ago
dfd4df2884
Removing debug output.
12 years ago
a790a7c3ec
Allow != as a token.
12 years ago
6ad0c7041e
Allow DoubleExpressions to use integer constants
12 years ago
3ff9514f7b
Make clone() work for variables without initial value.
12 years ago
966377ae32
Added a few more example files.
12 years ago
ac86932785
Fixed renaming: Command names were not considered.
12 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.
12 years ago
4222130524
Fixed a few more bugs in clone() of various Expression classes and some in the module renaming.
12 years ago
5840ca5bab
Fixed weird error from previous commit.
12 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...
12 years ago
63e9ad1f0a
Adding test for prism parser
12 years ago
7fe4c8c813
fixing signed/unsigned comparisons in ParseMdpTest
12 years ago
4c0d7f6d95
adding cudd linker options for storm-tests
12 years ago
12745d466e
Fixing main, removing shared_ptr
12 years ago
1642c5f66c
Added missing functions to CUDDs cpp interface
12 years ago
f09be5c3b4
Made BaseGrammar constructor clang-compatible, fixed ms output of CPU usage
12 years ago
ac313cb997
Removed debug output, fixed DoubleExpressionGrammar
12 years ago
014ecd8597
Fixed some glitches, producing meaningful error if sum of probabilities for a command is not one
12 years ago
c1801b4ecc
Changed debug output to use LOG4CPLUS
12 years ago
766a92db3a
Fixed error in *Literal::clone()
12 years ago
dffe274f64
Fixed error in MDP builder: swapped number of columns and rows.
12 years ago
a9edf2aa8c
Removed some debug output.
12 years ago
9613d099bb
Removed shared_ptr for module, program and rewardmodel objects.
12 years ago
1878962dea
Fixed another nullptr, removed shared_ptr for Update and Command objects.
12 years ago
d03f8eeb9d
Added checks, if we actually have a model before accessing it...
12 years ago
3c1cf4819c
Fixed a few other issues. Module renaming seems to work now!
(However, there is still a segfault at some later point...)
12 years ago
152bcd2f20
Porting Program datastructures to use shared_ptr (at least for the moment...)
some more cleanups
12 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...
12 years ago
bb37bc49f2
Compiling version of PrismParser.
12 years ago
840a9b6e07
Somewhat works now. Still has at least one bug and segfaults afterwards :-)
12 years ago
e55fca3836
Implemented module renaming.
This includes clone() routines (that accept the renaming information) for all ir::expressions classes, additional constructors for all ir classes and additional rules in PrismParser.
This is the first version that has the chance to work and actually compiles. (Insert some swearing here...)
Testing is to be done, as this will most probably not work yet.
12 years ago
7ce537adca
Adding testbed for prismparser
12 years ago
e4129c37d9
fixed two bugs in ExplicitModelAdapter.
12 years ago
5c25116a24
First version of ExplicitModelAdapter that supports transition rewards.
12 years ago
d9e833680a
Added convenience methods RewardModel::hasStateRewards() and RewardModel::hasTransitionRewards()
12 years ago
7dc5324a65
Program returns empty RewardModel and emits error, if invalid model is given.
12 years ago
75ce91082a
Forgot to commit actual cpp file...
12 years ago
5f64fd168b
Cleaned up structure of ExplicitModelAdapter.
- added cpp file
- returns complete models now (missing transition rewards...)
12 years ago
f52d4eb7a8
Added new option --debug.
12 years ago
fd30e8ca25
Cleaned up handling of --verbose, proposing correct use of log levels from now on...
FATAL_LOG_LEVEL: Use, if we are going to crash.
ERROR_LOG_LEVEL: Use, if there is no reasonable way to continue.
WARN_LOG_LEVEL: Use, if we got something the average user should read.
INFO_LOG_LEVEL: Use, if this might in some cases be of interest.
DEBUG_LOG_LEVEL: Use, if this should usually not be relevant to a user.
TRACE_LOG_LEVEL: Use only during development.
There are three levels of verbosity:
- default: WARN and above
- verbose: INFO and above
- debug: DEBUG and above
12 years ago
5976c9e81d
More work for ExplicitModelAdapter
* Removed templates from various functions, as we can only produce double models anyway.
* Added methods to compute state rewards and state labelings
* Added toModel() routine
12 years ago
2005eb7e73
Added getter routines, so we can retrieve the reward models
12 years ago
84993d24f8
Add documentation for ExplicitModelAdapter.
12 years ago
dfd601e126
fixed memory leak in addLabeledTransition and removed now obsolete functions.
12 years ago
e711d16ebf
Changed default initial value for BooleanVariable.
Was false (suggesting that no initial value would be equivalent to specifying false), is nullptr now.
12 years ago
52225ecf9c
Fixes to buildInitialStates.
12 years ago
772c03c070
Added routine to create all initial states.
Variables that have no explicit initial value will cause initial state for all possible values.
12 years ago
752dda4252
fixing error with difference operator in freeIdentifier
12 years ago
gereon
david