ISexpr

All Superinterfaces:: IAttributeValue, INode, IPos.IPosable, IResponse

All Known Subinterfaces:: ISexpr.ISeq, ISexpr.IToken<T>

All Known Implementing Classes:: Sexpr, Sexpr.Seq, Sexpr.Token

public interface ISexpr extends IPos.IPosable, IAttributeValue, INode

This interface represents S-expressions as used in SMT-LIB; they are used as values for attributes in the standard concrete syntax.

Nested Class Summary

Nested Classes

Modifier and Type

Interface

Description

static interface

ISexpr.ISeq

Represents a sequence of S-expressions

static interface

ISexpr.IToken<T>

Represents a single S-expression token

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

String

kind()

A word characterizing the subclass

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
- kind
  
  String kind()
  
  A word characterizing the subclass