Representation of AND `&` between symbolic vars
baggepinnen opened this issue · comments
@variables t fault(t)
fault & timeInState() >= 1
ERROR: MethodError: no method matching &(::SymbolicUtils.BasicSymbolic{Real}, ::SymbolicUtils.BasicSymbolic{Real})
Closest candidates are:
&(::Any, ::Any, ::Any, ::Any...)
@ Base operators.jl:587
Stacktrace:
[1] &(a::Num, b::Num)
@ Symbolics ~/.julia/packages/Symbolics/7PRmF/src/num.jl:134
[2] top-level scope
@ REPL[40]:1
The same problem appears for |
@variables t fault(t)::Bool
julia> fault & (timeInState() >= 1)
fault(t) & (timeInState() >= 1)
with the correct symtype and parenthesis it works