Response.Pair

java.lang.Object

org.smtlib.impl.Response.Pair<T1,T2>

All Implemented Interfaces:: IResponse.IPair<T1,T2>

Enclosing class:: Response

public static class Response.Pair<T1,T2> extends Object implements IResponse.IPair<T1,T2>

Implements the IResponse.IPair interface

Field Summary

Fields

Modifier and Type

Field

Description

protected T1

first

protected T2

second
Constructor Summary

Constructors

Constructor

Description

Pair(T1 first, T2 second)
Method Summary

Modifier and Type

Method

Description

T1

first()

T2

second()

Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Details
- first
  
  protected T1 first
- second
  
  protected T2 second
Constructor Details
- Pair
  
  public Pair(T1 first, T2 second)
Method Details
- first
  
  public T1 first()
  
  Specified by:
  
  first in interface IResponse.IPair<T1,T2>
- second
  
  public T2 second()
  
  Specified by:
  
  second in interface IResponse.IPair<T1,T2>