Searched refs:OP_ASSERTION (Results 1 – 3 of 3) sorted by relevance
80 casadi_int op() const override { return OP_ASSERTION;} in op()
172 OP_ASSERTION, enumerator1031 case OP_ASSERTION: return F<OP_ASSERTION>::check; in operation_getter()1559 case OP_ASSERTION: return "assertion"; in name()
1137 {OP_ASSERTION, Assertion::deserialize},