Package org.smtlib

Interface IExpr.IPatternTerms

All Superinterfaces:

IAttributeValue, INode, IPos.IPosable, IResponse

All Known Implementing Classes:

SMTExpr.PatternTerms

Enclosing interface:

IExpr

public static interface IExpr.IPatternTerms
extends IAttributeValue, INode

This interface represents the value of a :pattern attribute: a list of terms (a multi-pattern), written in the concrete syntax as ( t1 ... tn ). SMT-LIB 2.7 (Section 3.6.5) allows the list to be empty.

Nested Class Summary

Nested classes/interfaces inherited from interface org.smtlib.IResponse

IResponse.IAssertionsResponse, IResponse.IAssignmentResponse, IResponse.IAttributeList, IResponse.IError, IResponse.IFactory, IResponse.IPair<T1,T2>, IResponse.IProofResponse, IResponse.IUnsatAssumptionsResponse, IResponse.IUnsatCoreResponse, IResponse.IValueResponse

Method Summary

Modifier and Type	Method	Description
List<IExpr>	terms()

Methods inherited from interface org.smtlib.IAttributeValue

isError, isOK

Methods inherited from interface org.smtlib.INode

accept

Methods inherited from interface org.smtlib.IPos.IPosable

pos, setPos

Method Details

terms

List<IExpr> terms()