673674675676677678679
public ExprManagerMut getExprManager() throws Cvc3Exception { return new ExprManagerMut(jniGetExprManager(embedded()), embeddedManager()); } public Expr nullExpr() throws Cvc3Exception { return new Expr(jniNullExpr(embedded()), embeddedManager()); }