Mercurial > repos > public > sbplib
annotate assertSymbolic.m @ 1142:cff49fba3cc8 rv-interpolation
Closing branch
author | Vidar Stiernström <vidar.stiernstrom@it.uu.se> |
---|---|
date | Mon, 05 Aug 2019 10:49:21 +0200 |
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 |