Package org.smtlib.sexpr

Class Sexpr

java.lang.Object

org.smtlib.impl.Pos.Posable

org.smtlib.impl.Pos.Printable

org.smtlib.sexpr.Sexpr

All Implemented Interfaces:

IAttributeValue, INode, IPos.IPosable, IResponse, ISexpr

Direct Known Subclasses:

Sexpr.Seq, Sexpr.Token

public abstract class Sexpr
extends Pos.Printable
implements ISexpr

This is the root class for S-expressions in the concrete syntax

Nested Class Summary

Nested Classes

Modifier and Type	Class	Description
static class	Sexpr.Seq	The class corresponding to sequences of S-expressions
static class	Sexpr.Token<T>	Represents a single S-expression token with intrinsic type T

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

Nested classes/interfaces inherited from interface org.smtlib.sexpr.ISexpr

ISexpr.ISeq, ISexpr.IToken<T>

Field Summary

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

pos

Constructor Summary

Constructors

Constructor	Description
Sexpr()

Method Summary

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.INode

accept

Methods inherited from interface org.smtlib.IPos.IPosable

pos, setPos

Methods inherited from interface org.smtlib.sexpr.ISexpr

kind

Constructor Details

Sexpr

public Sexpr()