tempest

Author	SHA1	Message	Date
dehnert	f39fb24f65	Removed pointers from Model Checker Interface (and callback methods in formulas). From now on, the results are returned in form of an object. Because of the existing move semantics for the types in question, this does not come at a performance penalty. Former-commit-id: `5befdebd92`	12 years ago
PBerger	158430418e	Replaced boost integer mask includes with cstdint Reimplemented Gmm conversion with in place constructors Former-commit-id: `003f582f9c`	12 years ago
PBerger	7a758abd3b	Corrected syntax on Pointer-Sign position.	12 years ago
PBerger	50f81e10db	Added override Keyword to visit() functions.	12 years ago
PBerger	68c27f99ef	Mass-added Keyword "override"	12 years ago
PBerger	405094f768	Refactoring on Parser, introduced new keyword "override"	12 years ago
Lanchid	94a717941c	Removed const declarations for the vistor callbacks, as the visitor should be able to store information on the formulas during the process.	12 years ago
Lanchid	1301025bea	Added visitor pattern for LTL formulas (which hopefully will make the implementation of an adapter to ltl2dstar easier)	12 years ago
Lanchid	f9ab6f85d0	- Restructuration of model checkers (by logic) - LTL file parser	12 years ago
Lanchid	cc242974dc	Renamed namespace storm::formula to storm::property	12 years ago
Lanchid	01b1efc12d	Some improvements/corrections to the LTL parser and some test cases for it	12 years ago
Lanchid	fb50665564	Documentation of formula classes	12 years ago
Lanchid	535ae933b0	Compiling implementation of LTL parser	12 years ago
Lanchid	9e3ec6c403	Added LTL	12 years ago
Lanchid	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.	12 years ago

15 Commits (d0d80cf5e1986596ee0b06e663021fd048c0f6f3)