Method mkBoolConst

src/api/java/Context.java:781–784

Create a Boolean constant.

(Symbol name)

     * Create a Boolean constant.
     **/
    public BoolExpr mkBoolConst(Symbol name)
    {
        return (BoolExpr) mkConst(name, getBoolSort());
    }

    /**
     * Create a Boolean constant.