Mercurial > repos > public > sbplib
annotate assertSymbolic.m @ 650:8e55298657b9 feature/d1_staggered
Add characteristic BC
author | Martin Almquist <malmquist@stanford.edu> |
---|---|
date | Wed, 15 Nov 2017 14:56:52 -0800 |
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 |