Mercurial > repos > public > sbplib
annotate assertSymbolic.m @ 1220:4dc295afe473
Merged in feature/d2_compatible (pull request #15)
OpSet for fully compatible D2Variable
Approved-by: Vidar Stiernström <vidar.stiernstrom@it.uu.se>
author | Martin Almquist <malmquist@stanford.edu> |
---|---|
date | Wed, 13 Nov 2019 23:36:19 +0000 |
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 |