Method setPredicateRepresentation

src/api/java/Fixedpoint.java:242–248

Instrument the Datalog engine on which table representation to use for recursive predicate.

(FuncDecl<BoolSort> f, Symbol[] kinds)

     * recursive predicate.
     **/
    public void setPredicateRepresentation(FuncDecl<BoolSort> f, Symbol[] kinds)
    {
        Native.fixedpointSetPredicateRepresentation(getContext().nCtx(),
                getNativeObject(), f.getNativeObject(), AST.arrayLength(kinds),
                Symbol.arrayToNative(kinds));

    }

    /**
     * Convert benchmark given as set of axioms, rules and queries to a string.