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
  
  All Methods Instance Methods Abstract Methods
  Modifier and Type Method Description
  
  Term apply(Term[] terms)

Method Detail

apply

Term apply(Term[] terms)
    throws CVC5ApiException

Throws:: CVC5ApiException