Package org.smtlib

Class SymbolTable.Entry

java.lang.Object

org.smtlib.SymbolTable.Entry

Enclosing class:

SymbolTable

public static class SymbolTable.Entry
extends Object

An object that holds all the information about the defined symbol (or aliased definition).

Field Summary

Fields

Modifier and Type	Field	Description
List<IExpr.IAttribute<?>>	attributes	Any attributes (null if none), e.g.
IExpr	definition	The definition of the symbol, if any
IExpr.IIdentifier	name	The identifier
List<ISort.IParameter>	parameters	The par-polymorphic parameters declared for this entry (null if this is a plain, monomorphic fun_symbol_decl rather than a par_fun_symbol_decl); sort's argSorts/ resultSort may reference these as ISort.IParameter placeholders, to be bound against actual argument sorts by a caller that wants to use this entry.
ISort.IFcnSort	sort	The Sort of the identifier

Constructor Summary

Constructors

Constructor	Description
Entry(IExpr.IIdentifier name, ISort.IFcnSort sort, List<IExpr.IAttribute<?>> attrs, List<ISort.IParameter> parameters)	Constructs a symbol table entry

Method Summary

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Details

name

public IExpr.IIdentifier name

The identifier

sort

public ISort.IFcnSort sort

The Sort of the identifier

attributes

public List<IExpr.IAttribute<?>> attributes

Any attributes (null if none), e.g. :left-assoc

parameters

public List<ISort.IParameter> parameters

The par-polymorphic parameters declared for this entry (null if this is a plain, monomorphic fun_symbol_decl rather than a par_fun_symbol_decl); sort's argSorts/ resultSort may reference these as ISort.IParameter placeholders, to be bound against actual argument sorts by a caller that wants to use this entry.

definition

public IExpr definition

The definition of the symbol, if any

Constructor Details

Entry

public Entry(IExpr.IIdentifier name,
 ISort.IFcnSort sort,
 List<IExpr.IAttribute<?>> attrs,
 List<ISort.IParameter> parameters)

Constructs a symbol table entry