Package org.smtlib.impl

Class SMTExpr.PatternTerms

java.lang.Object

org.smtlib.impl.Pos.Posable

org.smtlib.impl.Pos.Printable

org.smtlib.impl.SMTExpr.PatternTerms

All Implemented Interfaces:

IAttributeValue, IExpr.IPatternTerms, INode, IPos.IPosable, IResponse

Enclosing class:

SMTExpr

public static class SMTExpr.PatternTerms
extends Pos.Printable
implements IExpr.IPatternTerms

Represents the value of a :pattern attribute: a list of trigger terms.

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

Field Summary

Fields

Modifier and Type	Field	Description
protected List<IExpr>	terms

Fields inherited from class org.smtlib.impl.Pos.Posable

pos

Constructor Summary

Constructors

Constructor	Description
PatternTerms(List<IExpr> terms)	Creates a pattern from the given (possibly empty) list of terms.

Method Summary

Modifier and Type	Method	Description
<T> T	accept(IVisitor<T> v)	The accept method corresponding to IVisitor, to be implemented in each subclass as { return v.visit(this); }
List<IExpr>	terms()

Methods inherited from class org.smtlib.impl.Pos.Printable

toString

Methods inherited from class org.smtlib.impl.Pos.Posable

equals, hashCode, pos, setPos

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Methods inherited from interface org.smtlib.IAttributeValue

isError, isOK

Methods inherited from interface org.smtlib.IPos.IPosable

pos, setPos

Field Details

terms

protected List<IExpr> terms

Constructor Details

PatternTerms

public PatternTerms(List<IExpr> terms)

Creates a pattern from the given (possibly empty) list of terms.

Method Details

terms

public List<IExpr> terms()

Specified by:

terms in interface IExpr.IPatternTerms

accept

public <T> T accept(IVisitor<T> v)
             throws IVisitor.VisitorException

Description copied from interface: INode

The accept method corresponding to IVisitor, to be implemented in each subclass as { return v.visit(this); }

Specified by:

accept in interface INode

Type Parameters:

T - the return type desired from the visit methods

Parameters:

v - the visitor class

Returns:

the value returned by the visit method

Throws:

IVisitor.VisitorException