view 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
line wrap: on
line source

function assertSymbolic(s)
    assert(logical(simplify(s)));
end