Package org.smtlib.impl

Class SMTExpr.Theory

java.lang.Object

org.smtlib.impl.Pos.Posable

org.smtlib.impl.Pos.Printable

org.smtlib.impl.SMTExpr.Theory

All Implemented Interfaces:

INode, IPos.IPosable, ITheory

Enclosing class:

SMTExpr

public static class SMTExpr.Theory
extends Pos.Printable
implements ITheory

Field Summary

Fields

Modifier and Type	Field	Description
protected Map<IExpr.IKeyword,IExpr.IAttribute<?>>	attributes	The theory attributes — last occurrence wins for duplicate keywords
protected List<IExpr.IAttribute<?>>	attributesList	All theory attributes in source order, preserving duplicates
protected IExpr.ISymbol	theoryName	The name of the theory

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

pos

Constructor Summary

Constructors

Constructor	Description
Theory(IExpr.ISymbol name, Collection<IExpr.IAttribute<?>> attributes)	Creates a theory

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.IAttribute<?>>	attributeList()	The attributes in source order, including repeated keywords
Map<IExpr.IKeyword,IExpr.IAttribute<?>>	attributes()	The attributes, as a Map, keyed by the keyword in the attribute
IExpr.ISymbol	theoryName()	The name of the theory
IAttributeValue	value(IExpr.IKeyword keyword)	The value of a given attribute (last occurrence wins for duplicate keywords)
List<IAttributeValue>	values(IExpr.IKeyword keyword)	All values for a given attribute keyword, in source order

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

Field Details

theoryName

protected IExpr.ISymbol theoryName

The name of the theory

attributes

protected Map<IExpr.IKeyword,IExpr.IAttribute<?>> attributes

The theory attributes — last occurrence wins for duplicate keywords

attributesList

protected List<IExpr.IAttribute<?>> attributesList

All theory attributes in source order, preserving duplicates

Constructor Details

Theory

public Theory(IExpr.ISymbol name,
 Collection<IExpr.IAttribute<?>> attributes)

Creates a theory

Method Details

theoryName

public IExpr.ISymbol theoryName()

The name of the theory

Specified by:

theoryName in interface ITheory

attributes

public Map<IExpr.IKeyword,IExpr.IAttribute<?>> attributes()

The attributes, as a Map, keyed by the keyword in the attribute

Specified by:

attributes in interface ITheory

attributeList

public List<IExpr.IAttribute<?>> attributeList()

Description copied from interface: ITheory

The attributes in source order, including repeated keywords

Specified by:

attributeList in interface ITheory

value

public IAttributeValue value(IExpr.IKeyword keyword)

The value of a given attribute (last occurrence wins for duplicate keywords)

Specified by:

value in interface ITheory

values

public List<IAttributeValue> values(IExpr.IKeyword keyword)

All values for a given attribute keyword, in source order

Specified by:

values in interface ITheory

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