Package org.smtlib

Interface IResponse.IPair<T1,T2>

All Known Implementing Classes:
Response.Pair
Enclosing interface:
IResponse
public static interface IResponse.IPair<T1,T2>
An interface for simple pairs of objects; used to represent value/assignment response items

  • Method Summary

    Modifier and Type
    Method
    Description
    T1
    first()
     
    T2
    second()
     

  • Method Details

    • first

      T1 first()

    • second

      T2 second()