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

Functional interface representing an oracle function that operates on an array of Term objects and produces a single Term as output.

Method Summary

Modifier and Type

Method

Description

Term

apply(Term[] terms)

Applies the oracle to the given array of Term arguments.

Method Details
- apply
  
  Term apply(Term[] terms) throws CVC5ApiException
  
  Applies the oracle to the given array of Term arguments.
  
  Parameters:
  
  terms - An array of Term objects to be used as input to the oracle.
  
  Returns:
  
  A Term representing the result of the oracle computation.
  
  Throws:
  
  CVC5ApiException - if an error occurs during term processing or oracle computation.