227 Commits (9f5128c4af28ec740a7d6bc195cf81501f57e69c)

Author SHA1 Message Date
Jip Spel 4999ac5440 Check if derivative is constant in validation of assumption 6 years ago
Jip Spel 51aace8421 Renamed ValueTypeToExpression to RationalFunctionToExpression 6 years ago
Jip Spel 29f9275302 Refactor validation methods 6 years ago
Jip Spel b82ab5f9c2 Validate assumption with SMT solving 6 years ago
Jip Spel 9375709381 Split validate into two methods 6 years ago
Jip Spel d99e728add Add return to check monotonicity 6 years ago
Jip Spel c81319135d Make enum for constants 6 years ago
Jip Spel ce231fd927 Fix assert in Lattice 6 years ago
Jip Spel 24abcfb61c AssumptionChecker for mdp 6 years ago
Jip Spel 82931f3390 Add asserts to Lattice 6 years ago
Jip Spel 23edcc1a75 Refactor AssumptionChecker 6 years ago
Jip Spel 285cde32ae Also give result when lattice does not contain all states 6 years ago
Jip Spel b20a7efe12 Replace dummy code 6 years ago
Jip Spel 4afa6d8a0f Make validation of assumptions optional 6 years ago
Jip Spel 11776a822a Add documentation 6 years ago
Jip Spel 24a40bba80 Add validated assumptions to set 6 years ago
Jip Spel e23a222605 Add simple validation for assumptions 6 years ago
Jip Spel f2c2da64fa Add documentation LatticeExtender.h 6 years ago
Jip Spel e4a2e9ffad Update documentation Lattice.h 6 years ago
Jip Spel 8bded41867 Add state to lattice when there are more than 2 outgoing transitions 6 years ago
Jip Spel edc21be6ec Add comments 6 years ago
Jip Spel 240f81dfcb Clean up MonotonicityChecker 6 years ago
Jip Spel 3fcf4f83c0 Clean up AssumptionMaker 6 years ago
Jip Spel fba6fe76b5 Clean up AssumptionChecker 6 years ago
Jip Spel 06255ef08e Use BinaryRelationExpression to check on samples 6 years ago
Jip Spel 92193cfb08 WIP: Check assumptions on samples 6 years ago
Jip Spel c256bd1677 Fix derivative comparison MonotonicityChecker 6 years ago
Jip Spel 9d02519b01 Allow more than 2 outgoing transitions 6 years ago
Jip Spel 7c19299488 Handle cycles in pMCs 6 years ago
Jip Spel 90c325a38f Make nodes variable before using it 6 years ago
Jip Spel dc52e9b056 Create copy of lattice and assumptionslist at earlier point 6 years ago
Jip Spel 728dc9e8a4 Fix TODO 6 years ago
Jip Spel 2c9cefe7cc Use predefined constants 6 years ago
Jip Spel 83797afc5b Remove TODO AssumptionMaker (clean up) 6 years ago
Jip Spel bb1f1a3701 Change deepCopy into constructor 6 years ago
Jip Spel 19475b30b9 Fix issue with deepCopy not containing all transitions 6 years ago
Jip Spel 2e4991a75e TODO added create deep copy not yet working correctly 6 years ago
Jip Spel 28b77e6a7d Create MonotonicityChecker and fix some bugs in AssumptionMaker 6 years ago
Jip Spel 2a93b89c22 Create AssumptionMaker 6 years ago
Jip Spel 43eebf8e05 Return tuple and add assumptions 6 years ago
Jip Spel 34c87453fb Implement extension of lattice with assumptions 6 years ago
Jip Spel b6e48b35cc Implement first version of LatticeExtender 6 years ago
Jip Spel 9e8d910a49 WIP Add LatticeExtender 6 years ago
Jip Spel ee8971c608 Clean up 6 years ago
Jip Spel d2e754c302 Replace transformation to State Vector with transformation in map 6 years ago
Jip Spel 80cf0982a9 WIP: parameter lifting 6 years ago
Jip Spel 6f8787b6f0 Add one possible solution for critical states 6 years ago
Jip Spel 915a8b24ec Remove superfluous vars 6 years ago
Jip Spel 8bbf4b4543 Change vector to set, add error message if more than two successors for one state, add documentation 6 years ago
Jip Spel 1bce5935fa Update documentation 6 years ago