Predicate conditionAlwaysTrue
Holds if condition always evaluates to a nonzero value.
Import path
import cpppredicate conditionAlwaysTrue(Expr condition)Holds if condition always evaluates to a nonzero value.
import cpppredicate conditionAlwaysTrue(Expr condition)