io.github.cvc5

Interface IOracle

Functional Interface:

This is a functional interface and can therefore be used as the assignment target for a lambda expression or method reference.

@FunctionalInterface
public interface IOracle

Method Summary

Modifier and Type	Method and Description
Term	apply(Term[] terms)

Method Detail

apply

Term apply(Term[] terms)
    throws CVC5ApiException

Throws:

CVC5ApiException