Mercurial > repos > public > sbplib

annotate assertSymbolic.m @ 1217:a3d9567d9004 feature/d2_compatible

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Improve efficiency of construction of D2(b) by precomputing as much as possible
author Martin Almquist <malmquist@stanford.edu>
date Wed, 13 Nov 2019 14:54:22 -0800
parents e32c861141aa
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
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