HUCTLp
/
com.github.sybila.huctl
/
Formula
/
ForAll
/
bound
bound
val
bound
:
Formula
The bound formula which limits the states considered for substitution.