Mercurial > repos > public > sbplib
annotate assertSymbolic.m @ 1032:1a5c8723c9be rv-interpolation
Created a new branch for attempting to improve rv, via interpolation
author | Vidar Stiernström <vidar.stiernstrom@it.uu.se> |
---|---|
date | Thu, 17 Jan 2019 10:42:14 +0100 |
parents | e32c861141aa |
children |
rev | line source |
---|---|
575
e32c861141aa
Add assert function for symbolic bools
Jonatan Werpers <jonatan@werpers.com>
parents:
diff
changeset
|
1 function assertSymbolic(s) |
e32c861141aa
Add assert function for symbolic bools
Jonatan Werpers <jonatan@werpers.com>
parents:
diff
changeset
|
2 assert(logical(simplify(s))); |
e32c861141aa
Add assert function for symbolic bools
Jonatan Werpers <jonatan@werpers.com>
parents:
diff
changeset
|
3 end |